Your search returned 2308 results.

Not what you expected? Check for suggestions
E-BOOKS
Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / edited by Jean-Raymond Abrial, Uwe Glässer.

by Abrial, Jean-Raymond [editor.] | Glässer, Uwe [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Structural Information and Communication Complexity [electronic resource] : 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers / edited by Shay Kutten, Janez Žerovnik.

by Kutten, Shay [editor.] | Žerovnik, Janez [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5869Source: 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
Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.

by Dams, Dennis [editor.] | Hannemann, Ulrich [editor.] | Steffen, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5930Source: 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
Grid Resource Management [electronic resource] : On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources / by Mumtaz Siddiqui, Thomas Fahringer.

by Siddiqui, Mumtaz [author.] | Fahringer, Thomas [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5951Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Transactions on Computational Systems Biology XII [electronic resource] : Special Issue on Modeling Methodologies / edited by Corrado Priami, Rainer Breitling, David Gilbert, Monika Heiner, Adelinde M. Uhrmacher.

by Priami, Corrado [editor.] | Breitling, Rainer [editor.] | Gilbert, David [editor.] | Heiner, Monika [editor.] | Uhrmacher, Adelinde M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5945Source: 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
Theory of Cryptography [electronic resource] : 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings / edited by Daniele Micciancio.

by Micciancio, Daniele [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5978Source: 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
Graph Drawing [electronic resource] : 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers / edited by David Eppstein, Emden R. Gansner.

by Eppstein, David [editor.] | Gansner, Emden R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5849Source: 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
Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves.

by Frappier, Marc [editor.] | Glässer, Uwe [editor.] | Khurshid, Sarfraz [editor.] | Laleau, Régine [editor.] | Reeves, Steve [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5977Source: 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
Adaptive and Learning Agents [electronic resource] : Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers / edited by Matthew E. Taylor, Karl Tuyls.

by Taylor, Matthew E [editor.] | Tuyls, Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5924Source: 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
Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / edited by Sebastian Link, Henri Prade.

by Link, Sebastian [editor.] | Prade, Henri [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5956Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems / by Gabriele Puppis.

by Puppis, Gabriele [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5955Source: 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
Wireless Sensor Networks [electronic resource] : 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings / edited by Jorge Sá Silva, Bhaskar Krishnamachari, Fernando Boavida.

by Silva, Jorge Sá [editor.] | Krishnamachari, Bhaskar [editor.] | Boavida, Fernando [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5970Source: 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
Topics in Cryptology - CT-RSA 2010 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings / edited by Josef Pieprzyk.

by Pieprzyk, Josef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5985Source: 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
Compiler Construction [electronic resource] : 19th International Conference, CC 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 Rajiv Gupta.

by Gupta, Rajiv [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6011Source: 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
Intelligent Information and Database Systems [electronic resource] : Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part II / edited by Ngoc Thanh Nguyen, Manh Thanh Le, Jerzy Świątek.

by Nguyen, Ngoc Thanh [editor.] | Le, Manh Thanh [editor.] | Świątek, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5991Source: 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
Computational Linguistics and Intelligent Text Processing [electronic resource] : 11th International Conference, CICLing 2010, Iaşi, Romania, March 21-27, 2010. Proceedings / edited by Alexander Gelbukh.

by Gelbukh, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6008Source: 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
Multiple Classifier Systems [electronic resource] : 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010. Proceedings / edited by Neamat Gayar, Josef Kittler, Fabio Roli.

by Gayar, Neamat [editor.] | Kittler, Josef [editor.] | Roli, Fabio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5997Source: 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
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings / edited by Phaophak Sirisuk, Fearghal Morgan, Tarek El-Ghazawi, Hideharu Amano.

by Sirisuk, Phaophak [editor.] | Morgan, Fearghal [editor.] | El-Ghazawi, Tarek [editor.] | Amano, Hideharu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5992Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings / edited by Peter Cowling, Peter Merz.

by Cowling, Peter [editor.] | Merz, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6022Source: 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
Intelligent Information and Database Systems [electronic resource] : Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part I / edited by Ngoc Thanh Nguyen, Manh Thanh Le, Jerzy Świątek.

by Nguyen, Ngoc Thanh [editor.] | Le, Manh Thanh [editor.] | Świątek, Jerzy [editor.] | SpringerLink (Online service).

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

Powered by Koha