Your search returned 691 results.

Not what you expected? Check for suggestions
E-BOOKS
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings / edited by John Fitch.

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

Series: Lecture Notes in Computer Science ; 721Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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] : Seventh Conference, Pune, India December 17–19, 1987 Proceedings / edited by Kesav V. Nori.

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

Series: Lecture Notes in Computer Science ; 287Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Developments in Applied Artificial Intelligence [electronic resource] : 15th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE 2002 Cairns, Australia, June 17–20, 2002 Proceedings / edited by Tim Hendtlass, Moonis Ali.

by Hendtlass, Tim [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2358Source: 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
Human Computer Interaction [electronic resource] : Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20–22, 1993 Proceedings / edited by Thomas Grechenig, Manfred Tscheligi.

by Grechenig, Thomas [editor.] | Tscheligi, Manfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 733Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 in Programming and Their Applications [electronic resource] : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Pottosin, Igor V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 735Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Innovative Internet Computing Systems [electronic resource] : Second International Workshop, IICS 2002 Kühlungsborn, Germany, June 20–22, 2002 Proceedings / edited by Herwig Unger, Thomas Böhme, Armin Mikler.

by Unger, Herwig [editor.] | Böhme, Thomas [editor.] | Mikler, Armin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2346Source: 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
Correct System Design [electronic resource] : Recent Insights and Advances / edited by Ernst-Rüdiger Olderog, Bernhard Steffen.

by Olderog, Ernst-Rüdiger [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1710Source: 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
Intelligent Perceptual Systems [electronic resource] : New Directions in Computational Perception / edited by Vito Roberto.

by Roberto, Vito [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 745Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Human-Computer Interaction [electronic resource] : Third International Conference, EWHCI '93 Moscow, Russia, August 3–7, 1993 Selected Papers / edited by Leonard J. Bass, Juri Gornostaev, Claus Unger.

by Bass, Leonard J [editor.] | Gornostaev, Juri [editor.] | Unger, Claus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 753Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
The Munich Project CIP [electronic resource] : Volume II: The Program Transformation System CIP-S / edited by F. L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper.

by Bauer, F. L [editor.] | Ehler, H [editor.] | Horsch, A [editor.] | Möller, B [editor.] | Partsch, H [editor.] | Paukner, O [editor.] | Pepper, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 292Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Innovative Internet Computing Systems [electronic resource] : International Workshop IICS 2001 Ilmenau, Germany, June 21–22, 2001 Proceedings / edited by Thomas Böhme, Herwig Unger.

by Böhme, Thomas [editor.] | Unger, Herwig [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2060Source: 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
Computer Vision Systems [electronic resource] : Second International Workshop, ICVS 2001 Vancouver, Canada, July 7–8, 2001 Proceedings / edited by Bernt Schiele, Gerhard Sagerer.

by Schiele, Bernt [editor.] | Sagerer, Gerhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2095Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings / edited by Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin.

by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1690Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna.

by Butler, Michael [editor.] | Jones, Cliff B [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4157Source: 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] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov.

by Hermann, Miki [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4246Source: 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
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings / edited by Jeffrey J. Joyce, Carl-Johan H. Seger.

by Joyce, Jeffrey J [editor.] | Seger, Carl-Johan H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 780Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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] : 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings / edited by Peter A. Fritzson.

by Fritzson, Peter A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 786Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
RoboCup-98: Robot Soccer World Cup II [electronic resource] / edited by Minoru Asada, Hiroaki Kitano.

by Asada, Minoru [editor.] | Kitano, Hiroaki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1604Source: 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
Multi-Agent System Engineering [electronic resource] : 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’99 Valencia, Spain, June 30 – July 2, 1999 Proceedings / edited by Francisco J. Garijo, Magnus Boman.

by Garijo, Francisco J [editor.] | Boman, Magnus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1647Source: 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
Human-Computer Interaction [electronic resource] : 5th International Conference, EWHCI '95 Moscow, Russia, July 3–7 1995 Selected Papers / edited by Brad Blumenthal, Juri Gornostaev, Claus Unger.

by Blumenthal, Brad [editor.] | Gornostaev, Juri [editor.] | Unger, Claus [editor.] | SpringerLink (Online service).

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