Your search returned 2929 results.

Not what you expected? Check for suggestions
E-BOOKS
Recent Advances in Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / edited by Angelo Oddi, François Fages, Francesca Rossi.

by Oddi, Angelo [editor.] | Fages, François [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5655Source: 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
Parallel Computing Technologies [electronic resource] : 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings / edited by Victor Malyshkin.

by Malyshkin, Victor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5698Source: 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
Pairing-Based Cryptography – Pairing 2009 [electronic resource] : Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings / edited by Hovav Shacham, Brent Waters.

by Shacham, Hovav [editor.] | Waters, Brent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5671Source: 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
Fast Software Encryption [electronic resource] : 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers / edited by Orr Dunkelman.

by Dunkelman, Orr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5665Source: 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 Science - Theory and Applications [electronic resource] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings / edited by Anna Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner.

by Frid, Anna [editor.] | Morozov, Andrey [editor.] | Rybalchenko, Andrey [editor.] | Wagner, Klaus W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5675Source: 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
Algorithms and Data Structures [electronic resource] : 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings / edited by Frank Dehne, Marina Gavrilova, Jörg-Rüdiger Sack, Csaba D. Tóth.

by Dehne, Frank [editor.] | Gavrilova, Marina [editor.] | Sack, Jörg-Rüdiger [editor.] | Tóth, Csaba D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5664Source: 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
Fundamentals of Computation Theory [electronic resource] : 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings / edited by Mirosław Kutyłowski, Witold Charatonik, Maciej Gębala.

by Kutyłowski, Mirosław [editor.] | Charatonik, Witold [editor.] | Gębala, Maciej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5699Source: 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
Wireless Algorithms, Systems, and Applications [electronic resource] : 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / edited by Benyuan Liu, Azer Bestavros, Ding-Zhu Du, Jie Wang.

by Liu, Benyuan [editor.] | Bestavros, Azer [editor.] | Du, Ding-Zhu [editor.] | Wang, Jie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5682Source: 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
Efficient Algorithms [electronic resource] : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday / edited by Susanne Albers, Helmut Alt, Stefan Näher.

by Albers, Susanne [editor.] | Alt, Helmut [editor.] | Näher, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5760Source: 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
Foundations and Applications of Security Analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Luca Viganò.

by Degano, Pierpaolo [editor.] | Viganò, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5511Source: 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
Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / edited by Martin Leucker, Carroll Morgan.

by Leucker, Martin [editor.] | Morgan, Carroll [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5684Source: 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
Financial Cryptography and Data Security [electronic resource] : 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers / edited by Roger Dingledine, Philippe Golle.

by Dingledine, Roger [editor.] | Golle, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5628Source: 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
Critical Information Infrastructure Security [electronic resource] : Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers / edited by Roberto Setola, Stefan Geretshuber.

by Setola, Roberto [editor.] | Geretshuber, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5508Source: 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
Mathematics of Surfaces XIII [electronic resource] : 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings / edited by Edwin R. Hancock, Ralph R. Martin, Malcolm A. Sabin.

by Hancock, Edwin R [editor.] | Martin, Ralph R [editor.] | Sabin, Malcolm A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5654Source: 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
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings / edited by Daniel Cremers, Yuri Boykov, Andrew Blake, Frank R. Schmidt.

by Cremers, Daniel [editor.] | Boykov, Yuri [editor.] | Blake, Andrew [editor.] | Schmidt, Frank R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5681Source: 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
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings / edited by Irit Dinur, Klaus Jansen, Joseph Naor, José Rolim.

by Dinur, Irit [editor.] | Jansen, Klaus [editor.] | Naor, Joseph [editor.] | Rolim, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5687Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Unconventional Computation [electronic resource] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings / edited by Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg.

by Calude, Cristian S [editor.] | Costa, José Félix [editor.] | Dershowitz, Nachum [editor.] | Freire, Elisabete [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5715Source: 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
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics [electronic resource] : Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings / edited by Thomas Stützle, Mauro Birattari, Holger H. Hoos.

by Stützle, Thomas [editor.] | Birattari, Mauro [editor.] | Hoos, Holger H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5752Source: 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
Reasoning Web. Semantic Technologies for Information Systems [electronic resource] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt.

by Tessaris, Sergio [editor.] | Franconi, Enrico [editor.] | Eiter, Thomas [editor.] | Gutierrez, Claudio [editor.] | Handschuh, Siegfried [editor.] | Rousset, Marie-Christine [editor.] | Schmidt, Renate A [editor.] | SpringerLink (Online service).

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