Your search returned 3393 results.

Not what you expected? Check for suggestions
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
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
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
E-BOOKS
Design and Implementation of Large Spatial Databases [electronic resource] : First Symposium SSD '89 Santa Barbara, California, July 17/18, 1989 Proceedings / edited by Alejandro P. Buchmann, Oliver Günther, Terence R. Smith, Yuan-Fang Wang.

by Buchmann, Alejandro P [editor.] | Günther, Oliver [editor.] | Smith, Terence R [editor.] | Wang, Yuan-Fang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 409Source: 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
Computer Aided Systems Theory — EUROCAST '89 [electronic resource] : A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26–March 4, 1989 Proceedings / edited by F. Pichler, R. Moreno-Diaz.

by Pichler, F [editor.] | Moreno-Diaz, R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 410Source: 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
Neural Networks [electronic resource] : EURASIP Workshop 1990 Sesimbra, Portugal, February 15–17, 1990 Proceedings / edited by Luis B. Almeida, Christian J. Wellekens.

by Almeida, Luis B [editor.] | Wellekens, Christian J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 412Source: 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 Database Technology — EDBT '90 [electronic resource] : International Conference on Extending Database Technology Venice, Italy, March 26–30, 1990 Proceedings / edited by François Bancilhon, Constantino Thanos, Dennis Tsichritzis.

by Bancilhon, François [editor.] | Thanos, Constantino [editor.] | Tsichritzis, Dennis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 416Source: 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
Compiler Compilers [electronic resource] : Third International Workshop, CC '90 Schwerin, FRG, October 22–24, 1990 Proceedings / edited by Dieter Hammer.

by Hammer, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 477Source: 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
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
E-BOOKS
A Methodology for Uncertainty in Knowledge-Based Systems [electronic resource] / by Kurt Weichselberger, Sigrid Pöhlmann.

by Weichselberger, Kurt [author.] | Pöhlmann, Sigrid [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 419Source: 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
Sorts and Types in Artificial Intelligence [electronic resource] : Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings / edited by Karl Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger.

by Bläsius, Karl Hans [editor.] | Hedtstück, Ulrich [editor.] | Rollinger, Claus-Rainer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 418Source: 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
Natural Language Processing [electronic resource] : EAIA '90, 2nd Advanced School in Artificial Intelligence Guarda, Portugal, October 8–12, 1990 Proceedings / edited by M. Filgueiras, L. Damas, N. Moreira, A. P. Tomás.

by Filgueiras, M [editor.] | Damas, L [editor.] | Moreira, N [editor.] | Tomás, A. P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 476Source: 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
Logics in AI [electronic resource] : European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings / edited by J. Eijck.

by Eijck, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 478Source: 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
Reasoning and Revision in Hybrid Representation Systems [electronic resource] / by Bernhard Nebel.

by Nebel, Bernhard [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 422Source: 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 Database Technology — EDBT '92 [electronic resource] : 3rd International Conference on Extending Database Technology Vienna, Austria, March 23–27, 1992 Proceedings / edited by Alain Pirotte, Claude Delobel, Goerg Gottlob.

by Pirotte, Alain [editor.] | Delobel, Claude [editor.] | Gottlob, Goerg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 580Source: 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
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings / edited by Alfonso Miola.

by Miola, Alfonso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 429Source: 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
Computer Aided Systems Theory — EUROCAST '91 [electronic resource] : A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Austria, April 15–19 1991 Proceedings / edited by Franz Pichler, Roberto Moreno Díaz.

by Pichler, Franz [editor.] | Díaz, Roberto Moreno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 585Source: 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
Modelling Spatial Knowledge on a Linguistic Basis [electronic resource] : Theory-Prototype-Integration / by Ewald Lang, Kai-Uwe Carstensen, Geoffrey Simmons.

by Lang, Ewald [author.] | Carstensen, Kai-Uwe [author.] | Simmons, Geoffrey [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 481Source: 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
Aspects of Automated Natural Language Generation [electronic resource] : 6th International Workshop on Natural Language Generation Trente, Italy, April 5–7 1992 Proceedings / edited by R. Dale, E. Hovy, D. Rösner, O. Stock.

by Dale, R [editor.] | Hovy, E [editor.] | Rösner, D [editor.] | Stock, O [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 587Source: 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
Parallelization in Inference Systems [electronic resource] : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings / edited by B. Fronhöfer, G. Wrightson.

by Fronhöfer, B [editor.] | Wrightson, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 590Source: 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