Your search returned 49 results.

Not what you expected? Check for suggestions
E-BOOKS
Foundations of Security Analysis and Design IV [electronic resource] : FOSAD 2006/2007 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri.

by Aldini, Alessandro [editor.] | Gorrieri, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4677Source: 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): .

E-BOOKS
Advances in Computer Science – ASIAN 2007. Computer and Network Security [electronic resource] : 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings / edited by Iliano Cervesato.

by Cervesato, Iliano [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4846Source: 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): .

E-BOOKS
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues [electronic resource] : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers / edited by Mitsu Okada, Ichiro Satoh.

by Okada, Mitsu [editor.] | Satoh, Ichiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4435Source: 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): .

E-BOOKS
Object-Oriented Technology. ECOOP 2007 Workshop Reader [electronic resource] : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports / edited by Michael Cebulla.

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

Series: Lecture Notes in Computer Science ; 4906Source: 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): .

E-BOOKS
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel.

by Dumas, Marlon [editor.] | Heckel, Reiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4937Source: 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): .

E-BOOKS
ECOOP 2009 – Object-Oriented Programming [electronic resource] : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings / edited by Sophia Drossopoulou.

by Drossopoulou, Sophia [editor.] | SpringerLink (Online service).

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

E-BOOKS
Domain-Specific Languages [electronic resource] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings / edited by Walid Mohamed Taha.

by Taha, Walid Mohamed [editor.] | SpringerLink (Online service).

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

E-BOOKS
Foundations of Security Analysis and Design V [electronic resource] : FOSAD 2007/2008/2009 Tutorial Lectures / edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri.

by Aldini, Alessandro [editor.] | Barthe, Gilles [editor.] | Gorrieri, Roberto [editor.] | SpringerLink (Online service).

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

E-BOOKS
Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by David S. Rosenblum, Gabriele Taentzer.

by Rosenblum, David S [editor.] | Taentzer, Gabriele [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6013Source: 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): .

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): .

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): .

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): .

E-BOOKS
Software Architecture [electronic resource] : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings / edited by Muhammad Ali Babar, Ian Gorton.

by Babar, Muhammad Ali [editor.] | Gorton, Ian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6285Source: 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): .

E-BOOKS
Transactions on Aspect-Oriented Software Development VII [electronic resource] : A Common Case Study for Aspect-Oriented Modeling / edited by Shmuel Katz, Mira Mezini, Jörg Kienzle.

by Katz, Shmuel [editor.] | Mezini, Mira [editor.] | Kienzle, Jörg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6210Source: 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): .

E-BOOKS
Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 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 Dimitra Giannakopoulou, Fernando Orejas.

by Giannakopoulou, Dimitra [editor.] | Orejas, Fernando [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6603Source: 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
ECOOP 2011 – Object-Oriented Programming [electronic resource] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings / edited by Mira Mezini.

by Mezini, Mira [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6813Source: 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
Foundations of Security Analysis and Design VI [electronic resource] : FOSAD Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri.

by Aldini, Alessandro [editor.] | Gorrieri, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6858Source: 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 Architecture [electronic resource] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings / edited by Ivica Crnkovic, Volker Gruhn, Matthias Book.

by Crnkovic, Ivica [editor.] | Gruhn, Volker [editor.] | Book, Matthias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6903Source: 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
SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers / edited by Iulian Ober, Ileana Ober.

by Ober, Iulian [editor.] | Ober, Ileana [editor.] | SpringerLink (Online service).

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