Your search returned 1229 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov.

by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Gurov, Dilian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7421Source: 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
Information Security and Cryptology - ICISC 2011 [electronic resource] : 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised Selected Papers / edited by Howon Kim.

by Kim, Howon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7259Source: 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
Advances in Cryptology – CRYPTO 2012 [electronic resource] : 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings / edited by Reihaneh Safavi-Naini, Ran Canetti.

by Safavi-Naini, Reihaneh [editor.] | Canetti, Ran [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7417Source: 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
Information Theoretic Security [electronic resource] : 6th International Conference, ICITS 2012, Montreal, QC, Canada, August 15-17, 2012. Proceedings / edited by Adam Smith.

by Smith, Adam [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7412Source: 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
Trust, Privacy and Security in Digital Business [electronic resource] : 9th International Conference, TrustBus 2012, Vienna, Austria, September 3-7, 2012. Proceedings / edited by Simone Fischer-Hübner, Sokratis Katsikas, Gerald Quirchmayr.

by Fischer-Hübner, Simone [editor.] | Katsikas, Sokratis [editor.] | Quirchmayr, Gerald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7449Source: 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
Trusted Systems [electronic resource] : Third International Conference, INTRUST 2011, Beijing, China, November 27-29, 2011, Revised Selected Papers / edited by Liqun Chen, Moti Yung, Liehuang Zhu.

by Chen, Liqun [editor.] | Yung, Moti [editor.] | Zhu, Liehuang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7222Source: 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
Business System Management and Engineering [electronic resource] : From Open Issues to Applications / edited by Claudio A. Ardagna, Ernesto Damiani, Leszek A. Maciaszek, Michele Missikoff, Michael Parkin.

by Ardagna, Claudio A [editor.] | Damiani, Ernesto [editor.] | Maciaszek, Leszek A [editor.] | Missikoff, Michele [editor.] | Parkin, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7350Source: 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
ICT as Key Technology against Global Warming [electronic resource] : Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings / edited by Axel Auweter, Dieter Kranzlmüller, Amirreza Tahamtan, A Min Tjoa.

by Auweter, Axel [editor.] | Kranzlmüller, Dieter [editor.] | Tahamtan, Amirreza [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7453Source: 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
Topics in Performance Evaluation, Measurement and Characterization [electronic resource] : Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, 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 ; 7144Source: 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
Advancing Democracy, Government and Governance [electronic resource] : Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, Vienna, Austria, September 3-6, 2012. Proceedings / edited by Andrea Kő, Christine Leitner, Herbert Leitold, Alexander Prosser.

by Kő, Andrea [editor.] | Leitner, Christine [editor.] | Leitold, Herbert [editor.] | Prosser, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7452Source: 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
FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Méry.

by Giannakopoulou, Dimitra [editor.] | Méry, Dominique [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7436Source: 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
Communications and Multimedia Security [electronic resource] : 13th IFIP TC 6/TC 11 International Conference, CMS 2012, Canterbury, UK, September 3-5, 2012. Proceedings / edited by Bart Decker, David W. Chadwick.

by Decker, Bart [editor.] | Chadwick, David W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7394Source: 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
Information and Communication Technologies [electronic resource] : 18th EUNICE/ IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012. Proceedings / edited by Róbert Szabó, Attila Vidács.

by Szabó, Róbert [editor.] | Vidács, Attila [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7479Source: 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
Security and Cryptography for Networks [electronic resource] : 8th International Conference, SCN 2012, Amalfi, Italy, September 5-7, 2012. Proceedings / edited by Ivan Visconti, Roberto Prisco.

by Visconti, Ivan [editor.] | Prisco, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7485Source: 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
Financial Cryptography and Data Security [electronic resource] : 16th International Conference, FC 2012, Kralendijk, Bonaire, Februray 27-March 2, 2012, Revised Selected Papers / edited by Angelos D. Keromytis.

by Keromytis, Angelos D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7397Source: 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
Algorithms and Architectures for Parallel Processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Zomaya.

by Xiang, Yang [editor.] | Stojmenovic, Ivan [editor.] | Apduhan, Bernady O [editor.] | Wang, Guojun [editor.] | Nakano, Koji [editor.] | Zomaya, Albert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7440Source: 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
Advances in Databases and Information Systems [electronic resource] : 16th East European Conference, ADBIS 2012, Poznań, Poland, September 18-21, 2012. Proceedings / edited by Tadeusz Morzy, Theo Härder, Robert Wrembel.

by Morzy, Tadeusz [editor.] | Härder, Theo [editor.] | Wrembel, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7503Source: 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
Algorithms and Architectures for Parallel Processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Zomaya.

by Xiang, Yang [editor.] | Stojmenovic, Ivan [editor.] | Apduhan, Bernady O [editor.] | Wang, Guojun [editor.] | Nakano, Koji [editor.] | Zomaya, Albert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7439Source: 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
Computer Security – ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings / edited by Sara Foresti, Moti Yung, Fabio Martinelli.

by Foresti, Sara [editor.] | Yung, Moti [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7459Source: 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
Provable Security [electronic resource] : 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings / edited by Tsuyoshi Takagi, Guilin Wang, Zhiguang Qin, Shaoquan Jiang, Yong Yu.

by Takagi, Tsuyoshi [editor.] | Wang, Guilin [editor.] | Qin, Zhiguang [editor.] | Jiang, Shaoquan [editor.] | Yu, Yong [editor.] | SpringerLink (Online service).

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

Powered by Koha