Your search returned 1007 results.

Not what you expected? Check for suggestions
E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / edited by Susanne Graf, Michael Schwartzbach.

by Graf, Susanne [editor.] | Schwartzbach, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1785Source: 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
Compiler Construction [electronic resource] : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / edited by David A. Watt.

by Watt, David A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1781Source: 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
Programming Languages and Systems [electronic resource] : 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / edited by Gert Smolka.

by Smolka, Gert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1782Source: 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
Fundamental Approaches to Software Engineering [electronic resource] : Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / edited by Tom Maibaum.

by Maibaum, Tom [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1783Source: 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
Hybrid Systems: Computation and Control [electronic resource] : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings / edited by Nancy Lynch, Bruce H. Krogh.

by Lynch, Nancy [editor.] | Krogh, Bruce H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1790Source: 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
Foundations of Software Science and Computation Structures [electronic resource] : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / edited by Jerzy Tiuryn.

by Tiuryn, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1784Source: 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
VDM'91 Formal Software Development Methods [electronic resource] : 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings / edited by S. Prehn, W. J. Toetenel.

by Prehn, S [editor.] | Toetenel, W. J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 551Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 Object-Oriented Languages [electronic resource] : REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings / edited by J. W. Bakker, W. P. Roever, G. Rozenberg.

by Bakker, J. W [editor.] | Roever, W. P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 489Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Other title: Proceedings.Online 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
VDM '91 Formal Software Development Methods [electronic resource] : 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings / edited by Søren Prehn, Hans Toetenel.

by Prehn, Søren [editor.] | Toetenel, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 552Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 VI. Agent Theories, Architectures, and Languages [electronic resource] : 6th International Workshop, ATAL’99, Orlando, Florida, USA, July 15-17, 1999. Proceedings / edited by Nicholas R. Jennings, Yves Lespérance.

by Jennings, Nicholas R [editor.] | Lespérance, Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1757Source: 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
Cryptographic Hardware and Embedded Systems - CHES 2006 [electronic resource] : 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings / edited by Louis Goubin, Mitsuru Matsui.

by Goubin, Louis [editor.] | Matsui, Mitsuru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4249Source: 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
Perspectives of System Informatics [electronic resource] : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings / edited by Dines Bjøner, Manfred Broy, Alexandre V. Zamulin.

by Bjøner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1755Source: 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
TAPSOFT '91 [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991 / edited by S. Abramsky, T. S. E. Maibaum.

by Abramsky, S [editor.] | Maibaum, T. S. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 493Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 Models of Agents [electronic resource] : ESPRIT Project ModelAge Final Workshop Selected Papers / edited by John-Jules Ch. Meyer, Pierre-Yves Schobbens.

by Meyer, John-Jules Ch [editor.] | Schobbens, Pierre-Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1760Source: 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
Practical Aspects of Declarative Languages [electronic resource] : Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings / edited by Enrico Pontelli, Vítor Santos Costa.

by Pontelli, Enrico [editor.] | Santos Costa, Vítor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1753Source: 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
Object-Oriented Technology ECOOP’99 Workshop Reader [electronic resource] : ECOOP’99 Workshops, Panels, and Posters Lisbon, Portugal, June 14–18, 1999 Proceedings / by Serge Demeyer ; edited by Ana Moreira.

by Demeyer, Serge [author.] | Moreira, Ana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1743Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Other title: ECOOP'99 Workshops, Panels, and Posters Lisbon, Portugal, June 14-18, 1999 Proceedings.Online 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
Specification and Compositional Verification of Real-Time Systems [electronic resource] / by Jozef Hooman.

by Hooman, Jozef [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 558Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Algebraic Specification Techniques in Object Oriented Programming Environments [electronic resource] / by Ruth Breu.

by Breu, Ruth [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 562Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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’99 [electronic resource] : 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings / edited by P. S. Thiagarajan, Roland Yap.

by Thiagarajan, P. S [editor.] | Yap, Roland [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1742Source: 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
Computing in Object-Oriented Parallel Environments [electronic resource] : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999. Proceedings / edited by Satoshi Matsuoka, Marydell Tholburn.

by Matsuoka, Satoshi [editor.] | Tholburn, Marydell [editor.] | SpringerLink (Online service).

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

Powered by Koha