Your search returned 797 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao.

by Davies, Jim [editor.] | Silva, Leila [editor.] | Simao, Adenilso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6527Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino.

by Abdulla, Parosh Aziz [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6605Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi.

by Bobaru, Mihaela [editor.] | Havelund, Klaus [editor.] | Holzmann, Gerard J [editor.] | Joshi, Rajeev [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6617Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos.

by Omicini, Andrea [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6619Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Functional and Constraint Logic Programming [electronic resource] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers / edited by Julio Mariño.

by Mariño, Julio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6559Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers / edited by Juergen Dingel, Arnor Solberg.

by Dingel, Juergen [editor.] | Solberg, Arnor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6627Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Reliable Software Technologies - Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega.

by Romanovsky, Alexander [editor.] | Vardanega, Tullio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6652Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte.

by Butler, Michael [editor.] | Schulte, Wolfram [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6664Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel.

by Bruni, Roberto [editor.] | Dingel, Juergen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6722Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige.

by France, Robert B [editor.] | Kuester, Jochen M [editor.] | Bordbar, Behzad [editor.] | Paige, Richard F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6698Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
System Analysis and Modeling: About Models [electronic resource] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers / edited by Frank Alexander Kraemer, Peter Herrmann.

by Kraemer, Frank Alexander [editor.] | Herrmann, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6598Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Theory and Practice of Model Transformations [electronic resource] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings / edited by Jordi Cabot, Eelco Visser.

by Cabot, Jordi [editor.] | Visser, Eelco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6707Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff.

by Gogolla, Martin [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6706Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Applications and Theory of Petri Nets [electronic resource] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci.

by Kristensen, Lars M [editor.] | Petrucci, Laure [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6709Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Objects, Models, Components, Patterns [electronic resource] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings / edited by Judith Bishop, Antonio Vallecillo.

by Bishop, Judith [editor.] | Vallecillo, Antonio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6705Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Transactions on Aspect-Oriented Software Development VIII [electronic resource] / edited by Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen.

by Katz, Shmuel [editor.] | Mezini, Mira [editor.] | Schwanninger, Christine [editor.] | Joosen, Wouter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6580Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Software Composition [electronic resource] : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings / edited by Sven Apel, Ethan Jackson.

by Apel, Sven [editor.] | Jackson, Ethan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6708Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer.

by Gopalakrishnan, Ganesh [editor.] | Qadeer, Shaz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6806Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi.

by Groce, Alex [editor.] | Musuvathi, Madanlal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6823Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings / edited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre.

by Leite, João [editor.] | Torroni, Paolo [editor.] | Ågotnes, Thomas [editor.] | Boella, Guido [editor.] | Torre, Leon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6814Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha