Your search returned 52 results.

Not what you expected? Check for suggestions
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): .

E-BOOKS
Measure and measurable dynamics : [electronic resource] proceedings of a conference in honor of Dorothy Maharam Stone, held September 17-19, 1987 / R. Daniel Mauldin, R.M. Shortt, and Cesar E. Silva, editors.

by Conference on Measure and Measurable Dynamics (1987 : University of Rochester) | Maharam-Stone, D. (Dorothy) | Mauldin, R. Daniel, 1943- | Shortt, Rae Michael | Silva, C�esar Ernesto, 1955-.

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

E-BOOKS
Structure of language and its mathematical aspects. [electronic resource] [Proceedings. Sponsored by American Mathematical Society, Association for Symbolic Logic, and Linguistic Society of America]

by Symposium in Applied Mathematics (12th : 1960 : New York) | American Mathematical Society.

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

E-BOOKS
An introduction to mathematical modeling in physiology, cell biology, and immunology : [electronic resource] American Mathematical Society, Short Course, January 8-9, 2001, New Orleans, Louisiana / James Sneyd, editor.

by Sneyd, James | American Mathematical Society.

Series: Proceedings of symposia in applied mathematics ; v. 59. | Proceedings of symposia in applied mathematics. AMS short course lecture notes.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, RI : American Mathematical Society, 2002Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

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): .

E-BOOKS
The legacy of Norbert Wiener : [electronic resource] a centennial symposium in honor of the 100th anniversary of Norbert Wiener's birth, October 8-14, 1994, Massachusetts Institute of Technology, Cambridge, Massachusetts / David Jerison, I.M. Singer, Daniel W. Stroock, editors.

by Wiener, Norbert, 1894-1964 | Jerison, David, 1953- | Singer, I. M. (Isadore Manuel), 1924- | Stroock, Daniel W.

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

BOOKS
Innovation and the Evolution of Industries History Friendly Models

by Malerba, Franco. etal | Nelson, R. Richard | Orsenigo, Luigi | Winter, G. Sidney.

Publication details: New York Cambridge University Press 2016Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 4, Shelf No: 8 Call number: 338 MAL.

BOOKS
From Photon to Neuron: Light Imaging Vision

by Nelson, Philip | Bromberg, Sarina, Hermundstad, Ann and Kinder, Jesse M.

Publication details: Princeton, Oxford Princeton University Press 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 29 Call number: 572.1 NEL.

BOOKS
Quandles : an introduction to the algebra of knots

by Elhamdadi, Mohamed & Nelson Sam.

Series: Student mathematical library ; volume 74Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Providency American Mathematical socety 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 18 Call number: 515.1 ELH.

BOOKS
The argonauts Maggie Nelson

by Nelson, Maggie.

Edition: First Graywolf paperbackMaterial type: Text Text;Language: English; Format: print ; Nature of contents: biography; Literary form: Not fiction Language: English Publication details: Minneapolis Graywolf Press 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 2, Shelf No: 4 Call number: 305 NEL.

BOOKS
Quandles an introduction to the algebra of knots

by Elhamdadi, Mohamed | Nelson, Sam.

Series: Student mathematical library ; 74Edition: Indian EditionMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Providence American Mathematical socety 2015; Hyderabad Universities Press 2019Availability: Items available for loan: IMSc Library (2). Location(s): Multiple Copies Section, Shelf No: 5 Call number: 515.1 ELH.

E-BOOKS
Collaboration and Technology [electronic resource] : 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings / edited by Nelson Baloian, Yervant Zorian, Perouz Taslakian, Samvel Shoukouryan.

by Baloian, Nelson [editor.] | Zorian, Yervant [editor.] | Taslakian, Perouz [editor.] | Shoukouryan, Samvel [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9334 | Lecture Notes in Computer Science ; 9334Edition: 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha