Your search returned 691 results.

Not what you expected? Check for suggestions
E-BOOKS
Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / edited by Rudolf Berghammer, Bernhard Möller, Georg Struth.

by Berghammer, Rudolf [editor.] | Möller, Bernhard [editor.] | Struth, Georg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3051Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Semirings for Soft Constraint Solving and Programming [electronic resource] / by Stefano Bistarelli.

by Bistarelli, Stefano [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2962Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Agents and Computational Autonomy [electronic resource] : Potential, Risks, and Solutions / edited by Matthias Nickles, Michael Rovatsos, Gerhard Weiss.

by Nickles, Matthias [editor.] | Rovatsos, Michael [editor.] | Weiss, Gerhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2969Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Objects, Agents, and Features [electronic resource] : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers / edited by Mark D. Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich.

by Ryan, Mark D [editor.] | Meyer, John-Jules Ch [editor.] | Ehrich, Hans-Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2975Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Declarative Agent Languages and Technologies [electronic resource] : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / edited by João Leite, Andrea Omicini, Leon Sterling, Paolo Torroni.

by Leite, João [editor.] | Omicini, Andrea [editor.] | Sterling, Leon [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2990Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Programming Multi-Agent Systems [electronic resource] : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited papers / edited by Mehdi M. Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni.

by Dastani, Mehdi M [editor.] | Dix, Jürgen [editor.] | El Fallah-Seghrouchni, Amal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3067Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
RoboCup 2003: Robot Soccer World Cup VII [electronic resource] / edited by Daniel Polani, Brett Browning, Andrea Bonarini, Kazuo Yoshida.

by Polani, Daniel [editor.] | Browning, Brett [editor.] | Bonarini, Andrea [editor.] | Yoshida, Kazuo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3020Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Engineering Societies in the Agents World IV [electronic resource] : 4th International Workshops, ESAW 2003, London, UK, October 29-31, 2003. Revised Selected and Invited Papers / edited by Andrea Omicini, Paolo Petta, Jeremy Pitt.

by Omicini, Andrea [editor.] | Petta, Paolo [editor.] | Pitt, Jeremy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3071Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Program Development in Computational Logic [electronic resource] : A Decade of Research Advances in Logic-Based Program Development / edited by Maurice Bruynooghe, Kung-Kiu Lau.

by Bruynooghe, Maurice [editor.] | Lau, Kung-Kiu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3049Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : First European Semantic Web Symposium, ESWS 2004 Heraklion, Crete, Greece, May 10-12, 2004. Proceedings / edited by Christoph J. Bussler, John Davies, Dieter Fensel, Rudi Studer.

by Bussler, Christoph J [editor.] | Davies, John [editor.] | Fensel, Dieter [editor.] | Studer, Rudi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3053Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Advanced Distributed Systems [electronic resource] : Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004. Revised Selected Papers / edited by Félix F. Ramos, Herwig Unger, Victor Larios.

by Ramos, Félix F [editor.] | Unger, Herwig [editor.] | Larios, Victor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3061Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Biometric Authentication [electronic resource] : ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004. Proceedings / edited by Davide Maltoni, Anil K. Jain.

by Maltoni, Davide [editor.] | Jain, Anil K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3087Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Learning Software Organizations [electronic resource] : 6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004. Proceedings / edited by Grigori Melnik, Harald Holz.

by Melnik, Grigori [editor.] | Holz, Harald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3096Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Automated Reasoning [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings / edited by David Basin, Michaël Rusinowitch.

by Basin, David [editor.] | Rusinowitch, Michaël [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3097Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings / edited by Rajeev Alur, Doron A. Peled.

by Alur, Rajeev [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3114Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings / edited by Charles Rattray, Savitri Maharaj, Carron Shankland.

by Rattray, Charles [editor.] | Maharaj, Savitri [editor.] | Shankland, Carron [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3116Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Web-Based Learning – ICWL 2004 [electronic resource] : Third International Conference, Beijing, China, August 8-11, 2004. Proceedings / edited by Wenyin Liu, Yuanchun Shi, Qing Li.

by Liu, Wenyin [editor.] | Shi, Yuanchun [editor.] | Li, Qing [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3143Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Multiagent System Technologies [electronic resource] : Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings / edited by Torsten Eymann, Franziska Klügl, Winfried Lamersdorf, Matthias Klusch, Michael N. Huhns.

by Eymann, Torsten [editor.] | Klügl, Franziska [editor.] | Lamersdorf, Winfried [editor.] | Klusch, Matthias [editor.] | Huhns, Michael N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3550Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Multiagent System Technologies [electronic resource] : Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004. Proceedings / edited by Gabriela Lindemann, Jörg Denzinger, Ingo J. Timm, Rainer Unland.

by Lindemann, Gabriela [editor.] | Denzinger, Jörg [editor.] | Timm, Ingo J [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3187Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Principles and Practice of Semantic Web Reasoning [electronic resource] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings / edited by Hans Jürgen Ohlbach, Sebastian Schaffert.

by Ohlbach, Hans Jürgen [editor.] | Schaffert, Sebastian [editor.] | SpringerLink (Online service).

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