Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic Based Program Synthesis and Transformation [electronic resource] : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / edited by Maurice Bruynooghe.

by Bruynooghe, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3018Source: 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
Architecting Dependable Systems II [electronic resource] / edited by Rogério Lemos, Cristina Gacek, Alexander Romanovsky.

by Lemos, Rogério [editor.] | Gacek, Cristina [editor.] | Romanovsky, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3069Source: 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
Probabilistic and Statistical Methods in Cryptology [electronic resource] : An Introduction by Selected Topics / by Daniel Neuenschwander.

by Neuenschwander, Daniel [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3028Source: 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 Information Systems [electronic resource] : 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13, 2003, Revised Selected Papers / edited by Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff.

by Giorgini, Paolo [editor.] | Henderson-Sellers, Brian [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3030Source: 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 Science - ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV / edited by Marian Bubak, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.

by Bubak, Marian [editor.] | Albada, Geert Dick [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3039Source: 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
Current Topics in Artificial Intelligence [electronic resource] : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers / edited by Ricardo Conejo, Maite Urretavizcaya, José-Luis Pérez-de-la-Cruz.

by Conejo, Ricardo [editor.] | Urretavizcaya, Maite [editor.] | Pérez-de-la-Cruz, José-Luis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3040Source: 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
Agent-Mediated Electronic Commerce V. Designing Mechanisms and Systems [electronic resource] : AAMAS 2003 Workshop, AMEC 2003, Melbourne, Australia, July 15, 2003, Revised Selected Papers / edited by Peyman Faratin, David C. Parkes, Juan A. Rodríguez-Aguilar, William E. Walsh.

by Faratin, Peyman [editor.] | Parkes, David C [editor.] | Rodríguez-Aguilar, Juan A [editor.] | Walsh, William E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3048Source: 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] : First International Conference, ICBA 2004, Hong Kong, China, July 15-17, 2004. Proceedings / edited by David Zhang, Anil K. Jain.

by Zhang, David [editor.] | Jain, Anil K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3072Source: 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
Intelligence and Security Informatics [electronic resource] : Second Symposium on Intelligence and Security Informatics, ISI 2004, Tucson, AZ, USA, June 10-11, 2004. Proceedings / edited by Hsinchun Chen, Reagan Moore, Daniel D. Zeng, John Leavitt.

by Chen, Hsinchun [editor.] | Moore, Reagan [editor.] | Zeng, Daniel D [editor.] | Leavitt, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3073Source: 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
Constraint Databases [electronic resource] : First International Symposium, CDB 2004, Paris, France, June 12-13, 2004. Proceedings / edited by Bart Kuijpers, Peter Revesz.

by Kuijpers, Bart [editor.] | Revesz, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3074Source: 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
Privacy in Statistical Databases [electronic resource] : CASC Project Final Conference, PSD 2004, Barcelona, Spain, June 9-11, 2004. Proceedings / edited by Josep Domingo-Ferrer, Vicenç Torra.

by Domingo-Ferrer, Josep [editor.] | Torra, Vicenç [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3050Source: 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
Flexible Query Answering Systems [electronic resource] : 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004. Proceedings / edited by Henning Christiansen, Mohand-Saïd Hacid, Troels Andreasen, Henrik Legind Larsen.

by Christiansen, Henning [editor.] | Hacid, Mohand-Saïd [editor.] | Andreasen, Troels [editor.] | Larsen, Henrik Legind [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3055Source: 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
Applications of Graph Transformations with Industrial Relevance [electronic resource] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / edited by John L. Pfaltz, Manfred Nagl, Boris Böhlen.

by Pfaltz, John L [editor.] | Nagl, Manfred [editor.] | Böhlen, Boris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3062Source: 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
Integer Programming and Combinatorial Optimization [electronic resource] : 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004. Proceedings / edited by Daniel Bienstock, George Nemhauser.

by Bienstock, Daniel [editor.] | Nemhauser, George [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3064Source: 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
Multiple Classifier Systems [electronic resource] : 5th International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004. Proceedings / edited by Fabio Roli, Josef Kittler, Terry Windeatt.

by Roli, Fabio [editor.] | Kittler, Josef [editor.] | Windeatt, Terry [editor.] | SpringerLink (Online service).

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