Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
RIMS Symposia on Software Science and Engineering II [electronic resource] : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan / edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.

by Goto, Eichi [editor.] | Araki, Keijiro [editor.] | Yuasa, Taiichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 220Source: 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
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
Generative Programming and Component Engineering [electronic resource] : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings / edited by Frank Pfenning, Yannis Smaragdakis.

by Pfenning, Frank [editor.] | Smaragdakis, Yannis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2830Source: 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
Stochastic Algorithms: Foundations and Applications [electronic resource] : Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003. Proceedings / edited by Andreas Albrecht, Kathleen Steinhöfel.

by Albrecht, Andreas [editor.] | Steinhöfel, Kathleen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2827Source: 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
Composition of Secure Multi-Party Protocols [electronic resource] : A Comprehensive Study / by Yehuda Lindell.

by Lindell, Yehuda [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2815Source: 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 Programming '85 [electronic resource] : Proceedings of the 4th Conference Tokyo, Japan, July 1–3, 1985 / edited by Eiiti Wada.

by Wada, Eiiti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 221Source: 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
Advances in Petri Nets 1985 [electronic resource] / edited by G. Rozenberg.

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

Series: Lecture Notes in Computer Science ; 222Source: 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
Structure in Complexity Theory [electronic resource] : Proceedings of the Conference held at the University of California, Berkeley, California, June 2–5, 1986 / edited by Alan L. Selman.

by Selman, Alan L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 223Source: 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
Current Trends in Concurrency [electronic resource] : Overviews and Tutorials / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg.

by Bakker, J. W [editor.] | Roever, W. -P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 224Source: 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
Third International Conference on Logic Programming [electronic resource] : Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings / edited by Ehud Shapiro.

by Shapiro, Ehud [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 225Source: 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
Databases in Networked Information Systems [electronic resource] : Third InternationalWorkshop, DNIS 2003, Aizu, Japan, September 22-24, 2003. Proceedings 13 / edited by Nadia Bianchi-Berthouze.

by Bianchi-Berthouze, Nadia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2822Source: 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
Groupware: Design, Implementation, and Use [electronic resource] : 9th InternationalWorkshop, CRIWG 2003, Autrans, France, September 28 - October 2, 2003. Proceedings / edited by Jesús Favela, Dominique Decouchant.

by Favela, Jesús [editor.] | Decouchant, Dominique [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2806Source: 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
NEWCAT: Parsing Natural Language Using Left-Associative Grammar [electronic resource] / by Roland Hausser.

by Hausser, Roland [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 231Source: 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
Ambient Intelligence [electronic resource] : First European Symposium, EUSAI 2003, Veldhoven,The Netherlands,November 3-4, 2003. Proceedings / edited by Emile Aarts, René W. Collier, Evert Loenen, Boris Ruyter.

by Aarts, Emile [editor.] | Collier, René W [editor.] | Loenen, Evert [editor.] | Ruyter, Boris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2875Source: 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
Advances in Computer Systems Architecture [electronic resource] : 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003. Proceedings / edited by Amos Omondi, Stanislav Sedukhin.

by Omondi, Amos [editor.] | Sedukhin, Stanislav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2823Source: 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
Perspectives of System Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers / edited by Manfred Broy, Alexandre V. Zamulin.

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

Series: Lecture Notes in Computer Science ; 2890Source: 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