Your search returned 1266 results.

Not what you expected? Check for suggestions
E-BOOKS
CONPAR 90 — VAPP IV [electronic resource] : Joint International Conference on Vector and Parallel Processing Zurich, Switzerland, September 10–13, 1990 Proceedings / edited by Helmar Burkhart.

by Burkhart, Helmar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 457Source: 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
Conclog: A Methodological Approach to Concurrent Logic Programming [electronic resource] / by Jean-Marie Jacquet.

by Jacquet, Jean-Marie [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 556Source: 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
Collaboration between Human and Artificial Societies [electronic resource] : Coordination and Agent-Based Distributed Computing / edited by Julian A. Padget.

by Padget, Julian A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1624Source: 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
Deductive and Object-Oriented Databases [electronic resource] : Second International Conference, DOOD '91 Munich, Germany, December 16–18, 1991 Proceedings / edited by C. Delobel, M. Kifer, Y. Masunaga.

by Delobel, C [editor.] | Kifer, M [editor.] | Masunaga, Y [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 566Source: 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
Logic Programming '88 [electronic resource] : Proceedings of the 7th Conference Tokyo, Japan, April 11–14, 1988 / 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 ; 383Source: 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
Attribute Grammars and their Applications [electronic resource] : International Conference WAGA Paris, France, September 19–21, 1990 Proceedings / edited by P. Deransart, M. Jourdan.

by Deransart, P [editor.] | Jourdan, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 461Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other 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
Processing Declarative Knowledge [electronic resource] : International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings / edited by Harold Boley, Michael M. Richter.

by Boley, Harold [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 567Source: 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
Parallel Execution of Logic Programs [electronic resource] : ICLP '91 Pre-Conference Workshop Paris, June 24, 1991 Proceedings / edited by A. Beaumont, G. Gupta.

by Beaumont, A [editor.] | Gupta, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 569Source: 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 and Information — ICCI '90 [electronic resource] : International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings / edited by S. G. Akl, F. Fiala, W. W. Koczkodaj.

by Akl, S. G [editor.] | Fiala, F [editor.] | Koczkodaj, W. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 468Source: 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
Parallel Computing 1988 [electronic resource] : Shell Conference Amsterdam, The Netherlands, June 1/2, 1988 Proceedings / edited by G. A. Zee, J. G. G. Vorst.

by Zee, G. A [editor.] | Vorst, J. G. G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 384Source: 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
Algebraic Methods: Theory, Tools and Applications [electronic resource] / edited by Martin Wirsing, Jan A. Bergstra.

by Wirsing, Martin [editor.] | Bergstra, Jan A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 394Source: 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
Reasearch Directions in High-Level Parallel Programming Languages [electronic resource] : Mont Saint-Michel, France, June 17–19, 1991 Proceedings / edited by Jean Pierre Banâtre, Daniel Métayer.

by Banâtre, Jean Pierre [editor.] | Métayer, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 574Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 and Nonmonotonic Reasoning [electronic resource] : 5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings / edited by Michael Gelfond, Nicola Leone, Gerald Pfeifer.

by Gelfond, Michael [editor.] | Leone, Nicola [editor.] | Pfeifer, Gerald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1730Source: 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
Distributed Algorithms [electronic resource] : 5th International Workshop, WDAG '91 Delphi, Greece, October 7–9, 1991 Proceedings / edited by Sam Toueg, Paul G. Spirakis, Lefteris Kirousis.

by Toueg, Sam [editor.] | Spirakis, Paul G [editor.] | Kirousis, Lefteris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 579Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Analogical and Inductive Inference [electronic resource] : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1–6, 1989 Proceedings / edited by Klaus P. Jantke.

by Jantke, Klaus P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 397Source: 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
CAAP '92 [electronic resource] : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings / edited by J. -C. Raoult.

by Raoult, J. -C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 581Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
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
COLOG-88 [electronic resource] : International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings / edited by Per Martin-Löf, Grigori Mints.

by Martin-Löf, Per [editor.] | Mints, Grigori [editor.] | SpringerLink (Online service).

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

Powered by Koha