Your search returned 3388 results.

Not what you expected? Check for suggestions
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
Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science [electronic resource] : International Conference COSIT’99 Stade, Germany, August 25–29, 1999 Proceedings / edited by Christian Freksa, David M. Mark.

by Freksa, Christian [editor.] | Mark, David M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1661Source: 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
Logic, Language and Computation [electronic resource] : Festschrift in Honor of Satoru Takasu / edited by Neil D. Jones, Masami Hagiya, Masahiko Sato.

by Jones, Neil D [editor.] | Hagiya, Masami [editor.] | Sato, Masahiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 792Source: 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
Computer Vision — ECCV '94 [electronic resource] : Third European Conference on Computer Vision Stockholm, Sweden, May 2–6, 1994 Proceedings, Volume I / edited by Jan-Olof Eklundh.

by Eklundh, Jan-Olof [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 800Source: 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
Computer Vision — ECCV '94 [electronic resource] : Third European Conference on Computer Vision Stockholm, Sweden, May 2–6 1994 Proceedings, Volume II / edited by Jan-Olof Eklundh.

by Eklundh, Jan-Olof [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 801Source: 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
FM8501: A Verified Microprocessor [electronic resource] / edited by Warren A. Hunt.

by Hunt, Warren A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 795Source: 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
Advances in Intelligent Data Analysis [electronic resource] : Third International Symposium, IDA-99 Amsterdam, The Netherlands, August 9–11, 1999 Proceedings / edited by David J. Hand, Joost N. Kok, Michael R. Berthold.

by Hand, David J [editor.] | Kok, Joost N [editor.] | Berthold, Michael R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1642Source: 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
Cooperative Information Agents III [electronic resource] : Third International Workshop, CIA’99 Uppsala, Sweden, July 31–August 2, 1999 Proceedings / edited by Matthias Klusch, Onn M. Shehory, Gerhard Weiss.

by Klusch, Matthias [editor.] | Shehory, Onn M [editor.] | Weiss, Gerhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1652Source: 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
Extensions of Logic Programming [electronic resource] : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings / edited by Roy Dyckhoff.

by Dyckhoff, Roy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in ; 798Source: 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
Multiagent Systems [electronic resource] : A Theoretical Framework for Intentions, Know-How, and Communications / by Munindar P. Singh.

by Singh, Munindar P [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 799Source: 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
Qualitative Representation of Spatial Knowledge [electronic resource] / edited by Daniel Hernández.

by Hernández, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 804Source: 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
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
Types for Proofs and Programs [electronic resource] : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers / edited by Henk Barendregt, Tobias Nipkow.

by Barendregt, Henk [editor.] | Nipkow, Tobias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 806Source: 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
Case-Based Reasoning Research and Development [electronic resource] : First International Conference, ICCBR-95 Sesimbra, Portugal, October 23–26, 1995 Proceedings / edited by Manuela Veloso, Agnar Aamodt.

by Veloso, Manuela [editor.] | Aamodt, Agnar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1010Source: 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
Knowledge Representation and Reasoning Under Uncertainty [electronic resource] : Logic at Work / edited by Michael Masuch, László Pólos.

by Masuch, Michael [editor.] | Pólos, László [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 808Source: 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
Foundations of Knowledge Representation and Reasoning [electronic resource] / edited by Gerhard Lakemeyer, Bernhard Nebel.

by Lakemeyer, Gerhard [editor.] | Nebel, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 810Source: 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
Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms [electronic resource] : IEEE/Nagoya-University World Wisepersons Workshop Nagoya, Japan, August 9–10, 1994 Selected Papers / edited by Takeshi Furuhashi.

by Furuhashi, Takeshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1011Source: 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
Deductive and Object-Oriented Databases [electronic resource] : Fourth International Conference, DOOD '95 Singapore, December 4–7, 1995 Proceedings / edited by Tok Wang Ling, Alberto O. Mendelzon, Laurent Vieille.

by Ling, Tok Wang [editor.] | Mendelzon, Alberto O [editor.] | Vieille, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1013Source: 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
Automated Deduction — CADE-12 [electronic resource] : 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings / edited by Alan Bundy.

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

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence (LNAI) ; 814Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha