Your search returned 606 results.

Not what you expected? Check for suggestions
E-BOOKS
Trustworthy Global Computing [electronic resource] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / edited by Ugo Montanari, Donald Sannella, Roberto Bruni.

by Montanari, Ugo [editor.] | Sannella, Donald [editor.] | Bruni, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4661Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Reliable Software Technologies – Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings / edited by Fabrice Kordon, Yvon Kermarrec.

by Kordon, Fabrice [editor.] | Kermarrec, Yvon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5570Source: 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
Theoretical Aspects of Computing – ICTAC 2010 [electronic resource] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings / edited by Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock.

by Cavalcanti, Ana [editor.] | Deharbe, David [editor.] | Gaudel, Marie-Claude [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6255Source: 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
Discrete Groups and Geometry / Edited by W. J. Harvey, C. Maclachlan.

by Harvey, W. J [editor of compilation.] | Maclachlan, C [editor of compilation.].

Series: London Mathematical Society Lecture Note Series ; no. 173Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1992Other title: Discrete Groups & Geometry.Online 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
Control and relaxation over the circle / [electronic resource] Bruce Hughes, Stratos Prassidis.

by Hughes, Bruce | Prassidis, Stratos, 1962-.

Series: Memoirs of the American Mathematical Society ; v. 691Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Statistical Mechanics Entropy, Order Parameters, and Complexity

by Sethna, James P.

Series: Oxford master series in physicsEdition: 2nd edition;Language: English Language: English Publication details: United Kingdom Oxford University Press 2021Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 42, Shelf No: 12 Call number: 536 SET.
Lists:

Place hold Log in to add tags
BOOKS
Number theory in function fields

by Rosen, Michael I.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2002Availability: No items available : Checked out (1).
Lists:

Place hold Log in to add tags
BOOKS
Springer Handbook of Spacetime

by Ashtekar, Abhay (Ed.) | Petkov, Vesselin(Ed.).

;Language: English Language: English Publication details: USA Springer Nature 2014Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Technical Processing Call number: 530.12(02) ASH.

Log in to add tags
BOOKS
The Modern Historiography Reader : Western Sources

by Budd, Adam (Ed.).

Series: Routledge Readers in History;Language: English Language: English Publication details: London Routledge 2009Availability: Items available for loan: IMSc Library (1). Location(s): Call number: 930 BUDD.
Lists:

Place hold Log in to add tags
E-BOOKS
Gravitational Lenses [electronic resource] : Proceedings of a Conference Held in Hamburg, Germany 9–13 September 1991 / edited by Rainer Kayser, Thomas Schramm, Lars Nieser.

by Kayser, Rainer [editor.] | Schramm, Thomas [editor.] | Nieser, Lars [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 406Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Extreme States of Matter in Strong Interaction Physics [electronic resource] : An Introduction / by Helmut Satz.

by Satz, Helmut [author.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 841Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
Reliable Software Technologies - Ada-Europe 2004 [electronic resource] : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004. Proceedings / edited by Albert Llamosí, Alfred Strohmeier.

by Llamosí, Albert [editor.] | Strohmeier, Alfred [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani.

by Berardi, Stefano [editor.] | Coppo, Mario [editor.] | Damiani, Ferruccio [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Euro-Par 2004 Parallel Processing [electronic resource] : 10th International Euro-Par Conference, Pisa, Italy, August 31- September 3, 2004. Proceedings / edited by Marco Danelutto, Marco Vanneschi, Domenico Laforenza.

by Danelutto, Marco [editor.] | Vanneschi, Marco [editor.] | Laforenza, Domenico [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Computer Science 2004 [electronic resource] : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings / edited by Jiří Fiala, Václav Koubek, Jan Kratochvíl.

by Fiala, Jiří [editor.] | Koubek, Václav [editor.] | Kratochvíl, Jan [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004, Proceedings, Part III / edited by Mircea Gh. Negoita, Robert J. Howlett, Lakhmi C. Jain.

by Negoita, Mircea Gh [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings / edited by Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan.

by Slind, Konrad [editor.] | Bunker, Annette [editor.] | Gopalakrishnan, Ganesh [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
AI*IA 2005: Advances in Artificial Intelligence [electronic resource] : 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings / edited by Stefania Bandini, Sara Manzoni.

by Bandini, Stefania [editor.] | Manzoni, Sara [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Term Rewriting and Applications [electronic resource] : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings / edited by Jürgen Giesl.

by Giesl, Jürgen [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha