Your search returned 495 results.

Not what you expected? Check for suggestions
E-BOOKS
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers / edited by Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack.

by Callaghan, Paul [editor.] | Luo, Zhaohui [editor.] | McKinna, James [editor.] | Pollack, Robert [editor.] | Pollack, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2277Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 Construction [electronic resource] : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by R. Nigel Horspool.

by Horspool, R. Nigel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2304Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / edited by Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson.

by Nipkow, Tobias [editor.] | Wenzel, Markus [editor.] | Paulson, Lawrence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2283Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
CONCURRENCY 88 [electronic resource] : International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings / edited by Frederich H. Vogt.

by Vogt, Frederich H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 335Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / edited by Kesav V. Nori, Sanjeev Kumar.

by Nori, Kesav V [editor.] | Kumar, Sanjeev [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 338Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 and Logic Programming [electronic resource] : International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings / edited by J. Grabowski, P. Lescanne, W. Wechler.

by Grabowski, J [editor.] | Lescanne, P [editor.] | Wechler, W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 343Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Programming Languages Implementation and Logic Programming [electronic resource] : International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings / edited by P. Deransart, B. Lorho, J. Małuszyński.

by Deransart, P [editor.] | Lorho, B [editor.] | Małuszyński, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 348Source: 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
Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings / edited by Pascal Hentenryck.

by Hentenryck, Pascal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2470Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Online 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 at Botik '89 [electronic resource] : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings / edited by Albert R. Meyer, Michael A. Taitslin.

by Meyer, Albert R [editor.] | Taitslin, Michael A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 363Source: 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
Principles and Practice of Constraint Programming - CP 2006 [electronic resource] : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings / edited by Frédéric Benhamou.

by Benhamou, Frédéric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4204Source: 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
Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / edited by Pierre Deransart, Jan Maluszyński.

by Deransart, Pierre [editor.] | Maluszyński, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 456Source: 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
Concurrent Reactive Plans [electronic resource] : Anticipating and Forestalling Execution Failures / by Michael Beetz.

by Beetz, Michael [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1772Source: 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
Intelligent Agents VI. Agent Theories, Architectures, and Languages [electronic resource] : 6th International Workshop, ATAL’99, Orlando, Florida, USA, July 15-17, 1999. Proceedings / edited by Nicholas R. Jennings, Yves Lespérance.

by Jennings, Nicholas R [editor.] | Lespérance, Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1757Source: 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
Automated Deduction in Classical and Non-Classical Logics [electronic resource] : Selected Papers / edited by Ricardo Caferra, Gernot Salzer.

by Caferra, Ricardo [editor.] | Salzer, Gernot [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1761Source: 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
Perspectives of System Informatics [electronic resource] : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings / edited by Dines Bjøner, Manfred Broy, Alexandre V. Zamulin.

by Bjøner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1755Source: 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
Foundations of Information and Knowledge Systems [electronic resource] : First International Symposium, FoIKS 2000 Burg, Germany, February 14–17, 2000 Proceedings / edited by Klaus-Dieter Schewe, Bernhard Thalheim.

by Schewe, Klaus-Dieter [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1762Source: 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
Formal Models of Agents [electronic resource] : ESPRIT Project ModelAge Final Workshop Selected Papers / edited by John-Jules Ch. Meyer, Pierre-Yves Schobbens.

by Meyer, John-Jules Ch [editor.] | Schobbens, Pierre-Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1760Source: 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
Practical Aspects of Declarative Languages [electronic resource] : Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings / edited by Enrico Pontelli, Vítor Santos Costa.

by Pontelli, Enrico [editor.] | Santos Costa, Vítor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1753Source: 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
CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 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 ; 385Source: 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
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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha