Your search returned 64 results.

Not what you expected? Check for suggestions
E-BOOKS
Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 [electronic resource] / edited by Jíří Bečvář.

by Bečvář, Jíří [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 32Source: 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 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
Agent-Oriented Programming [electronic resource] : From Prolog to Guarded Definite Clauses / by Matthew M. Huntbach, Graem A. Ringwood.

by Huntbach, Matthew M [author.] | Ringwood, Graem A [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1630Source: 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
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov.

by Cervesato, Iliano [editor.] | Veith, Helmut [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5330Source: 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
E-BOOKS
Logic, Language, Information and Computation [electronic resource] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings / edited by Hiroakira Ono, Makoto Kanazawa, Ruy Queiroz.

by Ono, Hiroakira [editor.] | Kanazawa, Makoto [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5514Source: 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 of Garside Theory [electronic resource] / Patrick Dehornoy, François Digne, Eddy Godelle, Daan Krammer, Jean Michel

by Dehornoy, Patrick [author.] | Dehornoy, Patrick [author.] | Digne, François [author.] | Godelle, Eddy [author.] | Krammer, Daan [author.] | Michel, Jean [author.].

Series: EMS Tracts in Mathematics (ETM) ; 22Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2015Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
The Composite Nambu-Goldstone Higgs [electronic resource] / by Giuliano Panico, Andrea Wulzer.

by Panico, Giuliano [author.] | Wulzer, Andrea [author.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 913Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Homo Deus A Brief History of Tomorrow translated by the author.

by Harari, Yuval Noah.

Edition: First U.S. edition.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: London Vintage 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 60, Shelf No: 6 Call number: 930 HAR.
Lists:

Place hold Log in to add tags
BOOKS
Newton's apple and other myths about science edited by Ronald L. Numbers and Kostas Kampourakis.

by Numbers, Ronald L | Numbers, Ronald L | Kampourakis, Kostas.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 7 Call number: 5 NUM.

Place hold Log in to add tags
BOOKS
The Complete Fiction of H. P. Lovecraft

by Lovecraft, H. P.

;Language: English Language: English Publication details: New York Chartwell Books 2016Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:56 Shelf No:6 Call number: 82-32 LOV.

Place hold Log in to add tags
E-BOOKS
Twelfth International Conference on Numerical Methods in Fluid Dynamics [electronic resource] : Proceedings of the Conference Held at the University of Oxford, England on 9–13 July 1990 / edited by K. W. Morton.

by Morton, K. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 371Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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 groups and discontinuous subgroups. [electronic resource] [Armand Borel and George D. Mostow, editors]

by Symposium in Pure Mathematics (1965 : University of Colorado) | Borel, Armand [ed.] | Mostow, George D [ed.] | University of Colorado | American Mathematical Society.

Series: Proceedings of symposia in pure mathematics ; v. 9Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, American Mathematical Society, 1966Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
11th International Conference on Numerical Methods in Fluid Dynamics [electronic resource] / edited by D. L. Dwoyer, M. Y. Hussaini, R. G. Voigt.

by Dwoyer, D. L [editor.] | Hussaini, M. Y [editor.] | Voigt, R. G [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automated Deduction - CADE-17 [electronic resource] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings / edited by David McAllester.

by McAllester, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1831Source: 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
Web Information Systems Engineering – WISE 2007 Workshops [electronic resource] : WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings / edited by Mathias Weske, Mohand-Saïd Hacid, Claude Godart.

by Weske, Mathias [editor.] | Hacid, Mohand-Saïd [editor.] | Godart, Claude [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4832Source: 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
Noncommutative geometry and global analysis : [electronic resource] conference in honor of Henri Moscovici, June 29-July 4, 2009, Bonn, Germany / Alain Connes ... [et al.], editors.

by Moscovici, Henri, 1944- | Connes, Alain.

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

Place hold Log in to add tags
E-BOOKS
Advances in the Free-Lagrange Method Including Contributions on Adaptive Gridding and the Smooth Particle Hydrodynamics Method [electronic resource] : Proceedings of the Next Free-Lagrange Conference Held at Jackson Lake Lodge, Moran, WY, USA 3–7 June 1990 / edited by Harold E. Trease, Martin F. Fritts, W. Patrick Crowley.

by Trease, Harold E [editor.] | Fritts, Martin F [editor.] | Crowley, W. Patrick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 395Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Other title: Proceedings of the Next Free-Lagrange Conference Held at Jackson Lake Lodge, Moran, WY, USA, 3-7 June 1990.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
ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey.

by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 967Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings / edited by Uwe Egly, Chritian G. Fermüller.

by Egly, Uwe [editor.] | Fermüller, Chritian G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2381Source: 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
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov.

by Dershowitz, Nachum [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

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

Powered by Koha