Your search returned 5 results.

Not what you expected? Check for suggestions
E-BOOKS
Séminaire de Probabilités XV 1979/80 [electronic resource] : Avec table générale des exposés de 1966/67 à 1978/79 / edited by Jacques Azéma, Marc Yor.

by Azéma, Jacques [editor.] | Yor, Marc [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
BOOKS
Hilbert's Tenth Problem : An Introduction to Logic, Number Theory, and Computability,

by Murty, M. Ram | Fodden, Brandon.

Series: Student Mathematical Library ; 88;Language: English Language: English Publication details: Rhode Island American Mathematical Society 2019Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 11 Call number: 512 MUR.
Lists:

Place hold Log in to add tags
E-BOOKS
Automated theorem proving : [electronic resource] after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

by Special Session on Automatic Theorem Proving (1983 : Denver, Colo.) | Bledsoe, W. W | Loveland, Donald W | American Mathematical Society.

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

Place hold Log in to add tags
E-BOOKS
Topology, geometry, and algebra : [electronic resource] interactions and new directions : Conference on Algebraic Topology in honor of R. James Milgram, August 17-21, 1999, Stanford, California / Alejandro Adem, Gunnar Carlsson, Ralph Cohen, editors.

by Conference on Algebraic Topology in Honor of R. James Milgram (1999 : Stanford, Calif.) | Milgram, R. James | Adem, Alejandro | Carlsson, G. (Gunnar), 1952- | Cohen, Ralph L, 1952-.

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

Place hold Log in to add tags
E-BOOKS
Experimental arithmetic, [electronic resource]

by Symposium in Applied Mathematics 15th, Chicago and Atlantic City, 1962. [from old catalog] | American Mathematical Society. [from old catalog].

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