Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Parallel Lisp: Languages and Systems [electronic resource] : US/Japan Workshop on Parallel Lisp Sendai, Japan, June 5–8, 1989 Proceedings / edited by Takayasu Ito, Robert H. Halstead.

by Ito, Takayasu [editor.] | Halstead, Robert H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 441Source: 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
PARLE Parallel Architectures and Languages Europe [electronic resource] : Volume I: Parallel Architectures Eindhoven, The Netherlands, June 15–19, 1987 Proceedings / edited by J. W. Bakker, A. J. Nijman, P. C. Treleaven.

by Bakker, J. W [editor.] | Nijman, A. J [editor.] | Treleaven, P. C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 258Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Automata, Languages and Programming [electronic resource] : 17th International Colloquium Warwick University, England, July 16–20, 1990 Proceedings / edited by Michael S. Paterson.

by Paterson, Michael S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 443Source: 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
Termination Proofs for Logic Programs [electronic resource] / by Lutz Plümer.

by Plümer, Lutz [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 446Source: 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
SWAT 90 [electronic resource] : 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11–14, 1990 Proceedings / edited by John R. Gilbert, Rolf Karlsson.

by Gilbert, John R [editor.] | Karlsson, Rolf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 447Source: 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
On the Shape of Mathematical Arguments [electronic resource] / by Antonetta J. M. Gasteren.

by Gasteren, Antonetta J. M [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 445Source: 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
Knowledge Based Computer Systems [electronic resource] : International Conference KBCS '89 Bombay, India, December 11–13, 1989 Proceedings / edited by S. Ramani, R. Chandrasekar, K. S. R. Anjaneyulu.

by Ramani, S [editor.] | Chandrasekar, R [editor.] | Anjaneyulu, K. S. R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 444Source: 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
10th International Conference on Automated Deduction [electronic resource] : Kaiserslautern, FRG, July 24–27, 1990 Proceedings / edited by Mark E. Stickel.

by Stickel, Mark E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 449Source: 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
Algorithms [electronic resource] : International Symposium SIGAL '90 Tokyo, Japan, August 16–18, 1990 Proceedings / edited by Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki.

by Asano, Tetsuo [editor.] | Ibaraki, Toshihide [editor.] | Imai, Hiroshi [editor.] | Nishizeki, Takao [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 450Source: 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
PARLE Parallel Architectures and Languages Europe [electronic resource] : Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings / edited by J. W. Bakker, A. J. Nijman, P. C. Treleaven.

by Bakker, J. W [editor.] | Nijman, A. J [editor.] | Treleaven, P. C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 259Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Artificial Intelligence in Higher Education [electronic resource] : CEPES-UNESCO International Symposium Prague, CSFR, October 23–25, 1989 Proceedings / edited by Vladimir Mařík, Olga Štěpánková, Zdeněk Zdráhal.

by Mařík, Vladimir [editor.] | Štěpánková, Olga [editor.] | Zdráhal, Zdeněk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 451Source: 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
Mathematical Foundations of Computer Science 1990 [electronic resource] : Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings / edited by Branislav Rovan.

by Rovan, Branislav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 452Source: 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
A Perspective of Constraint-Based Reasoning [electronic resource] : An Introductory Tutorial / edited by Hans Werner Guesgen, Joachim Hertzberg.

by Guesgen, Hans Werner [editor.] | Hertzberg, Joachim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 597Source: 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
Mathematical Foundations of Programming Semantics [electronic resource] : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt.

by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 598Source: 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
ANNA A Language for Annotating Ada Programs [electronic resource] / edited by David C. Luckham, Friedrich W. Henke, Bernd Krieg-Brückner, Olaf Owe.

by Luckham, David C [editor.] | Henke, Friedrich W [editor.] | Krieg-Brückner, Bernd [editor.] | Owe, Olaf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 260Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Current Developments in Knowledge Acquisition — EKAW '92 [electronic resource] : 6th European Knowledge Acquisition Workshop Heidelberg and Kaiserslautern, Germany, May 18–22, 1992 Proceedings / edited by Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian R. Gaines, Marc Linster, Franz Schmalhofer.

by Wetter, Thomas [editor.] | Althoff, Klaus-Dieter [editor.] | Boose, John [editor.] | Gaines, Brian R [editor.] | Linster, Marc [editor.] | Schmalhofer, Franz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 599Source: 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
Translating Relational Queries into Iterative Programs [electronic resource] / by Johann Christoph Freytag.

by Freytag, Johann Christoph [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 261Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Category Theory and Computer Programming [electronic resource] : Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings / edited by David Pitt, Samson Abramsky, Axel Poigné, David Rydeheard.

by Pitt, David [editor.] | Abramsky, Samson [editor.] | Poigné, Axel [editor.] | Rydeheard, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 240Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / edited by D. Dolev, Z. Galil, M. Rodeh.

by Dolev, D [editor.] | Galil, Z [editor.] | Rodeh, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 601Source: 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
Real-Time: Theory in Practice [electronic resource] : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings / edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg.

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

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

Powered by Koha