Your search returned 795 results.

Not what you expected? Check for suggestions
E-BOOKS
Principles of Distributed Systems [electronic resource] : 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings / edited by Theodore P. Baker, Alain Bui, Sébastien Tixeuil.

by Baker, Theodore P [editor.] | Bui, Alain [editor.] | Tixeuil, Sébastien [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf.

by Bruni, Roberto [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5387Source: 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
Progress in Cryptology – AFRICACRYPT 2009 [electronic resource] : Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009. Proceedings / edited by Bart Preneel.

by Preneel, Bart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5580Source: 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
Ubiquitous Intelligence and Computing [electronic resource] : 6th International Conference, UIC 2009, Brisbane, Australia, July 7-9, 2009. Proceedings / edited by Daqing Zhang, Marius Portmann, Ah-Hwee Tan, Jadwiga Indulska.

by Zhang, Daqing [editor.] | Portmann, Marius [editor.] | Tan, Ah-Hwee [editor.] | Indulska, Jadwiga [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5585Source: 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
Computing and Combinatorics [electronic resource] : 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings / edited by Hung Q. Ngo.

by Ngo, Hung Q [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5609Source: 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
Automated Deduction – CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / edited by Renate A. Schmidt.

by Schmidt, Renate A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5663Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel.

by Berghofer, Stefan [editor.] | Nipkow, Tobias [editor.] | Urban, Christian [editor.] | Wenzel, Makarius [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5674Source: 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
Architecting Dependable Systems VI [electronic resource] / edited by Rogério Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice Beek.

by Lemos, Rogério [editor.] | Fabre, Jean-Charles [editor.] | Gacek, Cristina [editor.] | Gadducci, Fabio [editor.] | Beek, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5835Source: 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
The Semantic Web [electronic resource] : Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2009. Proceedings / edited by Asunción Gómez-Pérez, Yong Yu, Ying Ding.

by Gómez-Pérez, Asunción [editor.] | Yu, Yong [editor.] | Ding, Ying [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5926Source: 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
Advanced Information Systems Engineering [electronic resource] : 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings / edited by Barbara Pernici.

by Pernici, Barbara [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6051Source: 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
Global Perspectives on Design Science Research [electronic resource] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings. / edited by Robert Winter, J. Leon Zhao, Stephan Aier.

by Winter, Robert [editor.] | Zhao, J. Leon [editor.] | Aier, Stephan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6105Source: 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
Product-Focused Software Process Improvement [electronic resource] : 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings / edited by M. Ali Babar, Matias Vierimaa, Markku Oivo.

by Ali Babar, M [editor.] | Vierimaa, Matias [editor.] | Oivo, Markku [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6156Source: 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
Computing and Combinatorics [electronic resource] : 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings / edited by My T. Thai, Sartaj Sahni.

by Thai, My T [editor.] | Sahni, Sartaj [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6196Source: 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
Transactions on Data Hiding and Multimedia Security V [electronic resource] / edited by Yun Q. Shi.

by Shi, Yun Q [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6010Source: 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
Financial Cryptography and Data Security [electronic resource] : 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers / edited by Radu Sion.

by Sion, Radu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6052Source: 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
Progress in Cryptology – LATINCRYPT 2010 [electronic resource] : First International Conference on Cryptology and Information Security in Latin America, Puebla, Mexico, August 8-11, 2010, proceedings / edited by Michel Abdalla, Paulo S. L. M. Barreto.

by Abdalla, Michel [editor.] | Barreto, Paulo S. L. M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6212Source: 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
Testing – Practice and Research Techniques [electronic resource] : 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings / edited by Leonardo Bottaci, Gordon Fraser.

by Bottaci, Leonardo [editor.] | Fraser, Gordon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6303Source: 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
Provable Security [electronic resource] : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings / edited by Swee-Huay Heng, Kaoru Kurosawa.

by Heng, Swee-Huay [editor.] | Kurosawa, Kaoru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6402Source: 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
Architecting Dependable Systems VII [electronic resource] / edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek.

by Casimiro, Antonio [editor.] | Lemos, Rogério [editor.] | Gacek, Cristina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6420Source: 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
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation [electronic resource] : In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman / edited by Oded Goldreich.

by Goldreich, Oded [editor.] | SpringerLink (Online service).

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