Your search returned 710 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / edited by Erich Grädel, Reinhard Kahle.

by Grädel, Erich [editor.] | Kahle, Reinhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5771Source: 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
CONCUR 2009 - Concurrency Theory [electronic resource] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings / edited by Mario Bravetti, Gianluigi Zavattaro.

by Bravetti, Mario [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5710Source: 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
Cryptographic Hardware and Embedded Systems - CHES 2009 [electronic resource] : 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings / edited by Christophe Clavier, Kris Gaj.

by Clavier, Christophe [editor.] | Gaj, Kris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5747Source: 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
Selected Areas in Cryptography [electronic resource] : 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers / edited by Roberto Maria Avanzi, Liam Keliher, Francesco Sica.

by Avanzi, Roberto Maria [editor.] | Keliher, Liam [editor.] | Sica, Francesco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5381Source: 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
Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings / edited by Joël Ouaknine, Frits W. Vaandrager.

by Ouaknine, Joël [editor.] | Vaandrager, Frits W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5813Source: 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
Ad-Hoc, Mobile and Wireless Networks [electronic resource] : 8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 Proceedings / edited by Pedro M. Ruiz, Jose Joaquin Garcia-Luna-Aceves.

by Ruiz, Pedro M [editor.] | Garcia-Luna-Aceves, Jose Joaquin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5793Source: 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
Reachability Problems [electronic resource] : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings / edited by Olivier Bournez, Igor Potapov.

by Bournez, Olivier [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5797Source: 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
Information Hiding [electronic resource] : 11th International Workshop, IH 2009, Darmstadt, Germany, June 8-10, 2009, Revised Selected Papers / edited by Stefan Katzenbeisser, Ahmad-Reza Sadeghi.

by Katzenbeisser, Stefan [editor.] | Sadeghi, Ahmad-Reza [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5806Source: 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
Digital Watermarking [electronic resource] : 7th International Workshop, IWDW 2008, Busan, Korea, November 10-12, 2008. Selected Papers / edited by Hyoung-Joong Kim, Stefan Katzenbeisser, Anthony T. S. Ho.

by Kim, Hyoung-Joong [editor.] | Katzenbeisser, Stefan [editor.] | Ho, Anthony T. S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5450Source: 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
Computer Security – ESORICS 2009 [electronic resource] : 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings / edited by Michael Backes, Peng Ning.

by Backes, Michael [editor.] | Ning, Peng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5789Source: 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
Provable Security [electronic resource] : Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings / edited by Josef Pieprzyk, Fangguo Zhang.

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

Series: Lecture Notes in Computer Science ; 5848Source: 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 Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures / edited by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra.

by Koopman, Pieter [editor.] | Plasmeijer, Rinus [editor.] | Swierstra, Doaitse [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5832Source: 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
Identity and Privacy in the Internet Age [electronic resource] : 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009. Proceedings / edited by Audun Jøsang, Torleiv Maseng, Svein Johan Knapskog.

by Jøsang, Audun [editor.] | Maseng, Torleiv [editor.] | Knapskog, Svein Johan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5838Source: 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
Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny.

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

Series: Lecture Notes in Computer Science ; 5800Source: 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
Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings / edited by Xiangdong He, John Horty, Eric Pacuit.

by He, Xiangdong [editor.] | Horty, John [editor.] | Pacuit, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5834Source: 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
Security Protocols [electronic resource] : 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.

by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5087Source: 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
Selected Areas in Cryptography [electronic resource] : 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers / edited by Michael J. Jacobson, Vincent Rijmen, Reihaneh Safavi-Naini.

by Jacobson, Michael J [editor.] | Rijmen, Vincent [editor.] | Safavi-Naini, Reihaneh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5867Source: 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
Combinatorial Algorithms [electronic resource] : 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers / edited by Jiří Fiala, Jan Kratochvíl, Mirka Miller.

by Fiala, Jiří [editor.] | Kratochvíl, Jan [editor.] | Miller, Mirka [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5874Source: 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
Advances in Cryptology – ASIACRYPT 2009 [electronic resource] : 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings / edited by Mitsuru Matsui.

by Matsui, Mitsuru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5912Source: 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
Cryptology and Network Security [electronic resource] : 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings / edited by Juan A. Garay, Atsuko Miyaji, Akira Otsuka.

by Garay, Juan A [editor.] | Miyaji, Atsuko [editor.] | Otsuka, Akira [editor.] | SpringerLink (Online service).

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

Powered by Koha