Your search returned 69 results.

Not what you expected? Check for suggestions
E-BOOKS
Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975 [electronic resource] / edited by H. Brakhage.

by Brakhage, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 33Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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 Programming Semantics [electronic resource] : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt.

by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 802Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Computational Methods in Systems Biology [electronic resource] : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings / edited by Monika Heiner, Adelinde M. Uhrmacher.

by Heiner, Monika [editor.] | Uhrmacher, Adelinde M [editor.] | SpringerLink (Online service).

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

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
E-BOOKS
Mathematical Foundations of Programming Semantics [electronic resource] : International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings / edited by Austin Melton.

by Melton, Austin [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
BOOKS
The Three-Body Problem : Trilogy

by Liu, Cixin | Liu, Ken (Translator) | Martinsen, Joel (Translator).

;Language: English Language: English Publication details: London Head of Zeus 2024Availability: Items available for loan: IMSc Library (2). Checked out (1). Location(s): Second Floor, Rack No: 54, Shelf No: 1 Call number: 82-3 LIU.

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
New Frontiers in Artificial Intelligence [electronic resource] : Joint JSAI 2001 Workshop Post-Proceedings / edited by Takao Terano, Yukio Ohsawa, Toyoaki Nishida, Akira Namatame, Syusaku Tsumoto, Takashi Washio.

by Terano, Takao [editor.] | Ohsawa, Yukio [editor.] | Nishida, Toyoaki [editor.] | Namatame, Akira [editor.] | Tsumoto, Syusaku [editor.] | Washio, Takashi [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Soft Computing — AFSS 2002 [electronic resource] : 2002 AFSS International Conference on Fuzzy Systems Calcutta, India, February 3–6, 2002 Proceedings / edited by Nikhil R. Pal, Michio Sugeno.

by Pal, Nikhil R [editor.] | Sugeno, Michio [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
The Future Internet [electronic resource] : Future Internet Assembly 2013: Validated Results and New Horizons / edited by Alex Galis, Anastasius Gavras.

by Galis, Alex [editor.] | Gavras, Anastasius [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7858Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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 and combinatorics : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / Stephen G. Simpson, editor.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University) | Simpson, Stephen G. (Stephen George), 1945- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

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

Place hold Log in to add tags
E-BOOKS
Quantum Gravity [electronic resource] : From Theory to Experimental Search / edited by Domenico J. W. Giulini, Claus Kiefer, Claus Lämmerzahl.

by Giulini, Domenico J. W [editor.] | Kiefer, Claus [editor.] | Lämmerzahl, Claus [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
From the Sun to the Great Attractor [electronic resource] : 1999 Guanajuato Lectures on Astrophysics / edited by Dany Page, Jorge G. Hirsch.

by Page, Dany [editor.] | Hirsch, Jorge G [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Physics of Black Holes [electronic resource] : A Guided Tour / edited by Eleftherios Papantonopoulos.

by Papantonopoulos, Eleftherios [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 769Source: 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
Quantum Gravity and Quantum Cosmology [electronic resource] / edited by Gianluca Calcagni, Lefteris Papantonopoulos, George Siopsis, Nikos Tsamis.

by Calcagni, Gianluca [editor.] | Papantonopoulos, Lefteris [editor.] | Siopsis, George [editor.] | Tsamis, Nikos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 99999999Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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 1984 [electronic resource] : Proceedings, 11th Symposium Praha, Czechoslovakia September 3–7, 1984 / edited by M. P. Chytil, V. Koubek.

by Chytil, M. P [editor.] | Koubek, V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 176Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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
Algebraic Methodology and Software Technology [electronic resource] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings / edited by Armando M. Haeberer.

by Haeberer, Armando M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1548Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 of Computer Science [electronic resource] : Potential — Theory — Cognition / edited by Christian Freksa, Matthias Jantzen, Rüdiger Valk.

by Freksa, Christian [editor.] | Jantzen, Matthias [editor.] | Valk, Rüdiger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1337Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
ECOOP 2008 – Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / edited by Jan Vitek.

by Vitek, Jan [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
BOOKS
The Order of time

by Rovelli, Carlo | Segre, Erica | Carnell, Simon.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi Penguin Books 2019Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 32 Call number: 53 ROV.
Lists:

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

Powered by Koha