Your search returned 259 results.

Not what you expected? Check for suggestions
E-BOOKS
Quantum Information, Computation and Cryptography [electronic resource] : An Introductory Survey of Theory, Technology and Experiments / edited by Fabio Benatti, Mark Fannes, Roberto Floreanini, Dimitri Petritis.

by Benatti, Fabio [editor.] | Fannes, Mark [editor.] | Floreanini, Roberto [editor.] | Petritis, Dimitri [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 808Source: 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): .

E-BOOKS
Parallel Computing 1988 [electronic resource] : Shell Conference Amsterdam, The Netherlands, June 1/2, 1988 Proceedings / edited by G. A. Zee, J. G. G. Vorst.

by Zee, G. A [editor.] | Vorst, J. G. G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 384Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

BOOKS
Molecular driving forces statistical thermodynamics in biology, chemistry, physics, and nanoscience

by Dill, Ken A | Bromberg, Sarina.

Edition: 2nd ed.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York CRC Press 2011Availability: No items available : Checked out (1).

E-BOOKS
Casimir Physics [electronic resource] / edited by Diego Dalvit, Peter Milonni, David Roberts, Felipe da Rosa.

by Dalvit, Diego [editor.] | Milonni, Peter [editor.] | Roberts, David [editor.] | da Rosa, Felipe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 834Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Human Computer Interaction [electronic resource] : 6th Latin American Conference, CLIHC 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by César Collazos, Andréia Liborio, Cristian Rusu.

by Collazos, César [editor.] | Liborio, Andréia [editor.] | Rusu, Cristian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8278Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Integration of Software Specification Techniques for Applications in Engineering [electronic resource] : Priority Program SoftSpez of the German Research Foundation (DFG), Final Report / edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper.

by Ehrig, Hartmut [editor.] | Damm, Werner [editor.] | Desel, Jörg [editor.] | Große-Rhode, Martin [editor.] | Reif, Wolfgang [editor.] | Schnieder, Eckehard [editor.] | Westkämper, Engelbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3147Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Machine Learning: ECML 2004 [electronic resource] : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004. Proceedings / edited by Jean-François Boulicaut, Floriana Esposito, Fosca Giannotti, Dino Pedreschi.

by Boulicaut, Jean-François [editor.] | Esposito, Floriana [editor.] | Giannotti, Fosca [editor.] | Pedreschi, Dino [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3201Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computational Logic in Multi-Agent Systems [electronic resource] : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / edited by Jürgen Dix, João Leite.

by Dix, Jürgen [editor.] | Leite, João [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3259Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Progress in Artificial Intelligence [electronic resource] : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005. Proceedings / edited by Carlos Bento, Amílcar Cardoso, Gaël Dias.

by Bento, Carlos [editor.] | Cardoso, Amílcar [editor.] | Dias, Gaël [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3808Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Languages and Compilers for High Performance Computing [electronic resource] : 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers / edited by Rudolf Eigenmann, Zhiyuan Li, Samuel P. Midkiff.

by Eigenmann, Rudolf [editor.] | Li, Zhiyuan [editor.] | Midkiff, Samuel P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3602Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Data Integration in the Life Sciences [electronic resource] : Second International Workshop, DILS 2005, San Diego, CA, USA, July 20-22, 2005. Proceedings / edited by Bertram Ludäscher, Louiqa Raschid.

by Ludäscher, Bertram [editor.] | Raschid, Louiqa [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3615Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Spatial Cognition IV. Reasoning, Action, Interaction [electronic resource] : International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers / edited by Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky.

by Freksa, Christian [editor.] | Knauff, Markus [editor.] | Krieg-Brückner, Bernd [editor.] | Nebel, Bernhard [editor.] | Barkowsky, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3343Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Gesture in Human-Computer Interaction and Simulation [electronic resource] : 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers / edited by Sylvie Gibet, Nicolas Courty, Jean-François Kamp.

by Gibet, Sylvie [editor.] | Courty, Nicolas [editor.] | Kamp, Jean-François [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3881Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Engineering Self-Organising Systems [electronic resource] : Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers / edited by Sven A. Brueckner, Giovanna Marzo Serugendo, David Hales, Franco Zambonelli.

by Brueckner, Sven A [editor.] | Marzo Serugendo, Giovanna [editor.] | Hales, David [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3910Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Discovery Science [electronic resource] : 5th International Conference, DS 2002 Lübeck, Germany, November 24–26, 2002 Proceedings / edited by Steffen Lange, Ken Satoh, Carl H. Smith.

by Lange, Steffen [editor.] | Satoh, Ken [editor.] | Smith, Carl H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2534Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers / edited by Herman Geuvers, Freek Wiedijk.

by Geuvers, Herman [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2646Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Advances in Visual Information Systems [electronic resource] : 4th International Conference, VISUAL 2000 Lyon, France, November 2–4, 2000 Proceedings / edited by Robert Laurini.

by Laurini, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1929Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Theorem Proving in Higher Order Logics [electronic resource] : 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings / edited by Richard J. Boulton, Paul B. Jackson.

by Boulton, Richard J [editor.] | Jackson, Paul B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2152Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Implementation and Application of Automata [electronic resource] : 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings / edited by Oscar H. Ibarra, Zhe Dang.

by Ibarra, Oscar H [editor.] | Dang, Zhe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2759Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Human-Computer Interaction with Mobile Devices and Services [electronic resource] : 5th International Symposium, Mobile HCI 2003, Udine, Italy, September 2003. Proceedings / edited by Luca Chittaro.

by Chittaro, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2795Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha