Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché.

by Beckert, Bernhard [editor.] | Marché, Claude [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information Security [electronic resource] : 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers / edited by Mike Burmester, Gene Tsudik, Spyros Magliveras, Ivana Ilić.

by Burmester, Mike [editor.] | Tsudik, Gene [editor.] | Magliveras, Spyros [editor.] | Ilić, Ivana [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Agents for Games and Simulations II [electronic resource] : Trends in Techniques, Concepts and Design / edited by Frank Dignum.

by Dignum, Frank [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Performance Evaluation, Measurement and Characterization of Complex Systems [electronic resource] : Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess.

by Nambiar, Raghunath [editor.] | Poess, Meikel [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Maciej Koutny.

by Jensen, Kurt [editor.] | Donatelli, Susanna [editor.] | Koutny, Maciej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6550Source: 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
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt.

by Jhala, Ranjit [editor.] | Schmidt, David [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Multi-Agent-Based Simulation XI [electronic resource] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker.

by Bosse, Tibor [editor.] | Geller, Armando [editor.] | Jonker, Catholijn M [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury.

by Rocha, Ricardo [editor.] | Launchbury, John [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
SOFSEM 2011: Theory and Practice of Computer Science [electronic resource] : 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings / edited by Ivana Černá, Tibor Gyimóthy, Juraj Hromkovič, Keith Jefferey, Rastislav Králović, Marko Vukolić, Stefan Wolf.

by Černá, Ivana [editor.] | Gyimóthy, Tibor [editor.] | Hromkovič, Juraj [editor.] | Jefferey, Keith [editor.] | Králović, Rastislav [editor.] | Vukolić, Marko [editor.] | Wolf, Stefan [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Distributed Computing and Internet Technology [electronic resource] : 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings / edited by Raja Natarajan, Adegboyega Ojo.

by Natarajan, Raja [editor.] | Ojo, Adegboyega [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings / edited by Úlfar Erlingsson, Roel Wieringa, Nicola Zannone.

by Erlingsson, Úlfar [editor.] | Wieringa, Roel [editor.] | Zannone, Nicola [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Architecture of Computing Systems - ARCS 2011 [electronic resource] : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings / edited by Mladen Berekovic, William Fornaciari, Uwe Brinkschulte, Cristina Silvano.

by Berekovic, Mladen [editor.] | Fornaciari, William [editor.] | Brinkschulte, Uwe [editor.] | Silvano, Cristina [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Self-Organizing Systems [electronic resource] : 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24. 2011. Proceedings / edited by Christian Bettstetter, Carlos Gershenson.

by Bettstetter, Christian [editor.] | Gershenson, Carlos [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Wireless Sensor Networks [electronic resource] : 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011. Proceedings / edited by Pedro José Marrón, Kamin Whitehouse.

by Marrón, Pedro José [editor.] | Whitehouse, Kamin [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Agent-Oriented Software Engineering X [electronic resource] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz.

by Gleizes, Marie-Pierre [editor.] | Gomez-Sanz, Jorge J [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Hardware and Software: Verification and Testing [electronic resource] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv.

by Namjoshi, Kedar [editor.] | Zeller, Andreas [editor.] | Ziv, Avi [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Passive and Active Measurement [electronic resource] : 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings / edited by Neil Spring, George F. Riley.

by Spring, Neil [editor.] | Riley, George F [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
High Performance Computing for Computational Science – VECPAR 2010 [electronic resource] : 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers / edited by José M. Laginha M. Palma, Michel Daydé, Osni Marques, João Correia Lopes.

by Palma, José M. Laginha M [editor.] | Daydé, Michel [editor.] | Marques, Osni [editor.] | Lopes, João Correia [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Service-Oriented Computing [electronic resource] : ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers / edited by E. Michael Maximilien, Gustavo Rossi, Soe-Tsyr Yuan, Heiko Ludwig, Marcelo Fantinato.

by Maximilien, E. Michael [editor.] | Rossi, Gustavo [editor.] | Yuan, Soe-Tsyr [editor.] | Ludwig, Heiko [editor.] | Fantinato, Marcelo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Transactions on Pattern Languages of Programming II [electronic resource] : Special Issue on Applying Patterns / edited by James Noble, Ralph Johnson, Paris Avgeriou, Neil B. Harrison, Uwe Zdun.

by Noble, James [editor.] | Johnson, Ralph [editor.] | Avgeriou, Paris [editor.] | Harrison, Neil B [editor.] | Zdun, Uwe [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha