Your search returned 8988 results.

Not what you expected? Check for suggestions
E-BOOKS
Law and the Semantic Web [electronic resource] : Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications / edited by V. Richard Benjamins, Pompeu Casanovas, Joost Breuker, Aldo Gangemi.

by Benjamins, V. Richard [editor.] | Casanovas, Pompeu [editor.] | Breuker, Joost [editor.] | Gangemi, Aldo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3369Source: 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
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan.

by Hutter, Dieter [editor.] | Stephan, Werner [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2605Source: 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
Spatial Cognition IV. Reasoning, Action, Interaction [electronic resource] : International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers / edited by Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky.

by Freksa, Christian [editor.] | Knauff, Markus [editor.] | Krieg-Brückner, Bernd [editor.] | Nebel, Bernhard [editor.] | Barkowsky, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3343Source: 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
RoboCup 2004: Robot Soccer World Cup VIII [electronic resource] / edited by Daniele Nardi, Martin Riedmiller, Claude Sammut, José Santos-Victor.

by Nardi, Daniele [editor.] | Riedmiller, Martin [editor.] | Sammut, Claude [editor.] | Santos-Victor, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3276Source: 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
E-Government: Towards Electronic Democracy [electronic resource] : International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings / edited by Michael Böhlen, Johann Gamper, Wolfgang Polasek, Maria A. Wimmer.

by Böhlen, Michael [editor.] | Gamper, Johann [editor.] | Polasek, Wolfgang [editor.] | Wimmer, Maria A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3416Source: 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
Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Rogier M. Eijk, Marc-Philippe Huget, Frank Dignum.

by Eijk, Rogier M [editor.] | Huget, Marc-Philippe [editor.] | Dignum, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3396Source: 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
Environments for Multi-Agent Systems [electronic resource] : First International Workshop, E4MAS 2004, New York, NY, July 19, 2004, Revised Selected Papers / edited by Danny Weyns, H. Dyke Parunak, Fabien Michel.

by Weyns, Danny [editor.] | Dyke Parunak, H [editor.] | Michel, Fabien [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3374Source: 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
Programming Multi-Agent Systems [electronic resource] : Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni.

by Bordini, Rafael H [editor.] | Dastani, Mehdi [editor.] | Dix, Jürgen [editor.] | Fallah Seghrouchni, Amal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3346Source: 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
Argumentation in Multi-Agent Systems [electronic resource] : First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Iyad Rahwan, Pavlos Moraïtis, Chris Reed.

by Rahwan, Iyad [editor.] | Moraïtis, Pavlos [editor.] | Reed, Chris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3366Source: 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
Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings / edited by Bernhard Ganter, Robert Godin.

by Ganter, Bernhard [editor.] | Godin, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3403Source: 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
Ambient Intelligence for Scientific Discovery [electronic resource] : Foundations, Theories, and Systems / edited by Yang Cai.

by Cai, Yang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3345Source: 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
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings / edited by Roman Barták, Michela Milano.

by Barták, Roman [editor.] | Milano, Michela [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3524Source: 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
Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders.

by Abdallah, Ali E [editor.] | Jones, Cliff B [editor.] | Sanders, Jeff W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3525Source: 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
New Computational Paradigms [electronic resource] : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Leen Torenvliet.

by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Torenvliet, Leen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3526Source: 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
Advances in Cryptology - ASIACRYPT 2005 [electronic resource] : 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005. Proceedings / edited by Bimal Roy.

by Roy, Bimal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3788Source: 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
Software Architecture [electronic resource] : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings / edited by Ron Morrison, Flavio Oquendo.

by Morrison, Ron [editor.] | Oquendo, Flavio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3527Source: 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
Middleware 2005 [electronic resource] : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings / edited by Gustavo Alonso.

by Alonso, Gustavo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3790Source: 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
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings / edited by Asaf Adi, Suzette Stoutenburg, Said Tabet.

by Adi, Asaf [editor.] | Stoutenburg, Suzette [editor.] | Tabet, Said [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3791Source: 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
Software Process Improvement [electronic resource] : 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings / edited by Ita Richardson, Pekka Abrahamsson, Richard Messnarz.

by Richardson, Ita [editor.] | Abrahamsson, Pekka [editor.] | Messnarz, Richard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3792Source: 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
High Performance Embedded Architectures and Compilers [electronic resource] : First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings / edited by Tom Conte, Nacho Navarro, Wen-mei W. Hwu, Mateo Valero, Theo Ungerer.

by Conte, Tom [editor.] | Navarro, Nacho [editor.] | Hwu, Wen-mei W [editor.] | Valero, Mateo [editor.] | Ungerer, Theo [editor.] | SpringerLink (Online service).

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

Powered by Koha