Your search returned 573 results.

Not what you expected? Check for suggestions
E-BOOKS
Neural Nets [electronic resource] : A Theory for Brains and Machines / by Armando Freitas Rocha.

by Rocha, Armando Freitas [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 638Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems [electronic resource] : International Workshop on Infrastructure for Scalable Multi-Agent Systems Barcelona, Spain, June 3–7, 2000 Revised Papers / edited by Tom Wagner, Omer F. Rana.

by Wagner, Tom [editor.] | Rana, Omer F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1887Source: 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
Logic Programming and Automated Reasoning [electronic resource] : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings / edited by Andrei Voronkov.

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

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 698Source: 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
Smart Sensing and Context [electronic resource] : First European Conference, EuroSSC 2006 Enschede, Netherlands, October 25-27, 2006 Proceedings / edited by Paul Havinga, Maria Lijding, Nirvana Meratnia, Maarten Wegdam.

by Havinga, Paul [editor.] | Lijding, Maria [editor.] | Meratnia, Nirvana [editor.] | Wegdam, Maarten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4272Source: 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
Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici.

by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 713Source: 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
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
Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827Source: 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
Symbolic and Quantitative Approaches to Reasoning and Uncertainty [electronic resource] : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3–5, 1995 Proceedings / edited by Christine Froidevaux, Jürg Kohlas.

by Froidevaux, Christine [editor.] | Kohlas, Jürg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 946Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings / edited by Ed Brinksma.

by Brinksma, Ed [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1217Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Rewriting Techniques and Applications [electronic resource] : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings / edited by Harald Ganzinger.

by Ganzinger, Harald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1103Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Artificial Intelligence [electronic resource] : 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008 Windsor, Canada, May 28-30, 2008 Proceedings / edited by Sabine Bergler.

by Bergler, Sabine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5032Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Model Driven Architecture- Foundations and Applications [electronic resource] : Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings / edited by David H. Akehurst, Régis Vogel, Richard F. Paige.

by Akehurst, David H [editor.] | Vogel, Régis [editor.] | Paige, Richard F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4530Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Web Reasoning and Rule Systems [electronic resource] : First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings / edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie.

by Marchiori, Massimo [editor.] | Pan, Jeff Z [editor.] | Marie, Christian de Sainte [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4524Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Smart Graphics [electronic resource] : 8th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007. Proceedings / edited by Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier, Shigeru Owada.

by Butz, Andreas [editor.] | Fisher, Brian [editor.] | Krüger, Antonio [editor.] | Olivier, Patrick [editor.] | Owada, Shigeru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4569Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 Data Mining. Theoretical Aspects and Applications [electronic resource] : 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007. Proceedings / edited by Petra Perner.

by Perner, Petra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4597Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / edited by Daniel Leivant, Ruy Queiroz.

by Leivant, Daniel [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4576Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
MICAI 2007: Advances in Artificial Intelligence [electronic resource] : 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007. Proceedings / edited by Alexander Gelbukh, Ángel Fernando Kuri Morales.

by Gelbukh, Alexander [editor.] | Kuri Morales, Ángel Fernando [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4827Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings / edited by Danail Dochev, Marco Pistore, Paolo Traverso.

by Dochev, Danail [editor.] | Pistore, Marco [editor.] | Traverso, Paolo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5253Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov.

by Cervesato, Iliano [editor.] | Veith, Helmut [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5330Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Typed Lambda Calculi and Applications [electronic resource] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings / edited by Pierre-Louis Curien.

by Curien, Pierre-Louis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5608Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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