Your search returned 317 results.

Not what you expected? Check for suggestions
E-BOOKS
Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I / edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.

by Jeannot, Emmanuel [editor.] | Namyst, Raymond [editor.] | Roman, Jean [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6852Source: 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
Search Based Software Engineering [electronic resource] : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings / edited by Myra B. Cohen, Mel Ó Cinnéide.

by Cohen, Myra B [editor.] | Ó Cinnéide, Mel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6956Source: 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
Network and Parallel Computing [electronic resource] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings / edited by Erik Altman, Weisong Shi.

by Altman, Erik [editor.] | Shi, Weisong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6985Source: 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
Dependable and Historic Computing [electronic resource] : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday / edited by Cliff B. Jones, John L. Lloyd.

by Jones, Cliff B [editor.] | Lloyd, John L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6875Source: 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
Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers / edited by Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue.

by Aichernig, Bernhard K [editor.] | Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Architecture of Computing Systems – ARCS 2012 [electronic resource] : 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings / edited by Andreas Herkersdorf, Kay Römer, Uwe Brinkschulte.

by Herkersdorf, Andreas [editor.] | Römer, Kay [editor.] | Brinkschulte, Uwe [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person.

by Goodloe, Alwyn E [editor.] | Person, Suzette [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Dependable Networks and Services [electronic resource] : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings / edited by Ramin Sadre, Jiří Novotný, Pavel Čeleda, Martin Waldburger, Burkhard Stiller.

by Sadre, Ramin [editor.] | Novotný, Jiří [editor.] | Čeleda, Pavel [editor.] | Waldburger, Martin [editor.] | Stiller, Burkhard [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Grid and Pervasive Computing [electronic resource] : 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings / edited by Ruixuan Li, Jiannong Cao, Julien Bourgeois.

by Li, Ruixuan [editor.] | Cao, Jiannong [editor.] | Bourgeois, Julien [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Distributed Applications and Interoperable Systems [electronic resource] : 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Karl Michael Göschka, Seif Haridi.

by Göschka, Karl Michael [editor.] | Haridi, Seif [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Victor Pankratius, Michael Philippsen.

by Pankratius, Victor [editor.] | Philippsen, Michael [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Euro-Par 2012 Parallel Processing [electronic resource] : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings / edited by Christos Kaklamanis, Theodore Papatheodorou, Paul G. Spirakis.

by Kaklamanis, Christos [editor.] | Papatheodorou, Theodore [editor.] | Spirakis, Paul G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7484Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Search Based Software Engineering [electronic resource] : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings / edited by Gordon Fraser, Jerffeson Teixeira de Souza.

by Fraser, Gordon [editor.] | Teixeira de Souza, Jerffeson [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7515Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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 Engineering for Resilient Systems [electronic resource] : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings / edited by Paris Avgeriou.

by Avgeriou, Paris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7527Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7609Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7610Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Network and Parallel Computing [electronic resource] : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings / edited by James J. Park, Albert Zomaya, Sang-Soo Yeo, Sartaj Sahni.

by Park, James J [editor.] | Zomaya, Albert [editor.] | Yeo, Sang-Soo [editor.] | Sahni, Sartaj [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7513Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn.

by Cirne, Walfredo [editor.] | Desai, Narayan [editor.] | Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7698Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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 Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue.

by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7542Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes.

by Cámara, Javier [editor.] | Lemos, Rogério [editor.] | Ghezzi, Carlo [editor.] | Lopes, Antónia [editor.] | SpringerLink (Online service).

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