Your search returned 811 results.

Not what you expected? Check for suggestions
E-BOOKS
Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Matthew B. Dwyer, Antónia Lopes.

by Dwyer, Matthew B [editor.] | Lopes, Antónia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4422Source: 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
Programming Languages and Systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Rocco Nicola.

by Nicola, Rocco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4421Source: 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
Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / edited by Thomas Reps, Mooly Sagiv, Jörg Bauer.

by Reps, Thomas [editor.] | Sagiv, Mooly [editor.] | Bauer, Jörg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4444Source: 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
Foundations of Software Science and Computational Structures [electronic resource] : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings / edited by Helmut Seidl.

by Seidl, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4423Source: 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
Object-Oriented Technology. ECOOP 2006 Workshop Reader [electronic resource] : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports / edited by Mario Südholt, Charles Consel.

by Südholt, Mario [editor.] | Consel, Charles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4379Source: 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
Advances in Smalltalk [electronic resource] : 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers / edited by Wolfgang Meuter.

by Meuter, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4406Source: 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
Programming Multi-Agent Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni.

by Bordini, Rafael H [editor.] | Dastani, Mehdi [editor.] | Dix, Jürgen [editor.] | Seghrouchni, Amal El Fallah [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4411Source: 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
Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston.

by Bernardo, Marco [editor.] | Hillston, Jane [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4486Source: 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
Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Jadwiga Indulska, Kerry Raymond.

by Indulska, Jadwiga [editor.] | Raymond, Kerry [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4531Source: 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
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Marcello M. Bonsangue, Einar Broch Johnsen.

by Bonsangue, Marcello M [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4468Source: 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
Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings / edited by Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp.

by Petrenko, Alexandre [editor.] | Veanes, Margus [editor.] | Tretmans, Jan [editor.] | Grieskamp, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4581Source: 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
Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings / edited by Giulio Concas, Ernesto Damiani, Marco Scotto, Giancarlo Succi.

by Concas, Giulio [editor.] | Damiani, Ernesto [editor.] | Scotto, Marco [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4536Source: 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
Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner.

by Comon-Lundh, Hubert [editor.] | Kirchner, Claude [editor.] | Kirchner, Hélène [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4600Source: 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
Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / edited by Jim Davies, Jeremy Gibbons.

by Davies, Jim [editor.] | Gibbons, Jeremy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4591Source: 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
Typed Lambda Calculi and Applications [electronic resource] : 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / edited by Simona Ronchi Rocca.

by Rocca, Simona Ronchi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4583Source: 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
Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bošnački, Stefan Edelkamp.

by Bošnački, Dragan [editor.] | Edelkamp, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4595Source: 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
Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader.

by Baader, Franz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4533Source: 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
Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford.

by Schmidt, Heinz W [editor.] | Crnkovic, Ivica [editor.] | Heineman, George T [editor.] | Stafford, Judith A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4608Source: 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
ECOOP 2007 – Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings / edited by Erik Ernst.

by Ernst, Erik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4609Source: 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
Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers / edited by Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi.

by Azevedo, Francisco [editor.] | Barahona, Pedro [editor.] | Fages, François [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4651Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha