Your search returned 343 results.

Not what you expected? Check for suggestions
E-BOOKS
Text Understanding in LILOG [electronic resource] : Integrating Computational Linguistics and Artificial Intelligence Final Report on the IBM Germany LILOG-Project / edited by Otthein Herzog, Claus-Rainer Rollinger.

by Herzog, Otthein [editor.] | Rollinger, Claus-Rainer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 546Source: 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
Automata, Languages and Programming [electronic resource] : Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980 / edited by Jaco Bakker, Jan Leeuwen.

by Bakker, Jaco [editor.] | Leeuwen, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 85Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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 Artificial Intelligence [electronic resource] : 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings / edited by Michael Fisher, Wiebe Hoek, Boris Konev, Alexei Lisitsa.

by Fisher, Michael [editor.] | Hoek, Wiebe [editor.] | Konev, Boris [editor.] | Lisitsa, Alexei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4160Source: 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
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings / edited by Moshe Y. Vardi, Andrei Voronkov.

by Vardi, Moshe Y [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2850Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Inductive Logic Programming [electronic resource] : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003. Proceedings / edited by Tamás Horváth, Akihiro Yamamoto.

by Horváth, Tamás [editor.] | Yamamoto, Akihiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2835Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
From Object-Orientation to Formal Methods [electronic resource] : Essays in Memory of Ole-Johan Dahl / edited by Olaf Owe, Stein Krogdahl, Tom Lyche.

by Owe, Olaf [editor.] | Krogdahl, Stein [editor.] | Lyche, Tom [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2635Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings / edited by Manuel Ojeda-Aciego, Inma P. Guzmán, Gerhard Brewka, Luís Pereira.

by Ojeda-Aciego, Manuel [editor.] | Guzmán, Inma P [editor.] | Brewka, Gerhard [editor.] | Pereira, Luís [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1919Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Analysis and Visualization Tools for Constraint Programming [electronic resource] : Constraint Debugging / edited by Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski.

by Deransart, Pierre [editor.] | Hermenegildo, Manuel V [editor.] | Małuszynski, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1870Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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] : 10th Colloquium Barcelona, Spain, July 18–22, 1983 / edited by Josep Diaz.

by Diaz, Josep [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 154Source: 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
ZB 2000: Formal Specification and Development in Z and B [electronic resource] : First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1878Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
New Trends in Constraints [electronic resource] : Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers / edited by Krzysztof R. Apt, Eric Monfroy, Antonis C. Kakas, Francesca Rossi.

by Apt, Krzysztof R [editor.] | Monfroy, Eric [editor.] | Kakas, Antonis C [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1865Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Principles and Practice of Constraint Programming — CP '95 [electronic resource] : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings / edited by Ugo Montanari, Francesca Rossi.

by Montanari, Ugo [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 976Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
Inductive Logic Programming [electronic resource] : 11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings / edited by Céline Rouveirol, Michéle Sebag.

by Rouveirol, Céline [editor.] | Sebag, Michéle [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2157Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Semantics, Applications, and Implementation of Program Generation [electronic resource] : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings / edited by Walid Taha.

by Taha, Walid [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2196Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Inductive Synthesis of Functional Programs [electronic resource] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / by Ute Schmid.

by Schmid, Ute [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2654Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Static Analysis [electronic resource] : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings / edited by Radhia Cousot.

by Cousot, Radhia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2694Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Typed Lambda Calculi and Applications [electronic resource] : 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings / edited by Martin Hofmann.

by Hofmann, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2701Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.

by Lloyd, John [editor.] | Dahl, Veronica [editor.] | Furbach, Ulrich [editor.] | Kerber, Manfred [editor.] | Lau, Kung-Kiu [editor.] | Palamidessi, Catuscia [editor.] | Pereira, Luís Moniz [editor.] | Sagiv, Yehoshua [editor.] | Stuckey, Peter J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1861Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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 Based Program Synthesis and Transformation [electronic resource] : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers / edited by Michael Leuschel.

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

Series: Lecture Notes in Computer Science ; 2664Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Mathematics of Program Construction [electronic resource] : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / edited by Roland Backhouse, José Nuno Oliveira.

by Backhouse, Roland [editor.] | Oliveira, José Nuno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1837Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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