Your search returned 10 results.

Not what you expected? Check for suggestions
E-BOOKS
Hans Freudenthal, Selecta [electronic resource] / Tonny A. Springer, Dirk van Dalen

by Springer, Tonny A [author.] | Springer, Tonny A [author.] | van Dalen, Dirk [author.].

Series: Heritage of European Mathematics (HEM)Material 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
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff.

by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2758Source: 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
Visioning and Engineering the Knowledge Society. A Web Science Perspective [electronic resource] : Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings / edited by Miltiadis D. Lytras, Ernesto Damiani, John M. Carroll, Robert D. Tennyson, David Avison, Ambjörn Naeve, Adrian Dale, Paul Lefrere, Felix Tan, Janice Sipior, Gottfried Vossen.

by Lytras, Miltiadis D [editor.] | Damiani, Ernesto [editor.] | Carroll, John M [editor.] | Tennyson, Robert D [editor.] | Avison, David [editor.] | Naeve, Ambjörn [editor.] | Dale, Adrian [editor.] | Lefrere, Paul [editor.] | Tan, Felix [editor.] | Sipior, Janice [editor.] | Vossen, Gottfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5736Source: 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
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings / edited by Manindra Agrawal, Anil Seth.

by Agrawal, Manindra [editor.] | Seth, Anil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2556Source: 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
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
Banach algebras and their applications : [electronic resource] Sixteenth International Conference on Banach Algebras, University of Alberta in Edmonton, Canada, July 27-August 9, 2003 / Anthony To-Ming Lau, Volker Runde, editors.

by International Conference on Banach Algebras (16th : 2003 : University of Alberta in Edmonton) | Lau, Anthony To-Ming | Runde, Volker.

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

Place hold Log in to add tags
BOOKS
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings /

by Manindra Agrawal | Agrawal, Manindra | Seth, Anil.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS.

Place hold Log in to add tags
E-BOOKS
Low dimensional topology / [electronic resource] Samuel J. Lomonaco, Jr., editor.

by Lomonaco, Samuel J | American Mathematical Society.

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

Place hold Log in to add tags
E-BOOKS
Number theory : [electronic resource] Ramanujan Mathematical Society, January 3-6, 1996, Tiruchirapalli, India / V. Kumar Murty, Michel Waldschmidt, editors.

by Murty, Vijaya Kumar, 1956- | Waldschmidt, Michel, 1946- | Ramanujan Mathematical Society.

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

Place hold Log in to add tags
E-BOOKS
Proceedings of the Conference on Banach Algebras and Several Complex Variables / [electronic resource] F. Greenleaf and D. Gulick, editors.

by Conference on Banach Algebras and Several Complex Variables (1983 : Yale University) | Greenleaf, Frederick P | Gulick, Denny | Rickart, C. E. (Charles Earl), 1913-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 32.Material type: Text Text;Language: English; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1984Online 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