Your search returned 1605 results.

Not what you expected? Check for suggestions
E-BOOKS
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet.

by Barthe, Gilles [editor.] | Grégoire, Benjamin [editor.] | Huisman, Marieke [editor.] | Lanet, Jean-Louis [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Rapid Integration of Software Engineering Techniques [electronic resource] : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers / edited by Nicolas Guelfi, Anthony Savidis.

by Guelfi, Nicolas [editor.] | Savidis, Anthony [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Agent-Oriented Software Engineering VI [electronic resource] : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers / edited by Jörg P. Müller, Franco Zambonelli.

by Müller, Jörg P [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison.

by Gilroy, Stephen W [editor.] | Harrison, Michael D [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / edited by Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi.

by Hnich, Brahim [editor.] | Carlsson, Mats [editor.] | Fages, François [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti.

by Bernardo, Marco [editor.] | Cimatti, Alessandro [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / edited by Wolfgang Grieskamp, Carsten Weise.

by Grieskamp, Wolfgang [editor.] | Weise, Carsten [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Natural Language Processing and Information Systems [electronic resource] : 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings / edited by Christian Kop, Günther Fliedl, Heinrich C. Mayr, Elisabeth Métais.

by Kop, Christian [editor.] | Fliedl, Günther [editor.] | Mayr, Heinrich C [editor.] | Métais, Elisabeth [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Roberto Gorrieri, Heike Wehrheim.

by Gorrieri, Roberto [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings / edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi.

by Abrahamsson, Pekka [editor.] | Marchesi, Michele [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Distributed Applications and Interoperable Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Frank Eliassen, Alberto Montresor.

by Eliassen, Frank [editor.] | Montresor, Alberto [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Semantics of Concurrent Computation [electronic resource] : Proceedings of the International Symposium, Evian, France, July 2–4, 1979 / edited by Gilles Kahn.

by Kahn, Gilles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 70Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Online 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, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / edited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda.

by Boissier, Olivier [editor.] | Padget, Julian [editor.] | Dignum, Virginia [editor.] | Lindemann, Gabriela [editor.] | Matson, Eric [editor.] | Ossowski, Sascha [editor.] | Sichman, Jaime Simão [editor.] | Vázquez-Salceda, Javier [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings / edited by András Horváth, Miklós Telek.

by Horváth, András [editor.] | Telek, Miklós [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Developments in Language Theory [electronic resource] : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings / edited by Oscar H. Ibarra, Zhe Dang.

by Ibarra, Oscar H [editor.] | Dang, Zhe [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algebra, Meaning, and Computation [electronic resource] : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer.

by Futatsugi, Kokichi [editor.] | Jouannaud, Jean-Pierre [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers / edited by Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki.

by Yli-Jyrä, Anssi [editor.] | Karttunen, Lauri [editor.] | Karhumäki, Juhani [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings / edited by Ian Gorton, George T. Heineman, Ivica Crnković, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau.

by Gorton, Ian [editor.] | Heineman, George T [editor.] | Crnković, Ivica [editor.] | Schmidt, Heinz W [editor.] | Stafford, Judith A [editor.] | Szyperski, Clemens [editor.] | Wallnau, Kurt [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings / edited by Tarmo Uustalu.

by Uustalu, Tarmo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene.

by Johnson, Michael [editor.] | Vene, Varmo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha