Your search returned 8 results.

Not what you expected? Check for suggestions
E-BOOKS
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie.

by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7998Source: 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
Geometric measure theory and the calculus of variations / [electronic resource] William K. Allard, Frederick J. Almgren, Jr., editors.

by Summer Institute on Geometric Measure Theory and the Calculus of Variations (1984 : Humboldt State University) | Allard, William K, 1941- | Almgren, Frederick J.

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

Place hold Log in to add tags
E-BOOKS
Mathematical Epidemiology [electronic resource] / edited by Fred Brauer, Pauline Driessche, Jianhong Wu.

by Brauer, Fred [editor.] | Driessche, Pauline [editor.] | Wu, Jianhong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1945Source: 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
A Primer for Chiral Perturbation Theory [electronic resource] / by Stefan Scherer, Matthias R. Schindler.

by Scherer, Stefan [author.] | Schindler, Matthias R [author.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 830Source: 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
Few Body Systems and Nuclear Forces I [electronic resource] : 8. International Conference Held in Graz, August 24–30, 1978 / edited by H. Zingl, M. Haftel, H. Zankel.

by Zingl, H [editor.] | Haftel, M [editor.] | Zankel, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 82Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1978Online 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 results in quantum mechanics : [electronic resource] a conference on QMATH-8, mathematical results in quantum mechanics, Universidad Nacional Autonoma de M�exico, Taxco, M�exico, December 10-14, 2001 / Ricardo Weder, Pavel Exner, Benoit Gr�ebert, editors.

by Weder, Ricardo | Exner, Pavel, 1946- | Gr�ebert, Benoit, 1965-.

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

Place hold Log in to add tags
E-BOOKS
Evolvable Systems: From Biology to Hardware [electronic resource] : 5th International Conference, ICES 2003 Trondheim, Norway, March 17–20, 2003 Proceedings / edited by AAndy M. Tyrrell, Pauline C. Haddow, Jim Torresen.

by Tyrrell, AAndy M [editor.] | Haddow, Pauline C [editor.] | Torresen, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2606Source: 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
Few Body Systems and Nuclear Forces II [electronic resource] : 8. International Conference Held in Graz, August 24–30, 1978 / edited by H. Zingl, M. Haftel, H. Zankel.

by Zingl, H [editor.] | Haftel, M [editor.] | Zankel, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 87Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1978Online 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