IMSc Library catalog › Results of search for 'su-br:au:"Milne, J.S"'

Your search returned 6 results.

Not what you expected? Check for suggestions

			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
			Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings / edited by Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge. by Najm, Elie [editor.] \| Pradat-Peyre, Jean-François [editor.] \| Donzeau-Gouge, Véronique Viguié [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4229Source: 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
			Runtime Verification [electronic resource] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / edited by Ezio Bartocci, Rupak Majumdar. by Bartocci, Ezio [editor.] \| Majumdar, Rupak [editor.] \| SpringerLink (Online service). Series: Programming and Software Engineering ; 9333 \| Lecture Notes in Computer Science ; 9333Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; 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): . Place hold Log in to add tags
			Foundations of Software Science and Computation Structures [electronic resource] : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings / edited by Wolfgang Thomas. by Thomas, Wolfgang [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1578Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Motives / [electronic resource] Uwe Jannsen, Steven L. Kleiman, Jean-Pierre Serre, editors. by Jannsen, Uwe \| Kleiman, Steven L \| Serre, Jean-Pierre, 1926- \| Summer Research Conference on Motives (1991 : University of Washington). Series: Proceedings of symposia in pure mathematics ; v. 55.1Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1994Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Theta functions, Bowdoin 1987 / [electronic resource] Leon Ehrenpreis and Robert C. Gunning, editors. by Summer Research Institute on Theta Functions (1987 : Brunswick, Me.) \| Ehrenpreis, Leon \| Gunning, R. C. (Robert Clifford), 1931- \| American Mathematical Society. Series: Proceedings of symposia in pure mathematics ; v. 49.2Material type: Text;Language: English; Format: available online ; 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): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha