Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Rewriting Techniques and Applications [electronic resource] : 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings / edited by Ronald V. Book.

by Book, Ronald V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 488Source: 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
Hybrid Metaheuristics [electronic resource] : Third International Workshop, HM 2006 Gran Canaria, Spain, October 13-14, 2006 Proceedings / edited by Francisco Almeida, María J. Blesa Aguilera, Christian Blum, José Marcos Moreno Vega, Melquíades Pérez Pérez, Andrea Roli, Michael Sampels.

by Almeida, Francisco [editor.] | Blesa Aguilera, María J [editor.] | Blum, Christian [editor.] | Moreno Vega, José Marcos [editor.] | Pérez Pérez, Melquíades [editor.] | Roli, Andrea [editor.] | Sampels, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4030Source: 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
CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / edited by J. C. M. Baeten, J. W. Klop.

by Baeten, J. C. M [editor.] | Klop, J. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 458Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other title: Amsterdam, The Netherlands, August 27-30, 1990. 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
Logic Programming '89 [electronic resource] : Proceedings of the 8th Conference Tokyo, Japan, July 12–14, 1989 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.

by Furukawa, Koichi [editor.] | Tanaka, Hozumi [editor.] | Fujisaki, Tetsunosuke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 485Source: 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
Evolvable Systems: From Biology to Hardware [electronic resource] : Third International Conference, ICES 2000 Edinburgh, Scotland, UK, April 17–19, 2000 Proceedings / edited by Julian Miller, Adrian Thompson, Peter Thomson, Terence C. Fogarty.

by Miller, Julian [editor.] | Thompson, Adrian [editor.] | Thomson, Peter [editor.] | Fogarty, Terence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1801Source: 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
LATIN 2000: Theoretical Informatics [electronic resource] : 4th Latin American Symposium, Punta del Esk, Uruguay, April 10-14, 2000 Proceedings / edited by Gaston H. Gonnet, Alfredo Viola.

by Gonnet, Gaston H [editor.] | Viola, Alfredo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1776Source: 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 Cryptology — EUROCRYPT ’91 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Brighton, UK, April 8–11, 1991 Proceedings / edited by Donald W. Davies.

by Davies, Donald W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 547Source: 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
Hybrid Neural Systems [electronic resource] / edited by Stefan Wermter, Ron Sun.

by Wermter, Stefan [editor.] | Sun, Ron [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1778Source: 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
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
Frontiers of Combining Systems [electronic resource] : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings / edited by Hélène Kirchner, Christophe Ringeissen.

by Kirchner, Hélène [editor.] | Ringeissen, Christophe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1794Source: 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
Digital Cities [electronic resource] : Technologies, Experiences, and Future Perspectives / edited by Toru Ishida, Katherine Isbister.

by Ishida, Toru [editor.] | Isbister, Katherine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1765Source: 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
Symbolic and Quantitative Approaches to Uncertainty [electronic resource] : European Conference ECSQAU Marseille, France, October 15–17, 1991 Proceedings / edited by Rudolf Kruse, Pierre Siegel.

by Kruse, Rudolf [editor.] | Siegel, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 548Source: 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
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
Computer Performance Evaluation.Modelling Techniques and Tools [electronic resource] : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings / edited by Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith.

by Haverkort, Boudewijn R [editor.] | Bohnenkamp, Henrik C [editor.] | Smith, Connie U [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1786Source: 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
Concurrent Reactive Plans [electronic resource] : Anticipating and Forestalling Execution Failures / by Michael Beetz.

by Beetz, Michael [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1772Source: 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 Database Technology — EDBT 2000 [electronic resource] : 7th International Conference on Extending Database Technology Konstanz, Germany, March 27–31, 2000 Proceedings / edited by Carlo Zaniolo, Peter C. Lockemann, Marc H. Scholl, Torsten Grust.

by Zaniolo, Carlo [editor.] | Lockemann, Peter C [editor.] | Scholl, Marc H [editor.] | Grust, Torsten [editor.] | SpringerLink (Online service).

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

Powered by Koha