Your search returned 365 results.

Not what you expected? Check for suggestions
E-BOOKS
FME 2001: Formal Methods for Increasing Software Productivity [electronic resource] : International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings / edited by José Nuno Oliveira, Pamela Zave.

by Oliveira, José Nuno [editor.] | Zave, Pamela [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2021Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Differential geometry : [electronic resource] the interface between pure and applied mathematics : proceedings of a conference held April 23-25, 1986 with support from the National Science Foundation / Mladen Luksic, Clyde Martin, and William Shadwick, editors.

by Luksic, Mladen | Martin, Clyde | Shadwick, W. F, 1951- | Conference on Differential Geometry (1986 : San Antonio, Tex.).

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

Place hold Log in to add tags
E-BOOKS
Logic and computation : [electronic resource] proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor.

by Workshop on Logic and Computation (1987 : Carnegie Mellon University) | Sieg, Wilfried, 1945-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 106.Material type: Text Text;Language: English; Format: available online remote; 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
E-BOOKS
P-adic monodromy and the Birch and Swinnerton-Dyer conjecture : [electronic resource] a Workshop on p-adic Monodromy and the Birch and Swinnerton-Dyer Conjecture, August 12-16, 1991, Boston University / Barry Mazur, Glenn Stevens, editors.

by Workshop on p-adic Monodromy and the Birch and Swinnerton-Dyer Conjecture (1991 : Boston University) | Mazur, Barry | Stevens, Glenn, 1953-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 165.Material type: Text Text;Language: English; Format: available online remote; 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
E-BOOKS
C*-algebras : [electronic resource] 1943-1993 : a fifty year celebration : AMS special session commemorating the first fifty years of c*-algebra theory, January 13-14, 1993, San Antonio, Texas / Robert S. Doran, editor.

by Doran, Robert S, 1937- | American Mathematical Society.

Series: Contemporary mathematics (American Mathematical Society) ; v. 167.Material type: Text Text;Language: English; Format: available online remote; 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
E-BOOKS
The �Cech centennial : [electronic resource] a Conference on Homotopy Theory, June 22-26, 1993, Northeastern University / Mila Cenkl, Haynes Miller, editors.

by Conference on Homotopy Theory (1993 : Northeastern University, Boston, Mass.) | Cenkl, Mila, 1934- | Miller, Haynes R, 1948-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 181.Material type: Text Text;Language: English; Format: available online remote; 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): .

Place hold Log in to add tags
E-BOOKS
Harmonic functions on trees and buildings : [electronic resource] Workshop on Harmonic Functions on Graphs, October 30-November 3, 1995, City University of New York / Adam Kor�anyi, editor ; with minicourses by D. Cartwright ... [et al.].

by Workshop on Harmonic Functions on Graphs (1995 : City University of New York) | Kor�anyi, Adam | Cartwright, Donald I, 1949-.

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

Place hold Log in to add tags
E-BOOKS
Low dimensional topology : [electronic resource] proceedings of a Conference on Low Dimensional Topology, January 12-17, 1998, Funchal, Madeira, Portugal / Hanna Nencka, editor.

by Conference on Low Dimensional Topology (1998 : S�ao Jo�ao da Madeira, Portugal) | Nencka, Hanna, 1956-.

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

Place hold Log in to add tags
E-BOOKS
Advances in stochastic inequalities : [electronic resource] AMS Special Session on Stochastic Inequalities and their Applications, October 17-19, 1997, Georgia Institute of Technology / Theodore P. Hill, Christian Houdr�e, editors.

by AMS Special Session on Stochastic Inequalities and their Applications (1997 : Georgia Institute of Technology) | Hill, Theodore Preston | Houdr�e, Christian.

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

Place hold Log in to add tags
E-BOOKS
Quadratic forms and their applications : [electronic resource] proceedings of the Conference on Quadratic Forms and Their Applications, July 5-9, 1999, University College Dublin / Eva Bayer-Fluckiger, David Lewis, Andrew Ranicki, editors.

by Conference on Quadratic Forms and Their Applications (1999 : University College Dublin) | Bayer-Fluckiger, Eva, 1951- | Lewis, David | Ranicki, Andrew, 1948-.

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

Place hold Log in to add tags
E-BOOKS
Groupoids in analysis, geometry, and physics : [electronic resource] AMS-IMS-SIAM Joint Summer Research Conference on Groupoids in Analysis, Geometry, and Physics, June 20-24, 1999, University of Colorado, Boulder / Arlan Ramsay, Jean Renault, editors.

by AMS-IMS-SIAM Joint Summer Research Conference on Groupoids in Analysis, Geometry, and Physics (1999 : University of Colorado) | Ramsay, Arlan | Renault, Jean, 1949-.

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

Place hold Log in to add tags
E-BOOKS
Computational and statistical group theory : [electronic resource] AMS Special Session Geometric Group Theory, April 21-22, 2001, Las Vegas, Nevada, AMS Special Session Computational Group Theory, April 28-29, 2001, Hoboken, New Jersey / Robert Gilman, Vladimir Shpilrain, Alexei G. Myasnikov, editors.

by AMS Special Session Geometric Group Theory (2001 : Las Vegas, Nev.) | Gilman, Robert H, 1942- | Shpilrain, Vladimir, 1960- | Myasnikov, Alexei G, 1955- | AMS Special Session Computational Group Theory (2001 : Hoboken, N.J.).

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

Place hold Log in to add tags
E-BOOKS
Physical knots : [electronic resource] knotting, linking, and folding geometric objects in Rp3s : AMS Special Session on Physical Knotting and Unknotting, Las Vegas, Nevada, April 21-22, 2001 / Jorge Alberto Calvo, Kenneth C. Millett, Eric J. Rawdon, editors.

by AMS Special Session on Physical Knotting and Unknotting (2001 : Las Vegas, Nev.) | Calvo, Jorge Alberto, 1971- | Millett, Kenneth C | Rawdon, Eric J, 1970-.

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

Place hold Log in to add tags
E-BOOKS
Idempotent mathematics and mathematical physics : [electronic resource] international workshop, February 3-10, 2003, Erwin Schr�odinger International Institute for Mathematical Physics, Vienna, Austria / G.L. Litvinov, V.P. Maslov, editors.

by Litvinov, G. L. (Grigori�i Lazarevich), 1944- | Maslov, V. P. (Viktor Pavlovich).

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

Place hold Log in to add tags
E-BOOKS
Snowbird lectures in algebraic geometry : [electronic resource] proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Algebraic Geometry--Presentations by Young Researchers, July 4-8, 2004, Snowbird, Utah / Ravi Vakil, editor.

by AMS-IMS-SIAM Joint Summer Research Conference on Algebraic Geometry: Presentations by Young Researchers (2004 : Snowbird, Utah) | Vakil, Ravi.

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

Place hold Log in to add tags
E-BOOKS
Trends in representation theory of algebras and related topics : [electronic resource] Workshop on Representations of Algebras and Related Topics, August 11-14, 2004, Quer�etaro, M�exico / Jos�e A. de la Pe�na, Raymundo Bautista, editors.

by Workshop on Representations of Algebras and Related Topics (2004 Queretaro, Mexico) | Pe�na, Jos�e Antonio de la, 1958- | Bautista, Raymundo.

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

Place hold Log in to add tags
E-BOOKS
Quantum groups : [electronic resource] proceedings of a conference in memory of Joseph Donin, July 5-12, 2004, Technion-Israel, Institute of Technology, Haifa, Israel / Pavel Etingof, Shlomo Gelaki, Steven Shnider, editors.

by International Conference on Quantum Groups (2004 : Technion-Israel Institute of Technology) | Donin, Joseph, -2004 | Etingof, P. I. (Pavel I.), 1969- | Gelaki, Shlomo, 1964- | Shnider, S. (Steven), 1945-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 433.Material type: Text Text;Language: English; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Providence, R.I. : Ramat Gan, Israel : American Mathematical Society ; Bar-Ilan University, c2007Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Hopf algebras and generalizations : [electronic resource] AMS Special Session on Hopf Algebras at the Crossroads of Algebra, Category Theory, and Topology, October 23-24, 2004, Evanston, Illinois / Louis H. Kauffman, David E. Radford, Fernando J.O. Souza, editors.

by AMS Special Session on Hopf Algebras at the Crossroads of Algebra, Category Theory, and Topology (2004 : Evanston, Ill.) | Kauffman, Louis H, 1945- | Radford, David E | Souza, Fernando J. O. (Fernando Jos�e Oliveira), 1971-.

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

Place hold Log in to add tags
E-BOOKS
Real and complex singularities : [electronic resource] Ninth International Workshop on Real and Complex Singularities, July 23-28, 2006, ICMC-USP, S�ao Carlos, S.P. Brazil / Marcelo J. Saia, Jos�e Seade, editors.

by International Workshop on Real and Complex Singularities (9th : 2006 : S�ao Carlos, S�ao Paulo, Brazil) | Saia, Marcelo Jos�e | Seade, J. (Jos�e).

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

Place hold Log in to add tags
E-BOOKS
Singularities : [electronic resource] international conference in honor of the 60th birthday of L�e D�ung Tr�ang, January 8-26, 2007, Cuernavaca, Mexico / Jean-Paul Brasselet ... [et al.], editors.

by L�e, D�ung Tr�ang | Brasselet, Jean-Paul.

Series: Contemporary mathematics (American Mathematical Society) ; v. 474-475.Material type: Text Text;Language: English; Format: available online remote festschrift ; Literary form: Not fiction Language: English, French Publication details: Providence, R.I. : American Mathematical Society, c2008Other title: School and workshop on the geometry and topology of singularities | Geometry and topology of singularities.Online 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