Your search returned 691 results.

Not what you expected? Check for suggestions
E-BOOKS
Mobile Object Systems Towards the Programmable Internet [electronic resource] : Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers / edited by Jan Vitek, Christian Tschudin.

by Vitek, Jan [editor.] | Tschudin, Christian [editor.] | SpringerLink (Online service).

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

E-BOOKS
Intelligent Tutoring Systems [electronic resource] : 4th International Conference, ITS’ 98 San Antonio, Texas, USA, August 16–19, 1998 Proceedings / edited by Barry P. Goettl, Henry M. Halff, Carol L. Redfield, Valerie J. Shute.

by Goettl, Barry P [editor.] | Halff, Henry M [editor.] | Redfield, Carol L [editor.] | Shute, Valerie J [editor.] | SpringerLink (Online service).

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

E-BOOKS
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications [electronic resource] : Based on the AI'97 Workshop on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence Perth, Australia, December 1, 1997 / edited by Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang.

by Wobcke, Wayne [editor.] | Pagnucco, Maurice [editor.] | Zhang, Chengqi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Collective Robotics [electronic resource] : First International Workshop, CRW'98 Paris, France, July 4–5, 1998 Proceeedings / edited by Alexis Drogoul, Milind Tambe, Toshio Fukuda.

by Drogoul, Alexis [editor.] | Tambe, Milind [editor.] | Fukuda, Toshio [editor.] | SpringerLink (Online service).

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

E-BOOKS
RoboCup 2007: Robot Soccer World Cup XI [electronic resource] / edited by Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert.

by Visser, Ubbo [editor.] | Ribeiro, Fernando [editor.] | Ohashi, Takeshi [editor.] | Dellaert, Frank [editor.] | SpringerLink (Online service).

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

E-BOOKS
Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / edited by Matteo Baldoni, Ulle Endriss.

by Baldoni, Matteo [editor.] | Endriss, Ulle [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4327Source: 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
New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings / edited by Ngoc Thanh Nguyen, Leszek Borzemski, Adam Grzech, Moonis Ali.

by Nguyen, Ngoc Thanh [editor.] | Borzemski, Leszek [editor.] | Grzech, Adam [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service).

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

E-BOOKS
Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt.

by Beckert, Bernhard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [editor.] | SpringerLink (Online service).

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

E-BOOKS
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock.

by Meyer, Bertrand [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Aided Verification [electronic resource] : 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings / edited by Orna Grumberg.

by Grumberg, Orna [editor.] | SpringerLink (Online service).

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

E-BOOKS
Innovative Concepts for Autonomic and Agent-Based Systems [electronic resource] : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers / edited by Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski.

by Hinchey, Michael G [editor.] | Rago, Patricia [editor.] | Rash, James L [editor.] | Rouff, Christopher A [editor.] | Sterritt, Roy [editor.] | Truszkowski, Walt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3825Source: 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
Computer Aided Verification [electronic resource] : 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings / edited by Alan J. Hu, Moshe Y. Vardi.

by Hu, Alan J [editor.] | Vardi, Moshe Y [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advanced Information Systems Engineering [electronic resource] : 10th International Conference, CAiSE'98 Pisa, Italy, June 8–12, 1998 Proceedings / edited by Barbara Pernici, Costantino Thanos.

by Pernici, Barbara [editor.] | Thanos, Costantino [editor.] | SpringerLink (Online service).

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

E-BOOKS
Foundations of Computer Science [electronic resource] : Potential — Theory — Cognition / edited by Christian Freksa, Matthias Jantzen, Rüdiger Valk.

by Freksa, Christian [editor.] | Jantzen, Matthias [editor.] | Valk, Rüdiger [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Computing Science — ASIAN'97 [electronic resource] : Third Asian Computing Science Conference Kathmandu, Nepal, December 9–11, 1997 Proceedings / edited by R. K. Shyamasundar, K. Ueda.

by Shyamasundar, R. K [editor.] | Ueda, K [editor.] | SpringerLink (Online service).

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

E-BOOKS
Intelligent Agents IV Agent Theories, Architectures, and Languages [electronic resource] : 4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 24–26, 1997 Proceedings / edited by Munindar P. Singh, Anand Rao, Michael J. Wooldridge.

by Singh, Munindar P [editor.] | Rao, Anand [editor.] | Wooldridge, Michael J [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Database Technology — EDBT'98 [electronic resource] : 6th International Conference on Extending Database Technology Valencia, Spain, March 23–27, 1998 Proceedings / edited by Hans-Jörg Schek, Gustavo Alonso, Felix Saltor, Isidro Ramos.

by Schek, Hans-Jörg [editor.] | Alonso, Gustavo [editor.] | Saltor, Felix [editor.] | Ramos, Isidro [editor.] | SpringerLink (Online service).

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

E-BOOKS
Compiler Construction [electronic resource] : 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / edited by Kai Koskimies.

by Koskimies, Kai [editor.] | SpringerLink (Online service).

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

E-BOOKS
Multimodal Human-Computer Communication [electronic resource] : Systems, Techniques, and Experiments / edited by Harry Bunt, Robbert-Jan Beun, Tijn Borghuis.

by Bunt, Harry [editor.] | Beun, Robbert-Jan [editor.] | Borghuis, Tijn [editor.] | SpringerLink (Online service).

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

E-BOOKS
RoboCup-97: Robot Soccer World Cup I [electronic resource] / edited by Hiroaki Kitano.

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

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha