IMSc Library catalog › Results of search for 'su-br:au:"Boyer"'

Your search returned 8 results.

Not what you expected? Check for suggestions

			Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Žďárek. by Holub, Jan [editor.] \| Žďárek, Jan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4783Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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
			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;Language: English; Format: available online ; 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
			Handbook of Pseudo-Riemannian Geometry and Supersymmetry [electronic resource] / Vicente Cortés by Cortés, Vicente [editor.]. Series: IRMA Lectures in Mathematics and Theoretical Physics (IRMA) ; 16Material type: Text;Language: English; Format: available online ; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2010Online 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
			Automatic Verification Methods for Finite State Systems [electronic resource] : International Workshop, Grenoble, France June 12–14, 1989 Proceedings / edited by Joseph Sifakis. by Sifakis, Joseph [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 407Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Operator theory : [electronic resource] operator algebras and applications / William B. Arveson and Ronald G. Douglas, editors. by Summer Research Institute on Operator Theory/Operator Algebras and Applications (1988 : University of New Hampshire) \| Arveson, William \| Douglas, Ronald G \| American Mathematical Society. Series: Proceedings of symposia in pure mathematics ; v. 51.2Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1990Online 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
			Symposium on Algebraic Topology in Honor of Jose Adem / [electronic resource] [edited by Samuel Gitler]. by Symposium on Algebraic Topology in Honor of Jose Adem (1981 : Centro Vacacional del Seguro Social) \| Gitler, Samuel \| Adem, Jos�e. Series: Contemporary mathematics (American Mathematical Society) ; v. 12.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1982Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Gems in experimental mathematics : [electronic resource] AMS Special Session, Experimental Mathematics, January 5, 2009, Washington, DC / Tewodros Amdeberhan, Luis A. Medina, Victor H. Moll, editors. by AMS Special Session on Experimental Mathematics (2009 : Washington, D.C.) \| Amdeberhan, Tewodros, 1971- \| Medina, Luis A, 1981- \| Moll, Victor H, 1956- \| American Mathematical Society. Series: Contemporary mathematics (American Mathematical Society) ; v. 517.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2010Online 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