Your search returned 3393 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Vision — ECCV'92 [electronic resource] : Second European Conference on Computer Vision Santa Margherita Ligure, Italy, May 19–22, 1992 Proceedings / edited by G. Sandini.

by Sandini, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 588Source: 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
Current Trends in SNePS — Semantic Network Processing System [electronic resource] : First Annual SNePS Workshop Buffalo, NY, November 13, 1989 Proceedings / edited by D. Kumar.

by Kumar, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 437Source: 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
Meta-Level Control for Deductive Database Systems [electronic resource] / edited by Helmut Schmidt.

by Schmidt, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 479Source: 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 [electronic resource] : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings / edited by A. Voronkov.

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

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 592Source: 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
Data structures and efficient algorithms [electronic resource] : Final Report on the DFG Special Joint Initiative / edited by B. Monien, Th. Ottmann.

by Monien, B [editor.] | Ottmann, Th [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 594Source: 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
Computer Assisted Learning [electronic resource] : 3rd International Conference, ICCAL '90 Hagen, FRG, June 11–13, 1990 Proceedings / edited by Douglas H. Norrie, Hans-Werner Six.

by Norrie, Douglas H [editor.] | Six, Hans-Werner [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 438Source: 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] : Second International Workshop, ELP '91 Stockholm, Sweden, January 27–29, 1991 Proceedings / edited by L. -H. Eriksson, L. Hallnäs, P. Schroeder-Heister.

by Eriksson, L. -H [editor.] | Hallnäs, L [editor.] | Schroeder-Heister, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 596Source: 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
Advances in Web Mining and Web Usage Analysis [electronic resource] : 6th International Workshop on Knowledge Discovery on the Web, WebKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers / edited by Bamshad Mobasher, Olfa Nasraoui, Bing Liu, Brij Masand.

by Mobasher, Bamshad [editor.] | Nasraoui, Olfa [editor.] | Liu, Bing [editor.] | Masand, Brij [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3932Source: 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
CSL '89 [electronic resource] : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.

by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 440Source: 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
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
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
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
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
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
Computer Assisted Learning [electronic resource] : 4th International Conference, ICCAL '92 Wolfville, Nova Scotia, Canada, June 17–20, 1992 Proceedings / edited by Ivan Tomek.

by Tomek, Ivan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 602Source: 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
Conceptual Modeling - ER 2006 [electronic resource] : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings / edited by David W. Embley, Antoni Olivé, Sudha Ram.

by Embley, David W [editor.] | Olivé, Antoni [editor.] | Ram, Sudha [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4215Source: 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
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems [electronic resource] : 5th International Conference, IEA/AIE - 92 Paderborn, Germany, June 9–12, 1992 Proceedings / edited by Fevzi Belli, Franz Josef Radermacher.

by Belli, Fevzi [editor.] | Radermacher, Franz Josef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 604Source: 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
Automated Deduction—CADE-11 [electronic resource] : 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings / edited by Deepak Kapur.

by Kapur, Deepak [editor.] | SpringerLink (Online service).

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