Your search returned 5696 results.

Not what you expected? Check for suggestions
E-BOOKS
Model Checking Software [electronic resource] : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings / edited by Matthew Dwyer.

by Dwyer, Matthew [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2057Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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 Information Systems Engineering [electronic resource] : 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings / edited by Benkt Wangler, Lars Bergman.

by Wangler, Benkt [editor.] | Bergman, Lars [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1789Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Empirical Methods and Studies in Software Engineering [electronic resource] : Experiences from ESERNET / edited by Reidar Conradi, Alf Inge Wang.

by Conradi, Reidar [editor.] | Wang, Alf Inge [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2765Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Web Engineering [electronic resource] : Managing Diversity and Complexity of Web Application Development / edited by San Murugesan, Yogesh Deshpande.

by Murugesan, San [editor.] | Deshpande, Yogesh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2016Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Parallel Computing Technologies [electronic resource] : 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003. Proceedings / edited by Victor E. Malyshkin.

by Malyshkin, Victor E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2763Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003Online 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 - CRYPTO 2003 [electronic resource] : 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings / edited by Dan Boneh.

by Boneh, Dan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2729Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Performance Engineering [electronic resource] : State of the Art and Current Trends / edited by Reiner Dumke, Claus Rautenstrauch, André Scholz, Andreas Schmietendorf.

by Dumke, Reiner [editor.] | Rautenstrauch, Claus [editor.] | Scholz, André [editor.] | Schmietendorf, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2047Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Practice and Theory of Automated Timetabling IV [electronic resource] : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002. Selected Revised Papers / edited by Edmund Burke, Patrick Causmaecker.

by Burke, Edmund [editor.] | Causmaecker, Patrick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2740Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Iterative Software Engineering for Multiagent Systems [electronic resource] : The MASSIVE Method / edited by Jürgen Lind.

by Lind, Jürgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1994Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Machine Learning: ECML 2000 [electronic resource] : 11th European Conference on Machine Learning Barcelona, Catalonia, Spain, May 31 – June 2, 2000 Proceedings / edited by Ramon López de Mántaras, Enric Plaza.

by López de Mántaras, Ramon [editor.] | Plaza, Enric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1810Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Java on Smart Cards:Programming and Security [electronic resource] / edited by Isabelle Attali, Thomas Jensen.

by Attali, Isabelle [editor.] | Jensen, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2041Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Learning Theory and Kernel Machines [electronic resource] : 16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003. Proceedings / edited by Bernhard Schölkopf, Manfred K. Warmuth.

by Schölkopf, Bernhard [editor.] | Warmuth, Manfred K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2777Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Hierarchical Neural Networks for Image Interpretation [electronic resource] / by Sven Behnke.

by Behnke, Sven [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2766Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Innovative Concepts for Agent-Based Systems [electronic resource] : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers / edited by Walt Truszkowski, Mike Hinchey, Chris Rouff.

by Truszkowski, Walt [editor.] | Hinchey, Mike [editor.] | Rouff, Chris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2564Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Personal Wireless Communications [electronic resource] : IFIP TC6 11th International Conference, PWC 2006, Albacete, Spain, September 20-22, 2006. Proceedings / edited by Pedro Cuenca, Luiz Orozco-Barbosa.

by Cuenca, Pedro [editor.] | Orozco-Barbosa, Luiz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4217Source: 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
Architecting Dependable Systems [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 ; 2677Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Security Engineering with Patterns [electronic resource] : Origins, Theoretical Model, and New Applications / by Markus Schumacher.

by Schumacher, Markus [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2754Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Quality for All [electronic resource] : 4th COST 263 International Workshop on Quality of Future Internet Services, QoFIS 2003, Stockholm, Sweden, October 1-2, 2003. Proceedings / edited by Gunnar Karlsson, Michael I. Smirnov.

by Karlsson, Gunnar [editor.] | Smirnov, Michael I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2811Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 Technology [electronic resource] : 9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003. Proceedings / edited by Flavio Oquendo.

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

Series: Lecture Notes in Computer Science ; 2786Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Quality of Future Internet Services [electronic resource] : COST Action 263 Final Report / edited by Michael Smirnov.

by Smirnov, Michael [editor.] | SpringerLink (Online service).

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