Your search returned 573 results.

Not what you expected? Check for suggestions
E-BOOKS
Innovative Concepts for Agent-Based Systems [electronic resource] : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers / edited by Walt Truszkowski, Mike Hinchey, Chris Rouff.

by Truszkowski, Walt [editor.] | Hinchey, Mike [editor.] | Rouff, Chris [editor.] | SpringerLink (Online service).

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

E-BOOKS
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 7th International Conference, KES 2003, Oxford, UK, September 2003. Proceedings, Part II / edited by Vasile Palade, Robert J. Howlett, Lakhmi Jain.

by Palade, Vasile [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Data Warehousing and Knowledge Discovery [electronic resource] : 5th International Conference, DaWak 2003, Prague, Czech Republic, September 3-5, 2003. Proceedings / edited by Yahiko Kambayashi, Mukesh Mohania, Wolfram Wöß.

by Kambayashi, Yahiko [editor.] | Mohania, Mukesh [editor.] | Wöß, Wolfram [editor.] | SpringerLink (Online service).

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

E-BOOKS
FME 2001: Formal Methods for Increasing Software Productivity [electronic resource] : International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings / edited by José Nuno Oliveira, Pamela Zave.

by Oliveira, José Nuno [editor.] | Zave, Pamela [editor.] | SpringerLink (Online service).

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

E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Tiziana Margaria, Wang Yi.

by Margaria, Tiziana [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

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

E-BOOKS
KI 2001: Advances in Artificial Intelligence [electronic resource] : Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings / edited by Franz Baader, Gerhard Brewka, Thomas Eiter.

by Baader, Franz [editor.] | Brewka, Gerhard [editor.] | Eiter, Thomas [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic Programming [electronic resource] : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings / edited by Peter J. Stuckey.

by Stuckey, Peter J [editor.] | SpringerLink (Online service).

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

E-BOOKS
Frontiers of Combining Systems [electronic resource] : 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings / edited by Alessandro Armando.

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

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

E-BOOKS
Rewriting Techniques and Applications [electronic resource] : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings / edited by Nachum Dershowitz.

by Dershowitz, Nachum [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 355Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Managing Knowledge in a World of Networks [electronic resource] : 15th International Conference, EKAW 2006, Poděbrady, Czech Republic, October 2-6, 2006. Proceedings / edited by Steffen Staab, Vojtěch Svátek.

by Staab, Steffen [editor.] | Svátek, Vojtěch [editor.] | SpringerLink (Online service).

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

E-BOOKS
Hybrid Neural Systems [electronic resource] / edited by Stefan Wermter, Ron Sun.

by Wermter, Stefan [editor.] | Sun, Ron [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1778Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Intelligent Agents VI. Agent Theories, Architectures, and Languages [electronic resource] : 6th International Workshop, ATAL’99, Orlando, Florida, USA, July 15-17, 1999. Proceedings / edited by Nicholas R. Jennings, Yves Lespérance.

by Jennings, Nicholas R [editor.] | Lespérance, Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1757Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Distributed Algorithms [electronic resource] : 3rd International Workshop Nice, France, September 26–28, 1989 Proceedings / edited by Jean-Claude Bermond, Michel Raynal.

by Bermond, Jean-Claude [editor.] | Raynal, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 392Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Extensions of Logic Programming [electronic resource] : International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings / edited by Peter Schroeder-Heister.

by Schroeder-Heister, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 475Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Logic Programming [electronic resource] : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings / edited by A. Voronkov.

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

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 592Source: 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): .

E-BOOKS
Lexical Semantics and Knowledge Representation [electronic resource] : First SIGLEX Workshop Berkeley, CA, USA, June 17, 1991 Proceedings / edited by James Pustejovsky, Sabine Bergler.

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

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 627Source: 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): .

E-BOOKS
Computer Aided Verification [electronic resource] : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings / edited by Gregor Bochmann, David Karl Probst.

by Bochmann, Gregor [editor.] | Probst, David Karl [editor.] | SpringerLink (Online service).

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

E-BOOKS
TAPSOFT'93: Theory and Practice of Software Development [electronic resource] : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings / edited by M. -C. Gaudel, J. -P. Jouannaud.

by Gaudel, M. -C [editor.] | Jouannaud, J. -P [editor.] | SpringerLink (Online service).

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

E-BOOKS
Application and Theory of Petri Nets 1993 [electronic resource] : 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings / edited by Marco Ajmone Marsan.

by Ajmone Marsan, Marco [editor.] | SpringerLink (Online service).

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

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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha