Your search returned 1527 results.

Not what you expected? Check for suggestions
E-BOOKS
STACS 86 [electronic resource] : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986 / edited by B. Monien, G. Vidal-Naquet.

by Monien, B [editor.] | Vidal-Naquet, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 210Source: 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
CAAP '86 [electronic resource] : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24–26, 1986 Proceedings / edited by Paul Franchi-Zannettacci.

by Franchi-Zannettacci, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 214Source: 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
Knowledge Discovery in Databases: PKDD 2003 [electronic resource] : 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003. Proceedings / edited by Nada Lavrač, Dragan Gamberger, Ljupčo Todorovski, Hendrik Blockeel.

by Lavrač, Nada [editor.] | Gamberger, Dragan [editor.] | Todorovski, Ljupčo [editor.] | Blockeel, Hendrik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2838Source: 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
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
AI*IA 2003: Advances in Artificial Intelligence [electronic resource] : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 2003. Proceedings / edited by Amedeo Cappelli, Franco Turini.

by Cappelli, Amedeo [editor.] | Turini, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2829Source: 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
Machine Learning: ECML 2003 [electronic resource] : 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003. Proceedings / edited by Nada Lavrač, Dragan Gamberger, Hendrik Blockeel, Ljupčo Todorovski.

by Lavrač, Nada [editor.] | Gamberger, Dragan [editor.] | Blockeel, Hendrik [editor.] | Todorovski, Ljupčo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2837Source: 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
Automata, Languages and Programming [electronic resource] : 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings / edited by Laurent Kott.

by Kott, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 226Source: 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
8th International Conference on Automated Deduction [electronic resource] : Oxford, England, July 27–August 1, 1986 Proceedings / edited by Jörg H. Siekmann.

by Siekmann, Jörg H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 230Source: 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
Fundamentals of Artificial Intelligence [electronic resource] : An Advanced Course / edited by Wolfgang Bibel, Philippe Jorrand.

by Bibel, Wolfgang [editor.] | Jorrand, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 232Source: 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
Formal Methods and Software Engineering [electronic resource] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings / edited by Jin Song Dong, Jim Woodcock.

by Dong, Jin Song [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2885Source: 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
Modelling with Words [electronic resource] : Learning, Fusion, and Reasoning within a Formal Linguistic Represntation Framework / edited by Jonathan Lawry, Jimi Shanahan, Anca Ralescu.

by Lawry, Jonathan [editor.] | Shanahan, Jimi [editor.] | Ralescu, Anca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2873Source: 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
Mathematical Foundations of Computer Science 1986 [electronic resource] : Proceedings of the 12th Symposium Bratislava, Czechoslovakia August 25–29, 1986 / edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.

by Gruska, Jozef [editor.] | Rovan, Branislav [editor.] | Wiedermann, Juraj [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 233Source: 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
Verification: Theory and Practice [electronic resource] : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / edited by Nachum Dershowitz.

by Dershowitz, Nachum [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2772Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Envisioning Machine Translation in the Information Future [electronic resource] : 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000 Cuernavaca, Mexico, October 10–14, 2000 Proceedings / edited by John S. White.

by White, John S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1934Source: 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
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
Formal Methods at the Crossroads. From Panacea to Foundational Support [electronic resource] : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers / edited by Bernhard K. Aichernig, Tom Maibaum.

by Aichernig, Bernhard K [editor.] | Maibaum, Tom [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2757Source: 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
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
Programming Languages and Systems [electronic resource] : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings / edited by Atsushi Ohori.

by Ohori, Atsushi [editor.] | SpringerLink (Online service).

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

Powered by Koha