Your search returned 309 results.

Not what you expected? Check for suggestions
E-BOOKS
Object-Oriented Technology [electronic resource] : ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters Budapest, Hungary, June 18–22, 2001 Proceedings / edited by Ákos Frohner.

by Frohner, Ákos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2323Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Innovative Internet Computing Systems [electronic resource] : Second International Workshop, IICS 2002 Kühlungsborn, Germany, June 20–22, 2002 Proceedings / edited by Herwig Unger, Thomas Böhme, Armin Mikler.

by Unger, Herwig [editor.] | Böhme, Thomas [editor.] | Mikler, Armin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2346Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Innovative Internet Computing Systems [electronic resource] : International Workshop IICS 2001 Ilmenau, Germany, June 21–22, 2001 Proceedings / edited by Thomas Böhme, Herwig Unger.

by Böhme, Thomas [editor.] | Unger, Herwig [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2060Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
SDL 2001: Meeting UML [electronic resource] : 10th International SDL Forum Copenhagen, Denmark, June 27–29, 2001 Proceedings / edited by Rick Reed, Jeanne Reed.

by Reed, Rick [editor.] | Reed, Jeanne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2078Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Computer Aided Verification [electronic resource] : 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings / edited by David L. Dill.

by Dill, David L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 818Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers / edited by E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen.

by Brinksma, E [editor.] | Cleaveland, W. R [editor.] | Larsen, K. G [editor.] | Margaria, T [editor.] | Steffen, B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1019Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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 Real-Time and Probabilistic Systems [electronic resource] : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings / edited by Joost-Pieter Katoen.

by Katoen, Joost-Pieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1601Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings / edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone.

by Barkaoui, Kamel [editor.] | Cavalcanti, Ana [editor.] | Cerone, Antonio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4281Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Quality of Software Architectures [electronic resource] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers / edited by Christine Hofmeister, Ivica Crnkovic, Ralf Reussner.

by Hofmeister, Christine [editor.] | Crnkovic, Ivica [editor.] | Reussner, Ralf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4214Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Intelligent Agents V: Agents Theories, Architectures, and Languages [electronic resource] : 5th International Workshop, ATAL’98 Paris, France, July 4–7, 1998 Proceedings / edited by Jörg P. Müller, Anand S. Rao, Munindar P. Singh.

by Müller, Jörg P [editor.] | Rao, Anand S [editor.] | Singh, Munindar P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1555Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings / edited by W. Rance Cleaveland.

by Cleaveland, W. Rance [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1579Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Partial-Order Methods for the Verification of Concurrent Systems [electronic resource] : An Approach to the State-Explosion Problem / edited by Patrice Godefroid.

by Godefroid, Patrice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1032Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Industrial Applications [electronic resource] : Specifying and Programming the Steam Boiler Control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.

by Abrial, Jean-Raymond [editor.] | Börger, Egon [editor.] | Langmaack, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1165Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Systems Specification [electronic resource] : The RPC-Memory Specification Case Study / edited by Manfred Broy, Stephan Merz, Katharina Spies.

by Broy, Manfred [editor.] | Merz, Stephan [editor.] | Spies, Katharina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1169Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1055Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Communication II [electronic resource] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers / edited by Frank P. M. Dignum, Rogier M. Eijk, Roberto Flores.

by Dignum, Frank P. M [editor.] | Eijk, Rogier M [editor.] | Flores, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3859Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
System Analysis and Modeling: Language Profiles [electronic resource] : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers / edited by Reinhard Gotzhein, Rick Reed.

by Gotzhein, Reinhard [editor.] | Reed, Rick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4320Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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] : Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings / edited by Ed Brinksma.

by Brinksma, Ed [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1217Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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 Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa.

by Suzuki, Kenji [editor.] | Higashino, Teruo [editor.] | Ulrich, Andreas [editor.] | Hasegawa, Toru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5047Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Distributed Applications and Interoperable Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by René Meier, Sotirios Terzis.

by Meier, René [editor.] | Terzis, Sotirios [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5053Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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