IMSc Library catalog › Results of search for 'su-br:au:"Harris, John"'

Your search returned 7 results.

Not what you expected? Check for suggestions

			Computer Science – Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings / edited by Dima Grigoriev, John Harrison, Edward A. Hirsch. by Grigoriev, Dima [editor.] \| Harrison, John [editor.] \| Hirsch, Edward A [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3967Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / edited by Mark Aagaard, John Harrison. by Aagaard, Mark [editor.] \| Harrison, John [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1869Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automated Deduction - CADE-17 [electronic resource] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings / edited by David McAllester. by McAllester, David [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1831Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			The Santa Cruz Conference on Finite Groups / [electronic resource] [edited by Bruce Cooperstein and Geoffrey Mason]. by Santa Cruz Conference on Finite Groups (1979) \| Cooperstein, Bruce, 1950- \| Mason, Geoffrey, 1948- \| American Mathematical Society. Series: Proceedings of symposia in pure mathematics ; v. 37Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1980Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Differential geometry and mathematical physics / [electronic resource] AMS-CMS Special Session on Geometric Methods in Mathematical Physics, August 15-19, 1993, Vancouver, British Columbia, Canada ; John K. Beem, Krishan L. Duggal, editors. by AMS-CMS Special Session on Geometric Methods in Mathematical Physics (1993 : Vancouver, B.C.) \| Beem, John K, 1942- \| Duggal, Krishan L, 1929- \| American Mathematical Society \| Canadian Mathematical Society. Series: Contemporary mathematics (American Mathematical Society) ; v. 170.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, RI : American Mathematical Society, c1994Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Geometry in mathematical physics and related topics / [electronic resource] Robert Greene, S.T. Yau, editors. by Greene, Robert Everist, 1943- \| Yau, Shing-Tung, 1949- \| Summer Research Institute on Differential Geometry (1990 : University of California, Los Angeles). Series: Proceedings of symposia in pure mathematics ; v. 54.2Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1993Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Algebraists' homage : [electronic resource] papers in ring theory and related topics. by Conference on Algebra (1981 : New Haven, Conn.) \| Amitsur, S. A. (Shimshon A.), 1921- \| Saltman, D. J. (David J.), 1951- \| Seligman, George B, 1927-. Series: Contemporary mathematics (American Mathematical Society) ; v. 13.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1982Online 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