Your search returned 1007 results.

Not what you expected? Check for suggestions
E-BOOKS
Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers / edited by Sudipto Ghosh.

by Ghosh, Sudipto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6002Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / edited by Danny Schreye.

by Schreye, Danny [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6037Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Lectures on Software Engineering [electronic resource] : LASER Summer School 2007/2008 / edited by Peter Müller.

by Müller, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6029Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings / edited by Lars Grunske, Ralf Reussner, Frantisek Plasil.

by Grunske, Lars [editor.] | Reussner, Ralf [editor.] | Plasil, Frantisek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6092Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings / edited by Claude Bolduc, Jules Desharnais, Béchir Ktari.

by Bolduc, Claude [editor.] | Desharnais, Jules [editor.] | Ktari, Béchir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6120Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by John Hatcliff, Elena Zucca.

by Hatcliff, John [editor.] | Zucca, Elena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6117Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Reliable Software Technologiey – Ada-Europe 2010 [electronic resource] : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings / edited by Jorge Real, Tullio Vardanega.

by Real, Jorge [editor.] | Vardanega, Tullio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6106Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Modelling Foundations and Applications [electronic resource] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings / edited by Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier.

by Kühne, Thomas [editor.] | Selic, Bran [editor.] | Gervais, Marie-Pierre [editor.] | Terrier, François [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6138Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 and Theory of Petri Nets [electronic resource] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / edited by Johan Lilius, Wojciech Penczek.

by Lilius, Johan [editor.] | Penczek, Wojciech [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6128Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Theory and Practice of Model Transformations [electronic resource] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / edited by Laurence Tratt, Martin Gogolla.

by Tratt, Laurence [editor.] | Gogolla, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6142Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Research into Practice – Reality and Gaps [electronic resource] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings / edited by George T. Heineman, Jan Kofron, Frantisek Plasil.

by Heineman, George T [editor.] | Kofron, Jan [editor.] | Plasil, Frantisek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6093Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Objects, Models, Components, Patterns [electronic resource] : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings / edited by Jan Vitek.

by Vitek, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6141Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings / edited by Gordon Fraser, Angelo Gargantini.

by Fraser, Gordon [editor.] | Gargantini, Angelo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6143Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings / edited by Benoît Baudry, Eric Wohlstadter.

by Baudry, Benoît [editor.] | Wohlstadter, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6144Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson.

by Kaufmann, Matt [editor.] | Paulson, Lawrence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6172Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 2010 – Object-Oriented Programming [electronic resource] : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings / edited by Theo D’Hondt.

by D’Hondt, Theo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6183Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Theory and Applications of Satisfiability Testing – SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider.

by Strichman, Ofer [editor.] | Szeider, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6175Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz.

by Aloni, Maria [editor.] | Bastiaanse, Harald [editor.] | Jager, Tikitu [editor.] | Schulz, Katrin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6042Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson.

by Touili, Tayssir [editor.] | Cook, Byron [editor.] | Jackson, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6174Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook.

by Borba, Paulo [editor.] | Cavalcanti, Ana [editor.] | Sampaio, Augusto [editor.] | Woodcook, Jim [editor.] | SpringerLink (Online service).

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