Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Information Systems and Artificial Intelligence: Integration Aspects [electronic resource] : First Workshop Ulm, FRG, March 19–21, 1990 Proceedings / edited by Dimitris Karagiannis.

by Karagiannis, Dimitris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 474Source: 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
Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings / edited by B. Banieqbal, H. Barringer, A. Pnueli.

by Banieqbal, B [editor.] | Barringer, H [editor.] | Pnueli, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 398Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
Recent Issues in Pattern Analysis and Recognition [electronic resource] / edited by Virginio Cantoni, Reiner Creutzburg, Stefano Levialdi, G. Wolf.

by Cantoni, Virginio [editor.] | Creutzburg, Reiner [editor.] | Levialdi, Stefano [editor.] | Wolf, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 399Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
The Logic of Theory Change [electronic resource] : Workshop, Konstanz, FRG, October 13–15, 1989 Proceedings / edited by André Fuhrmann, Michael Morreau.

by Fuhrmann, André [editor.] | Morreau, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 465Source: 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
PREMO: A Framework for Multimedia Middleware [electronic resource] : Specification, Rationale, and Java Binding / by David J. Duke, Ivan Herman, M. Scott Marshall.

by Duke, David J [author.] | Herman, Ivan [author.] | Marshall, M. Scott [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1591Source: 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
Optimal Algorithms [electronic resource] : International Symposium Varna, Bulgaria, May 29–June 2, 1989 Proceedings / edited by Hristo Djidjev.

by Djidjev, Hristo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 401Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
Database Systems of the 90s [electronic resource] : International Symposium Müggelsee, Berlin, FRG, November 5–7, 1990 Proceedings / edited by Albrecht Blaser.

by Blaser, Albrecht [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 466Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Interactive Relational Database Design [electronic resource] : A Logic Programming Implementation / edited by Tapan P. Bagchi, Vinay K. Chaudhri.

by Bagchi, Tapan P [editor.] | Chaudhri, Vinay K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 402Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 [electronic resource].

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 155Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online 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
Central European Functional Programming School [electronic resource] : First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / edited by Zoltán Horváth.

by Horváth, Zoltán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4164Source: 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
Discovery Science [electronic resource] : Second International Conference, DS’99 Tokyo, Japan, December 6–8, 1999 Proceedings / edited by Setsuo Arikawa, Koichi Furukawa.

by Arikawa, Setsuo [editor.] | Furukawa, Koichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1721Source: 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
«UML»’99 — The Unified Modeling Language [electronic resource] : Beyond the Standard Second International Conference Fort Collins, CO, USA, October 28–30, 1999 Proceedings / edited by Robert France, Bernhard Rumpe.

by France, Robert [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1723Source: 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
Interactive Multimedia Documents [electronic resource] : Modeling, Authoring, and Implementation Experiences.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1564Source: 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
Aspects and Prospects of Theoretical Computer Science [electronic resource] : 6th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, November 19–23, 1990 Proceedings / edited by Jürgen Dassow, Jozef Kelemen.

by Dassow, Jürgen [editor.] | Kelemen, Jozef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 464Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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 Technology and Theoretical Computer Science [electronic resource] : Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings / edited by C. E. Veni Madhavan.

by Veni Madhavan, C. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 405Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine [electronic resource] / by Joachim Beer.

by Beer, Joachim [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 404Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
Concrete and Abstract Voronoi Diagrams [electronic resource] / by Rolf Klein.

by Klein, Rolf [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 400Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
AI '88 [electronic resource] : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15–18, 1988 Proceedings / edited by Christopher J. Barter, Michael J. Brooks.

by Barter, Christopher J [editor.] | Brooks, Michael J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 406Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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 ’90 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Aarhus, Denmark, May 21–24, 1990 Proceedings / edited by Ivan Bjerre Damgård.

by Damgård, Ivan Bjerre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 473Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Extensions of Logic Programming [electronic resource] : International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings / edited by Peter Schroeder-Heister.

by Schroeder-Heister, Peter [editor.] | SpringerLink (Online service).

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

Powered by Koha