Your search returned 1600 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Safety, Reliability and Security [electronic resource] : 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings / edited by Floor Koornneef, Meine Meulen.

by Koornneef, Floor [editor.] | Meulen, Meine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1943Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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 Modeling and Analysis of Timed Systems [electronic resource] : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers / edited by Kim Guldstrand Larsen, Peter Niebert.

by Larsen, Kim Guldstrand [editor.] | Niebert, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2791Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Integrated Formal Methods [electronic resource] : Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings / edited by Wolfgang Grieskamp, Thomas Santen, Bill Stoddart.

by Grieskamp, Wolfgang [editor.] | Santen, Thomas [editor.] | Stoddart, Bill [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1945Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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 in Computer-Aided Design [electronic resource] : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings / edited by Warren A. Hunt, Steven D. Johnson.

by Hunt, Warren A [editor.] | Johnson, Steven D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1954Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings / edited by David E. Lightfoot, Clemens Szyperski.

by Lightfoot, David E [editor.] | Szyperski, Clemens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4228Source: 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
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation [electronic resource] : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings / edited by Vijay A. Saraswat.

by Saraswat, Vijay A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2896Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
CASL User Manual [electronic resource] : Introduction to Using the Common Algebraic Specification Language / edited by Michel Bidoit, Peter D. Mosses.

by Bidoit, Michel [editor.] | Mosses, Peter D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2900Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 for Programming and Automated Reasoning [electronic resource] : 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings / edited by Michel Parigot, Andrei Voronkov.

by Parigot, Michel [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 1955Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings / edited by Sanjiv Kapoor, Sanjiva Prasad.

by Kapoor, Sanjiv [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1974Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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 Computing Science — ASIAN 2000 [electronic resource] : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings / edited by He Jifeng, Masahiko Sato.

by Jifeng, He [editor.] | Sato, Masahiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1961Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele.

by Gurevich, Yuri [editor.] | Kutter, Philipp W [editor.] | Odersky, Martin [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1912Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000Online 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
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings / edited by Wolfgang Weck, Jürg Gutknecht.

by Weck, Wolfgang [editor.] | Gutknecht, Jürg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1897Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
ZB 2000: Formal Specification and Development in Z and B [electronic resource] : First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1878Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Randomness and Completeness in Computational Complexity [electronic resource] / by Dieter Melkebeek.

by Melkebeek, Dieter [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1950Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000Online 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 [electronic resource] : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Jacques Malenfant, Sabine Moisan, Ana Moreira.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Malenfant, Jacques [editor.] | Moisan, Sabine [editor.] | Moreira, Ana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1964Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers / edited by Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith.

by Coquand, Thierry [editor.] | Dybjer, Peter [editor.] | Nordström, Bengt [editor.] | Smith, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1956Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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 [electronic resource] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / edited by Paolo Ciancarini, Michael J. Wooldridge.

by Ciancarini, Paolo [editor.] | Wooldridge, Michael J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1957Source: 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
Intelligent Memory Systems [electronic resource] : Second InternationalWorkshop, IMS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers / edited by Frederic T. Chong, Christoforos Kozyrakis, Mark Oskin.

by Chong, Frederic T [editor.] | Kozyrakis, Christoforos [editor.] | Oskin, Mark [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2107Source: 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
Power-Aware Computer Systems [electronic resource] : First International Workshop,PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers / edited by Babak Falsafi, T. N. Vijaykumar.

by Falsafi, Babak [editor.] | Vijaykumar, T. N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2008Source: 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
Self-Adaptive Software [electronic resource] : First International Workshop, IWSAS 2000 Oxford, UK, April 17–19, 2000 Revised Papers / edited by Paul Robertson, Howie Shrobe, Robert Laddaga.

by Robertson, Paul [editor.] | Shrobe, Howie [editor.] | Laddaga, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1936Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha