Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt.

by Beckert, Bernhard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4334Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Requirements Engineering: Foundation for Software Quality [electronic resource] : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings / edited by Barbara Paech, Colette Rolland.

by Paech, Barbara [editor.] | Rolland, Colette [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5025Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 Configuration Management [electronic resource] : ICSE'97 SCM-7 Workshop Boston, MA, USA, May 18–19, 1997 Proceedings / edited by Reidar Conradi.

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

Series: Lecture Notes in Computer Science ; 1235Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
ECOOP’98 — Object-Oriented Programming [electronic resource] : 12th European Conference Brussels, Belgium, July 20–24, 1998 Proceedings / edited by Eric Jul.

by Jul, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1445Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Logical Foundations of Computer Science [electronic resource] : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings / edited by Sergei Adian, Anil Nerode.

by Adian, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1234Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Approximation Algorithms for Combinatiorial Optimization [electronic resource] : International Workshop APPROX'98 Aalborg, Denmark, July 18–19, 1998 Proceedings / edited by Klaus Jansen, José Rolim.

by Jansen, Klaus [editor.] | Rolim, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1444Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Combinatorial Pattern Matching [electronic resource] : 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings / edited by Paolo Ferragina, Gad M. Landau.

by Ferragina, Paolo [editor.] | Landau, Gad M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5029Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Information Processing in Medical Imaging [electronic resource] : 15th International Conference, IPMI'97 Poultney, Vermont, USA, June 9–13, 1997 Proceedings / edited by James Duncan, Gene Gindi.

by Duncan, James [editor.] | Gindi, Gene [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1230Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / edited by Holger Giese.

by Giese, Holger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5002Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Biological and Artificial Computation: From Neuroscience to Technology [electronic resource] : International Work-Conference on Artificial and Natural Neural Networks, IWANN'97 Lanzarote, Canary Islands, Spain, June 4–6, 1997 Proceedings / edited by José Mira, Roberto Moreno-Díaz, Joan Cabestany.

by Mira, José [editor.] | Moreno-Díaz, Roberto [editor.] | Cabestany, Joan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1240Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Critical Information Infrastructures Security [electronic resource] : First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006. Revised Papers / edited by Javier Lopez.

by Lopez, Javier [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4347Source: 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
System Configuration Management [electronic resource] : ECOOP'98 SCM-8 Symposium Brussels, Belgium, July 20–21, 1998 Proceedings / edited by Boris Magnusson.

by Magnusson, Boris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1439Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : Second International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers / edited by Sotiris E. Nikoletseas, José D. P. Rolim.

by Nikoletseas, Sotiris E [editor.] | Rolim, José D. P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4240Source: 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
Membrane Computing [electronic resource] : 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers / edited by Hendrik Jan Hoogeboom, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Hoogeboom, Hendrik Jan [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4361Source: 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
Model Driven Architecture – Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / edited by Ina Schieferdecker, Alan Hartman.

by Schieferdecker, Ina [editor.] | Hartman, Alan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5095Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Information Security and Privacy [electronic resource] : Third Australasian Conference, ACISP’98 Brisbane, Australia, July 13–15, 1998 Proceedings / edited by Colin Boyd, Ed Dawson.

by Boyd, Colin [editor.] | Dawson, Ed [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1438Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Intelligent Agents for Telecommunication Applications [electronic resource] : Second International Workshop, IATA'98 Paris, France, July 4–7, 1998 Proceedings / edited by Sahin Albayrak, Francisco J. Garijo.

by Albayrak, Sahin [editor.] | Garijo, Francisco J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1437Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Automata Implementation [electronic resource] : Second International Workshop on Implementing Automata, WIA'97 London, Ontario, Canada September 18–20, 1997 Revised Papers / edited by Derick Wood, Sheng Yu.

by Wood, Derick [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1436Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 [electronic resource] : First International Workshop on Practice and Theory in Public Key Cryptography, PKC'98 Pacifico Yokohama, Japan, February 5–6, 1998 Proceedings / edited by Hideki Imai, Yuliang Zheng.

by Imai, Hideki [editor.] | Zheng, Yuliang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1431Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Algorithm Theory — SWAT'98 [electronic resource] : 6th Scandinavian Workshop on Algorithm Theory Stockholm, Sweden, July 8–10, 1998 Proceedings / edited by Stefan Arnborg, Lars Ivansson.

by Arnborg, Stefan [editor.] | Ivansson, Lars [editor.] | SpringerLink (Online service).

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