Your search returned 691 results.

Not what you expected? Check for suggestions
E-BOOKS
Agents Breaking Away [electronic resource] : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, The Netherlands, January 22–25, 1996 Proceedings / edited by Walter Velde, John W. Perram.

by Velde, Walter [editor.] | Perram, John W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1038Source: 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
Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 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 ; 1181Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings / edited by Jim Grundy, Malcolm Newey.

by Grundy, Jim [editor.] | Newey, Malcolm [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1479Source: 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
Mobile Agents [electronic resource] : Second International Workshop, MA’98 Stuttgart, Germany, September 9–11, 1998 Proceedings / edited by Kurt Rothermel, Fritz Hohl.

by Rothermel, Kurt [editor.] | Hohl, Fritz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1477Source: 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
Communication and Cooperation in Agent Systems [electronic resource] : A Pragmatic Theory / edited by Afsaneh Haddadi.

by Haddadi, Afsaneh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1056Source: 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
Compiler Construction [electronic resource] : 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings / edited by Tibor Gyimóthy.

by Gyimóthy, Tibor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1060Source: 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
Intelligent Agents III Agent Theories, Architectures, and Languages [electronic resource] : ECAI'96 Workshop (ATAL) Budapest, Hungary, August 12–13, 1996 Proceedings / edited by Jörg P. Müller, Michael J. Wooldridge, Nicholas R. Jennings.

by Müller, Jörg P [editor.] | Wooldridge, Michael J [editor.] | Jennings, Nicholas R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1193Source: 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
Software Agents and Soft Computing Towards Enhancing Machine Intelligence [electronic resource] : Concepts and Applications / edited by Hyacinth S. Nwana, Nader Azarmi.

by Nwana, Hyacinth S [editor.] | Azarmi, Nader [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1198Source: 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
Agent Communication II [electronic resource] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers / edited by Frank P. M. Dignum, Rogier M. Eijk, Roberto Flores.

by Dignum, Frank P. M [editor.] | Eijk, Rogier M [editor.] | Flores, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3859Source: 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
The Semantic Web: Research and Applications [electronic resource] : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings / edited by Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis.

by Bechhofer, Sean [editor.] | Hauswirth, Manfred [editor.] | Hoffmann, Jörg [editor.] | Koubarakis, Manolis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5021Source: 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
Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro.

by Lea, Doug [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5052Source: 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
Distributed Software Agents and Applications [electronic resource] : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94 Odense, Denmark, August 3–5, 1994 Proceedings / edited by John W. Perram, Jean-Pierre Müller.

by Perram, John W [editor.] | Müller, Jean-Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1069Source: 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
Intelligent Agent Systems Theoretical and Practical Issues [electronic resource] : Based on a Workshop Held at PRICAI '96 Cairns, Australia, August 26–30, 1996 / edited by Lawrence Cavedon, Anand Rao, Wayne Wobcke.

by Cavedon, Lawrence [editor.] | Rao, Anand [editor.] | Wobcke, Wayne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1209Source: 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
Intelligent Tutoring Systems [electronic resource] : Third International Conference, ITS '96 Montréal, Canada, June 12–14, 1996 Proceedings / edited by Claude Frasson, Gilles Gauthier, Alan Lesgold.

by Frasson, Claude [editor.] | Gauthier, Gilles [editor.] | Lesgold, Alan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1086Source: 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
Persuasive Technology [electronic resource] : Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings / edited by Harri Oinas-Kukkonen, Per Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm.

by Oinas-Kukkonen, Harri [editor.] | Hasle, Per [editor.] | Harjumaa, Marja [editor.] | Segerståhl, Katarina [editor.] | Øhrstrøm, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5033Source: 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
Artificial Intelligence in Structural Engineering [electronic resource] : Information Technology for Design, Collaboration, Maintenance, and Monitoring / edited by Ian Smith.

by Smith, Ian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1454Source: 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
Algebraic Methodology and Software Technology [electronic resource] : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings / edited by Martin Wirsing, Maurice Nivat.

by Wirsing, Martin [editor.] | Nivat, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1101Source: 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
Computer Aided Verification [electronic resource] : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger.

by Alur, Rajeev [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1102Source: 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
Computer Aided Learning and Instruction in Science and Engineering [electronic resource] : Third International Conference, CALISCE '96 San Sebastian, Spain, July 29–31, 1996 Proceedings / edited by Arantza Díaz de Ilarraza Sánchez, Isabel Fernández de Castro.

by Díaz de Ilarraza Sánchez, Arantza [editor.] | Fernández de Castro, Isabel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1108Source: 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
Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer.

by Degano, Pierpaolo [editor.] | Nicola, Rocco [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

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

Powered by Koha