Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Automated Deduction in Geometry [electronic resource] : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers / edited by Franz Winkler.

by Winkler, Franz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2930Source: 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
Formal Approaches to Software Testing [electronic resource] : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers / edited by Alexandre Petrenko, Andreas Ulrich.

by Petrenko, Alexandre [editor.] | Ulrich, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2931Source: 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
SOFSEM 2004: Theory and Practice of Computer Science [electronic resource] : 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 Proceedings / edited by Peter Emde Boas, Jaroslav Pokorný, Mária Bieliková, Július Štuller.

by Emde Boas, Peter [editor.] | Pokorný, Jaroslav [editor.] | Bieliková, Mária [editor.] | Štuller, Július [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2932Source: 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
Membrane Computing [electronic resource] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers / edited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Martín-Vide, Carlos [editor.] | Mauri, Giancarlo [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2933Source: 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
Agent-Oriented Software Engineering IV [electronic resource] : 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers / edited by Paolo Giorgini, Jörg P. Müller, James Odell.

by Giorgini, Paolo [editor.] | Müller, Jörg P [editor.] | Odell, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2935Source: 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
Artificial Evolution [electronic resource] : 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers / edited by Pierre Liardet, Pierre Collet, Cyril Fonlupt, Evelyne Lutton, Marc Schoenauer.

by Liardet, Pierre [editor.] | Collet, Pierre [editor.] | Fonlupt, Cyril [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2936Source: 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
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings / edited by Bernhard Steffen, Giorgio Levi.

by Steffen, Bernhard [editor.] | Levi, Giorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2937Source: 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
Agent-Based Hybrid Intelligent Systems [electronic resource] : An Agent-Based Framework for Complex Problem Solving / by Zili Zhang, Chengqi Zhang.

by Zhang, Zili [author.] | Zhang, Chengqi [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2938Source: 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
Digital Watermarking [electronic resource] : Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003. Revised Papers / edited by Ton Kalker, Ingemar Cox, Yong Man Ro.

by Kalker, Ton [editor.] | Cox, Ingemar [editor.] | Ro, Yong Man [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2939Source: 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
Software Engineering for Multi-Agent Systems II [electronic resource] : Research Issues and Practical Applications / edited by Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S. C. Alencar.

by Lucena, Carlos [editor.] | Garcia, Alessandro [editor.] | Romanovsky, Alexander [editor.] | Castro, Jaelson [editor.] | Alencar, Paulo S. C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2940Source: 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
Radical Innovations of Software and Systems Engineering in the Future [electronic resource] : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers / edited by Martin Wirsing, Alexander Knapp, Simonetta Balsamo.

by Wirsing, Martin [editor.] | Knapp, Alexander [editor.] | Balsamo, Simonetta [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2941Source: 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
Foundations of Information and Knowledge Systems [electronic resource] : Third International Symposium, FoIKS 2004 Wilheminenburg Castle, Austria, February 17-20, 2004 Proceedings / edited by Dietmar Seipel, José María Turull-Torres.

by Seipel, Dietmar [editor.] | Turull-Torres, José María [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2942Source: 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
DNA Computing [electronic resource] : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003. Revised Papers / edited by Junghuei Chen, John Reif.

by Chen, Junghuei [editor.] | Reif, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2943Source: 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
Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : First International Workshop, DBISP2P 2003 Berlin, Germany, September 7 - 8, 2003 Revised Papers / edited by Karl Aberer, Manolis Koubarakis, Vana Kalogeraki.

by Aberer, Karl [editor.] | Koubarakis, Manolis [editor.] | Kalogeraki, Vana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2944Source: 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
Computational Linguistics and Intelligent Text Processing [electronic resource] : 5th International Conference, CICLing 2004 Seoul, Korea, February 15-21, 2004 Proceedings / edited by Alexander Gelbukh.

by Gelbukh, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2945Source: 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
Foundations of Security Analysis and Design II [electronic resource] : FOSAD 2001/2002 Tutorial Lectures / edited by Riccardo Focardi, Roberto Gorrieri.

by Focardi, Riccardo [editor.] | Gorrieri, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2946Source: 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
Public Key Cryptography – PKC 2004 [electronic resource] : 7th International Workshop on Theory and Practice in Public Key Cryptography, Singapore, March 1-4, 2004. Proceedings / edited by Feng Bao, Robert Deng, Jianying Zhou.

by Bao, Feng [editor.] | Deng, Robert [editor.] | Zhou, Jianying [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2947Source: 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
Finite Fields and Applications [electronic resource] : 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003. Revised Papers / edited by Gary L. Mullen, Alain Poli, Henning Stichtenoth.

by Mullen, Gary L [editor.] | Poli, Alain [editor.] | Stichtenoth, Henning [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2948Source: 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
Coordination Models and Languages [electronic resource] : 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings / edited by Rocco Nicola, Gian-Luigi Ferrari, Greg Meredith.

by Nicola, Rocco [editor.] | Ferrari, Gian-Luigi [editor.] | Meredith, Greg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2949Source: 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
Aspects of Molecular Computing [electronic resource] : Essays Dedicated to Tom Head, on the Occasion of His 70th Birthday / edited by Nataša Jonoska, Gheorghe Păun, Grzegorz Rozenberg.

by Jonoska, Nataša [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

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