Your search returned 124 results.

Not what you expected? Check for suggestions
E-BOOKS
Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / edited by Guido Governatori, John Hall, Adrian Paschke.

by Governatori, Guido [editor.] | Hall, John [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5858Source: 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
Handbook of Teichmüller Theory, Volume II [electronic resource] / Athanase Papadopoulos

by Papadopoulos, Athanase [editor.].

Series: IRMA Lectures in Mathematics and Theoretical Physics (IRMA) ; 13Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2009Online 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
Electronic Government [electronic resource] : 14th IFIP WG 8.5 International Conference, EGOV 2015, Thessaloniki, Greece, August 30 -- September 2, 2015, Proceedings / edited by Efthimios Tambouris, Marijn Janssen, Hans Jochen Scholl, Maria A. Wimmer, Konstantinos Tarabanis, Mila Gascó, Bram Klievink, Ida Lindgren, Peter Parycek.

by Tambouris, Efthimios [editor.] | Janssen, Marijn [editor.] | Scholl, Hans Jochen [editor.] | Wimmer, Maria A [editor.] | Tarabanis, Konstantinos [editor.] | Gascó, Mila [editor.] | Klievink, Bram [editor.] | Lindgren, Ida [editor.] | Parycek, Peter [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9248 | Lecture Notes in Computer Science ; 9248Edition: 1st ed. 2015.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, 2015Online 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 Message of Quantum Science [electronic resource] : Attempts Towards a Synthesis / edited by Philippe Blanchard, Jürg Fröhlich.

by Blanchard, Philippe [editor.] | Fröhlich, Jürg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 899Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online 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 Science – ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II / edited by Yong Shi, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot.

by Shi, Yong [editor.] | Albada, Geert Dick [editor.] | Dongarra, Jack [editor.] | Sloot, Peter M. A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4488Source: 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
Artificial Neural Networks and Machine Learning – ICANN 2013 [electronic resource] : 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings / edited by Valeri Mladenov, Petia Koprinkova-Hristova, Günther Palm, Alessandro E. P. Villa, Bruno Appollini, Nikola Kasabov.

by Mladenov, Valeri [editor.] | Koprinkova-Hristova, Petia [editor.] | Palm, Günther [editor.] | Villa, Alessandro E. P [editor.] | Appollini, Bruno [editor.] | Kasabov, Nikola [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8131Source: 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
European Congress of Mathematics Stockholm, June 27 – July 2, 2004 [electronic resource] / Ari Laptev

by Laptev, Ari [editor.].

Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2005Online 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
Stochastic Processes in Quantum Theory and Statistical Physics [electronic resource] : Proceedings of the International Workshop Held in Marseille, France, June 29 – July 4,1981 / edited by S. Albeverio, Ph. Combe, M. Sirugue-Collin.

by Albeverio, S [editor.] | Combe, Ph [editor.] | Sirugue-Collin, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 173Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online 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
Recent Aspects of Quantum Fields [electronic resource] : Proceedings of the XXX Int. Universitätswochen für Kernphysik, Schladming, Austria February and March 1991 / edited by H. Mitter, H. Gausterer.

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

Series: Lecture Notes in Physics ; 396Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Optical Supercomputing [electronic resource] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean.

by Dolev, Shlomi [editor.] | Oltean, Mihai [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
BOOKS
Quantum Theory for Mathematicians

by Hall, Brian C.

Series: Graduate Texts in Mathematics ; 267;Language: English Language: English Publication details: New York Springer 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 11, Shelf No: 1 Call number: 51(02) HALL.

Place hold Log in to add tags
E-BOOKS
Physics of Narrow Gap Semiconductors [electronic resource] : Proceedings of the 4th International Conference on Physics of Narrow Gap Semiconductors Held at Linz, Austria, September 14–17,1981 / edited by E. Gornik, H. Heinrich, L. Palmetshofer.

by Gornik, E [editor.] | Heinrich, H [editor.] | Palmetshofer, L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 152Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online 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
25 Years of Non-Equilibrium Statistical Mechanics [electronic resource] : Proceedings of the XIII Sitges Conference, Held in Sitges, Barcelona, Spain, 13–17 June 1994 / edited by J. J. Brey, J. Marro, J. M. Rubí, M. San Miguel.

by Brey, J. J [editor.] | Marro, J [editor.] | Rubí, J. M [editor.] | San Miguel, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 445Source: 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
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene.

by Johnson, Michael [editor.] | Vene, Varmo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Distributed Computing [electronic resource] : 14th International Conference, DISC 2000 Toledo, Spain, October 4–6, 2000 Proceedings / edited by Maurice Herlihy.

by Herlihy, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1914Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / edited by Mark Aagaard, John Harrison.

by Aagaard, Mark [editor.] | Harrison, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1869Source: 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
Programming Languages and Systems [electronic resource] : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Daniel Métayer.

by Métayer, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2305Source: 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 Semantic Web — ISWC 2002 [electronic resource] : First International Semantic Web Conference Sardinia, Italy, June 9–12, 2002 Proceedings / edited by Ian Horrocks, James Hendler.

by Horrocks, Ian [editor.] | Hendler, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2342Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1055Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Conceptual Modeling - ER 2008 [electronic resource] : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings / edited by Qing Li, Stefano Spaccapietra, Eric Yu, Antoni Olivé.

by Li, Qing [editor.] | Spaccapietra, Stefano [editor.] | Yu, Eric [editor.] | Olivé, Antoni [editor.] | SpringerLink (Online service).

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

Powered by Koha