|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / edited by Mauricio Ayala-Rincón, César A. Muñoz. by Ayala-Rincón, Mauricio [editor.] | Muñoz, César A [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10499 | Lecture Notes in Computer Science ; 10499Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Convexity. [electronic resource] by Symposium on Convexity University of Washington, 1961. [from old catalog] | Klee, Victor L., [from old catalog] [ed.] | Washington (State) University. [from old catalog] | American Mathematical Society. [from old catalog]. Series: Proceedings of symposia in pure mathematics ; v. 7. [from old catalog]Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, American Mathematical Society, 1963Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Stochastic analysis : [electronic resource] Summer Research Institue on Stochastic Analysis July 11-30, 1993 Cornell University Ithaca, New York / Michael C. Cranston, Mark A. Pinsky, editors. by Summer Research Institute on Stochastic Analysis (1993 : Cornell University) | Cranston, Michael C. (Michael Craig), 1951- | Pinsky, Mark A, 1940-. Series: Proceedings of symposia in pure mathematics ; v. 57Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1995Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The Madison Symposium on Complex Analysis : [electronic resource] proceedings of the Symposium on Complex Analysis held June 2-7, 1991 at the University of Wisconsin-Madison, with support from the National Science Foundation and the William F. Villas Trust Estate / Alexander Nagel, Edgar Lee Stout, editors. by Symposium on Complex Analysis (1991 : University of Wisconsin-Madison) | Nagel, Alexander, 1945- | Stout, Edgar Lee, 1938-. Series: Contemporary mathematics (American Mathematical Society) ; v. 137.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1992Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in differential equations and mathematical physics : [electronic resource] UAB international conference, differential equations and mathematical physics, March 26-30, 2002, University of Alabama, Birmingham / Yulia Karpeshina ... [et al.], editors. by International Conference on Differential Equations and Mathematical Physics (2002 : University of Alabama, Birmingham) | Karpeshina, Yulia E, 1956-. Series: Contemporary mathematics (American Mathematical Society) ; v. 327.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2003Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Complex analysis and dynamical systems II : [electronic resource] a conference in honor of Professor Lawrence Zalcman's sixtieth birthday, June 9-12, 2003, Nahariya, Israel / Mark Agranovsky, Lavi Karp, David Shoikhet, editors. by International Conference on Complex Analysis and Dynamical Systems (2nd : 2003 : Nahariyah, Israel) | Zalcman, Lawrence Allen | Agranovski�i, M. L. (Mark L�vovich) | Karp, Lavi, 1955- | Shoiykhet, David, 1953-. Series: Contemporary mathematics (American Mathematical Society) ; v. 382.Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, R.I. : Ramat Gan, Israel : American Mathematical Society ; Bar-Ilan University, c2005Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|