Your search returned 691 results.

Not what you expected? Check for suggestions
E-BOOKS
Coordination Models and Languages [electronic resource] : 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings / edited by Farhad Arbab, Carolyn Talcott.

by Arbab, Farhad [editor.] | Talcott, Carolyn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2315Source: 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
Soft-Ware 2002: Computing in an Imperfect World [electronic resource] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8–10, 2002 Proceedings / edited by David Bustard, Weiru Liu, Roy Sterritt.

by Bustard, David [editor.] | Liu, Weiru [editor.] | Sterritt, Roy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2311Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / edited by Kesav V. Nori, Sanjeev Kumar.

by Nori, Kesav V [editor.] | Kumar, Sanjeev [editor.] | SpringerLink (Online service).

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

E-BOOKS
Multiagent System Technologies [electronic resource] : 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings / edited by Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning Zhong.

by Fischer, Klaus [editor.] | Timm, Ingo J [editor.] | André, Elisabeth [editor.] | Zhong, Ning [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4196Source: 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
Logic at Botik '89 [electronic resource] : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings / edited by Albert R. Meyer, Michael A. Taitslin.

by Meyer, Albert R [editor.] | Taitslin, Michael A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 363Source: 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
Compiler Compilers and High Speed Compilation [electronic resource] : 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings / edited by Dieter Hammer.

by Hammer, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 371Source: 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
Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / edited by Pierre Deransart, Jan Maluszyński.

by Deransart, Pierre [editor.] | Maluszyński, Jan [editor.] | SpringerLink (Online service).

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

E-BOOKS
Machine Learning — EWSL-91 [electronic resource] : European Working Session on Learning Porto, Portugal, March 6–8, 1991 Proceedings / edited by Yves Kodratoff.

by Kodratoff, Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 482Source: 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
Part-Whole Reasoning in an Object-Centered Framework [electronic resource] / by Patrick Lambrix.

by Lambrix, Patrick [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1771Source: 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
Perspectives of System Informatics [electronic resource] : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings / edited by Dines Bjøner, Manfred Broy, Alexandre V. Zamulin.

by Bjøner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1755Source: 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
Formal Models of Agents [electronic resource] : ESPRIT Project ModelAge Final Workshop Selected Papers / edited by John-Jules Ch. Meyer, Pierre-Yves Schobbens.

by Meyer, John-Jules Ch [editor.] | Schobbens, Pierre-Yves [editor.] | SpringerLink (Online service).

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

E-BOOKS
Practical Aspects of Declarative Languages [electronic resource] : Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings / edited by Enrico Pontelli, Vítor Santos Costa.

by Pontelli, Enrico [editor.] | Santos Costa, Vítor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1753Source: 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
Conclog: A Methodological Approach to Concurrent Logic Programming [electronic resource] / by Jean-Marie Jacquet.

by Jacquet, Jean-Marie [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 556Source: 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
Attribute Grammars and their Applications [electronic resource] : International Conference WAGA Paris, France, September 19–21, 1990 Proceedings / edited by P. Deransart, M. Jourdan.

by Deransart, P [editor.] | Jourdan, M [editor.] | SpringerLink (Online service).

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

E-BOOKS
Approaches to Intelligence Agents [electronic resource] : Second Pacific Rim InternationalWorkshop on Multi-Agents, PRIMA’99 Kyoto, Japan, December 2–3, 1999 Proceedings / edited by Hideyuki Nakashima, Chengqi Zhang.

by Nakashima, Hideyuki [editor.] | Zhang, Chengqi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algebraic and Logic Programming [electronic resource] : Second International Conference Nancy, France, October 1–3, 1990 Proceedings / edited by Hélène Kirchner, Wolfgang Wechler.

by Kirchner, Hélène [editor.] | Wechler, Wolfgang [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information Systems and Artificial Intelligence: Integration Aspects [electronic resource] : First Workshop Ulm, FRG, March 19–21, 1990 Proceedings / edited by Dimitris Karagiannis.

by Karagiannis, Dimitris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 474Source: 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
AI '88 [electronic resource] : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15–18, 1988 Proceedings / edited by Christopher J. Barter, Michael J. Brooks.

by Barter, Christopher J [editor.] | Brooks, Michael J [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Aided Systems Theory — EUROCAST '89 [electronic resource] : A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26–March 4, 1989 Proceedings / edited by F. Pichler, R. Moreno-Diaz.

by Pichler, F [editor.] | Moreno-Diaz, R [editor.] | SpringerLink (Online service).

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