|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings / edited by Manuel Carro, Ricardo Peña. by Carro, Manuel [editor.] | Peña, Ricardo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5937Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers / edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer. by Schmid, Ute [editor.] | Kitzelmann, Emanuel [editor.] | Plasmeijer, Rinus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5812Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Rajiv Gupta. by Gupta, Rajiv [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6011Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Luke Ong. by Ong, Luke [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6014Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Functional and Logic Programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings / edited by Matthias Blume, Naoki Kobayashi, Germán Vidal. by Blume, Matthias [editor.] | Kobayashi, Naoki [editor.] | Vidal, Germán [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6009Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Argumentation in Multi-Agent Systems [electronic resource] : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers / edited by Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet. by McBurney, Peter [editor.] | Rahwan, Iyad [editor.] | Parsons, Simon [editor.] | Maudet, Nicolas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6057Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Mathematics of Program Construction [electronic resource] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings / edited by Claude Bolduc, Jules Desharnais, Béchir Ktari. by Bolduc, Claude [editor.] | Desharnais, Jules [editor.] | Ktari, Béchir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6120Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by John Hatcliff, Elena Zucca. by Hatcliff, John [editor.] | Zucca, Elena [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6117Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Applications and Theory of Petri Nets [electronic resource] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / edited by Johan Lilius, Wojciech Penczek. by Lilius, Johan [editor.] | Penczek, Wojciech [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6128Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky. by Aldini, Alessandro [editor.] | Bernardo, Marco [editor.] | Pierro, Alessandra [editor.] | Wiklicky, Herbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6154Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / edited by Laurence Tratt, Martin Gogolla. by Tratt, Laurence [editor.] | Gogolla, Martin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6142Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
