Your search returned 742 results.

Not what you expected? Check for suggestions
E-BOOKS
Multiagent System Technologies [electronic resource] : 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings / edited by Lars Braubach, Wiebe Hoek, Paolo Petta, Alexander Pokahr.

by Braubach, Lars [editor.] | Hoek, Wiebe [editor.] | Petta, Paolo [editor.] | Pokahr, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5774Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Semantics and Algebraic Specification [electronic resource] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / edited by Jens Palsberg.

by Palsberg, Jens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5700Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Formal Methods for Components and Objects [electronic resource] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine.

by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5751Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Formal Foundations of Reuse and Domain Engineering [electronic resource] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / edited by Stephen H. Edwards, Gregory Kulczycki.

by Edwards, Stephen H [editor.] | Kulczycki, Gregory [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5791Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / edited by Silvio Ghilardi, Roberto Sebastiani.

by Ghilardi, Silvio [editor.] | Sebastiani, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5749Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub.

by Erdem, Esra [editor.] | Lin, Fangzhen [editor.] | Schaub, Torsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5753Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Principles and Practice of Constraint Programming - CP 2009 [electronic resource] : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings / edited by Ian P. Gent.

by Gent, Ian P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5732Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Cooperative Design, Visualization, and Engineering [electronic resource] : 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings / edited by Yuhua Luo.

by Luo, Yuhua [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5738Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Scalable Uncertainty Management [electronic resource] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings / edited by Lluís Godo, Andrea Pugliese.

by Godo, Lluís [editor.] | Pugliese, Andrea [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5785Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Model Driven Engineering Languages and Systems [electronic resource] : 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings / edited by Andy Schürr, Bran Selic.

by Schürr, Andy [editor.] | Selic, Bran [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5795Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures / edited by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra.

by Koopman, Pieter [editor.] | Plasmeijer, Rinus [editor.] | Swierstra, Doaitse [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5832Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / edited by Zhiming Liu, Anders P. Ravn.

by Liu, Zhiming [editor.] | Ravn, Anders P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5799Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Conceptual Modeling - ER 2009 [electronic resource] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. Oliveira.

by Laender, Alberto H. F [editor.] | Castano, Silvana [editor.] | Dayal, Umeshwar [editor.] | Casati, Fabio [editor.] | Oliveira, José Palazzo M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5829Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny.

by Jensen, Kurt [editor.] | Billington, Jonathan [editor.] | Koutny, Maciej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5800Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Jeremy Gibbons, José Nuno Oliveira.

by Gibbons, Jeremy [editor.] | Oliveira, José Nuno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5846Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Adaptive and Natural Computing Algorithms [electronic resource] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / edited by Mikko Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski.

by Kolehmainen, Mikko [editor.] | Toivanen, Pekka [editor.] | Beliczynski, Bartlomiej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5495Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Advances in Conceptual Modeling - Challenging Perspectives [electronic resource] : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Carlos Alberto Heuser, Günther Pernul.

by Heuser, Carlos Alberto [editor.] | Pernul, Günther [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5833Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings / edited by Manuel Núñez, Paul Baker, Mercedes G. Merayo.

by Núñez, Manuel [editor.] | Baker, Paul [editor.] | Merayo, Mercedes G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5826Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
FM 2009: Formal Methods [electronic resource] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Ana Cavalcanti, Dennis R. Dams.

by Cavalcanti, Ana [editor.] | Dams, Dennis R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5850Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / edited by Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef.

by Abran, Alain [editor.] | Braungarten, René [editor.] | Dumke, Reiner R [editor.] | Cuadrado-Gallego, Juan J [editor.] | Brunekreef, Jacob [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5891Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha