Your search returned 1047 results.

Not what you expected? Check for suggestions
E-BOOKS
Human Machine Interaction [electronic resource] : Research Results of the MMI Program / edited by Denis Lalanne, Jürg Kohlas.

by Lalanne, Denis [editor.] | Kohlas, Jürg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5440Source: 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-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / edited by Michael Hanus.

by Hanus, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5438Source: 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
Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Giuseppe Castagna.

by Castagna, Giuseppe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5502Source: 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
Fundamental Approaches to Software Engineering [electronic resource] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Marsha Chechik, Martin Wirsing.

by Chechik, Marsha [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5503Source: 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
Foundations of Software Science and Computational Structures [electronic resource] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Luca Alfaro.

by Alfaro, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5504Source: 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
Hybrid Systems: Computation and Control [electronic resource] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings / edited by Rupak Majumdar, Paulo Tabuada.

by Majumdar, Rupak [editor.] | Tabuada, Paulo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5469Source: 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
Compiler Construction [electronic resource] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Oege Moor, Michael I. Schwartzbach.

by Moor, Oege [editor.] | Schwartzbach, Michael I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5501Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Stefan Kowalewski, Anna Philippou.

by Kowalewski, Stefan [editor.] | Philippou, Anna [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5505Source: 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
Trustworthy Global Computing [electronic resource] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers / edited by Christos Kaklamanis, Flemming Nielson.

by Kaklamanis, Christos [editor.] | Nielson, Flemming [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5474Source: 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
Agent-Oriented Software Engineering IX [electronic resource] : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers / edited by Michael Luck, Jorge J. Gomez-Sanz.

by Luck, Michael [editor.] | Gomez-Sanz, Jorge J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5386Source: 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
Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf.

by Bruni, Roberto [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5387Source: 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
Agent Computing and Multi-Agent Systems [electronic resource] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers / edited by Aditya Ghose, Guido Governatori, Ramakoti Sadananda.

by Ghose, Aditya [editor.] | Governatori, Guido [editor.] | Sadananda, Ramakoti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5044Source: 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
Hardware and Software: Verification and Testing [electronic resource] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings / edited by Hana Chockler, Alan J. Hu.

by Chockler, Hana [editor.] | Hu, Alan J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5394Source: 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
Object-Oriented Technology. ECOOP 2008 Workshop Reader [electronic resource] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports / edited by Patrick Eugster.

by Eugster, Patrick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5475Source: 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 Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings / edited by David Lee, Antónia Lopes, Arnd Poetzsch-Heffter.

by Lee, David [editor.] | Lopes, Antónia [editor.] | Poetzsch-Heffter, Arnd [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5522Source: 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
Architectures for Adaptive Software Systems [electronic resource] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / edited by Raffaela Mirandola, Ian Gorton, Christine Hofmeister.

by Mirandola, Raffaela [editor.] | Gorton, Ian [editor.] | Hofmeister, Christine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5581Source: 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
Component-Based Software Engineering [electronic resource] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister.

by Lewis, Grace A [editor.] | Poernomo, Iman [editor.] | Hofmeister, Christine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5582Source: 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
Applications and Theory of Petri Nets [electronic resource] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings / edited by Giuliana Franceschinis, Karsten Wolf.

by Franceschinis, Giuliana [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5606Source: 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 Checking Software [electronic resource] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings / edited by Corina S. Păsăreanu.

by Păsăreanu, Corina S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5578Source: 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 Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Alexandre Bergel, Johan Fabry.

by Bergel, Alexandre [editor.] | Fabry, Johan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5634Source: 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