Your search returned 5 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol.

by Brim, Luboš [editor.] | Haverkort, Boudewijn [editor.] | Leucker, Martin [editor.] | Pol, Jaco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4346Source: 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
The Physics and Chemistry of Interstellar Molecular Clouds: mm and Sub-mm Observations in Astrophysics [electronic resource] : Proceedings of a Symposium Held at Zermatt, Switzerland, 22–25 September 1988 to Commemorate the 600th Anniversary of the University of Cologne and the 20th Anniversary of the Gornergrat Observatory / by G. Winnewisser, J. T. Armstrong.

by Winnewisser, G [author.] | Armstrong, J. T [author.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 331Source: 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
Fixed point theory and its applications : [electronic resource] proceedings of a conference held at the International Congress of Mathematicians, August 4-6, 1986 / R.F. Brown, editor.

by Conference on Fixed Point Theory (1986 : University of California, Berkeley) | Brown, Robert F, 1935- | International Congress of Mathematicians (1986 : University of California, Berkeley).

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

Place hold Log in to add tags
E-BOOKS
Nonlinear functional analysis and its applications / [electronic resource] Felix E. Browder, editor.

by Summer Research Institute on Nonlinear Functional Analysis and Its Applications (1983 : University of California at Berkeley) | Browder, Felix E.

Series: Proceedings of symposia in pure mathematics ; v. 45.1Material 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
Partial differential equations. [electronic resource] [Edited by D. C. Spencer]

by Symposium in Pure Mathematics University of California at Berkeley, 1971 | Spencer, D. C. (Donald Clayton), 1912-2001 [ed.] | American Mathematical Society.

Series: Proceedings of symposia in pure mathematics ; v. 23Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, American Mathematical Society, 1973Online access: Contents | Contents 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