Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings / edited by Peter Baumgartner, Reiner Hähnle, Joachim Possega.

by Baumgartner, Peter [editor.] | Hähnle, Reiner [editor.] | Possega, Joachim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 918Source: 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
Advances in Cryptology — ASIACRYPT'94 [electronic resource] : 4th International Conferences on the Theory and Applications of Cryptology Wollongong, Australia, November 28 – December 1, 1994 Proceedings / edited by Josef Pieprzyk, Reihanah Safavi-Naini.

by Pieprzyk, Josef [editor.] | Safavi-Naini, Reihanah [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 917Source: 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
Term Rewriting [electronic resource] : French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course / edited by Hubert Comon, Jean-Pierre Jounnaud.

by Comon, Hubert [editor.] | Jounnaud, Jean-Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 909Source: 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
Learning Robots [electronic resource] : 6th European Workshop, EWLR-6 Brighton, England, August 1–2, 1997 Proceedings / edited by Andreas Birk, John Demiris.

by Birk, Andreas [editor.] | Demiris, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1545Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Multi-Agent Systems. Theories, Languages and Applications [electronic resource] : 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, QLD, Australia, July 13, 1998. Selected Papers / edited by Chenqi Zhang, Dickson Lukose.

by Zhang, Chenqi [editor.] | Lukose, Dickson [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1544Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition Milan, Italy, May 3–5, 1995 Proceedings / edited by Bob Hertzberger, Giuseppe Serazzi.

by Hertzberger, Bob [editor.] | Serazzi, Giuseppe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 919Source: 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
Integer Programming and Combinatorial Optimization [electronic resource] : 4th International IPCO Conference Copenhagen, Denmark, May 29–31, 1995 Proceedings / edited by Egon Balas, Jens Clausen.

by Balas, Egon [editor.] | Clausen, Jens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 920Source: 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
Multi-Agent Systems and Agent-Based Simulation [electronic resource] : First International Workshop, MABS ’98, Paris, France, July 4-6, 1998. Proceedings / edited by Jaime Simão Sichman, Rosaria Conte, Nigel Gilbert.

by Sichman, Jaime Simão [editor.] | Conte, Rosaria [editor.] | Gilbert, Nigel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1534Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Community Computing and Support Systems [electronic resource] : Social Interaction in Networked Communities / edited by Toru Ishida.

by Ishida, Toru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1519Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
State of the Art in Applied Cryptography [electronic resource] : Course on Computer Security and Industrial Cryptography Leuven, Belgium, June 3–6, 1997 Revised Lectures.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1528Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Funtional Programming Languages in Education [electronic resource] : First International Symposium, FPLE '95 Nijmegen, The Netherlands, December 4–6, 1995 Proceedings / edited by Pieter H. Hartel, Rinus Plasmeijer.

by Hartel, Pieter H [editor.] | Plasmeijer, Rinus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1022Source: 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
Algebraic Methodology and Software Technology [electronic resource] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings / edited by Armando M. Haeberer.

by Haeberer, Armando M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1548Source: 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
Prospects for Hardware Foundations [electronic resource] : ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters / edited by Bernhard Möller, John V. Tucker.

by Möller, Bernhard [editor.] | Tucker, John V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1546Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Object-Oriented Technology: ECOOP’98 Workshop Reader [electronic resource] : ECOOP’ 98 Workshops, Demos, and Posters Brussels, Belgium, July 20–24, 1998 Proceedings / edited by Serge Demeyer, Jan Bosch.

by Demeyer, Serge [editor.] | Bosch, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1543Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998Online 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 Vision Systems [electronic resource] : First International Conference, ICVS’ 99 Las Palmas, Gran Canaria, Spain, January 13–15, 1999 Proceedings / by Henrik I. Christensen.

by Christensen, Henrik I [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1542Source: 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
Database Theory — ICDT’99 [electronic resource] : 7th International Conference Jerusalem, Israel, January 10–12, 1999 Proceedings / edited by Catriel Beeri, Peter Buneman.

by Beeri, Catriel [editor.] | Buneman, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1540Source: 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
Applied Parallel Computing Large Scale Scientific and Industrial Problems [electronic resource] : 4th International Workshop, PARA’98 Umeå, Sweden, June 14–17, 1998 Proceedings / edited by Bo Kågström, Jack Dongarra, Erik Elmroth, Jerzy Waśniewski.

by Kågström, Bo [editor.] | Dongarra, Jack [editor.] | Elmroth, Erik [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1541Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Algorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings / edited by Kanchana Kanchanasut, Jean-Jacques Lévy.

by Kanchanasut, Kanchana [editor.] | Lévy, Jean-Jacques [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1023Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings / edited by P. S. Thiagarajan.

by Thiagarajan, P. S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1026Source: 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
Advances in Cryptology — EUROCRYPT ’95 [electronic resource] : International Conference on the Theory and Application of Cryptographic Techniques Saint-Malo, France, May 21–25, 1995 Proceedings / edited by Louis C. Guillou, Jean-Jacques Quisquater.

by Guillou, Louis C [editor.] | Quisquater, Jean-Jacques [editor.] | SpringerLink (Online service).

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

Powered by Koha