Your search returned 647 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov.

by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8312Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
Proceedings of the Conference on Banach Algebras and Several Complex Variables / [electronic resource] F. Greenleaf and D. Gulick, editors.

by Conference on Banach Algebras and Several Complex Variables (1983 : Yale University) | Greenleaf, Frederick P | Gulick, Denny | Rickart, C. E. (Charles Earl), 1913-.

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

Place hold Log in to add tags
E-BOOKS
Measure and measurable dynamics : [electronic resource] proceedings of a conference in honor of Dorothy Maharam Stone, held September 17-19, 1987 / R. Daniel Mauldin, R.M. Shortt, and Cesar E. Silva, editors.

by Conference on Measure and Measurable Dynamics (1987 : University of Rochester) | Maharam-Stone, D. (Dorothy) | Mauldin, R. Daniel, 1943- | Shortt, Rae Michael | Silva, C�esar Ernesto, 1955-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 94.Material type: Text Text;Language: English; Format: available online remote festschrift ; 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
E-BOOKS
Probability theory and its applications in China / [electronic resource] Yan Shi-Jian, Yang Chung-Chun, Wang Jia-Gang, editors.

by Yen, Shih-chien | Yang, Chung-Chun, 1942- | Wang, Chia-kang.

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

Place hold Log in to add tags
E-BOOKS
Curves, Jacobians, and Abelian varieties : [electronic resource] proceedings of an AMS-IMS-SIAM Joint Summer Research Workshop on the Schottky Problem / Ron Donagi, editor.

by AMS-IMS-SIAM Joint Summer Research Conference on the Schottky Problem (1990 : University of Massachusetts, Amherst) | Donagi, Ron.

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

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
Extremal Riemann surfaces / [electronic resource] J.R. Quine, Peter Sarnak, editors.

by Quine, J. R. (John R.), 1943- | Sarnak, Peter.

Series: Contemporary mathematics (American Mathematical Society) ; v. 201.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1997Online 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
Lipa's legacy : [electronic resource] proceedings of the Bers Colloquium, October 19-20, 1995, Graduate School and University Center of CUNY / J�ozef Dodziuk, Linda Keen, editors.

by Bers Colloquium (1st : 1995 : Graduate School and University Center of CUNY) | Dodziuk, J�ozef, 1947- | Keen, Linda.

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

Place hold Log in to add tags
E-BOOKS
Finite fields : [electronic resource] theory, applications, and algorithms : Fourth International Conference on Finite Fields-- Theory, Applications, and Algorithms, August 12-15, 1997, University of Waterloo, Ontario, Canada / Ronald C. Mullin, Gary L. Mullen, editors.

by International Conference on Finite Fields: Theory, Applications, and Algorithms (4th : 1997 : University of Waterloo) | Mullin, Ronald C. (Ronald Cleveland), 1936- | Mullen, Gary L.

Series: Contemporary mathematics (American Mathematical Society) ; v. 225.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
Banach algebras and their applications : [electronic resource] Sixteenth International Conference on Banach Algebras, University of Alberta in Edmonton, Canada, July 27-August 9, 2003 / Anthony To-Ming Lau, Volker Runde, editors.

by International Conference on Banach Algebras (16th : 2003 : University of Alberta in Edmonton) | Lau, Anthony To-Ming | Runde, Volker.

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

Place hold Log in to add tags
E-BOOKS
Concentration, functional inequalities, and isoperimetry : [electronic resource] International Workshop on Concentration, Functional Inequalities, and Isoperimetry, October 29-November 1, 2009, Florida Atlantic University, Boca Raton, Florida / Christian Houdr�e ... [et al.], editors.

by International Workshop on Concentration, Functional Inequalities, and Isoperimetry (2009 : Florida Atlantic University) | Houdr�e, Christian.

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

Place hold Log in to add tags
E-BOOKS
Theory of numbers. [electronic resource] [Albert Leon Whiteman, editor]

by Symposium on Recent Developments in the Theory of Numbers (1963 : California Institute of Technology) | American Mathematical Society | California Institute of Technology.

Series: Proceedings of symposia in pure mathematics ; v. 8Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, American Mathematical Society, 1965Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Web Technologies and Applications [electronic resource] : 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings / edited by Reynold Cheng, Bin Cui, Zhenjie Zhang, Ruichu Cai, Jia Xu.

by Cheng, Reynold [editor.] | Cui, Bin [editor.] | Zhang, Zhenjie [editor.] | Cai, Ruichu [editor.] | Xu, Jia [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9313 | Lecture Notes in Computer Science ; 9313Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
Integer Programming and Combinatorial Optimization [electronic resource] : 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings / edited by Quentin Louveaux, Martin Skutella.

by Louveaux, Quentin [editor.] | Skutella, Martin [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9682 | Lecture Notes in Computer Science ; 9682Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online 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
Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen.

by Ábrahám, Erika [editor.] | Bonsangue, Marcello [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9660 | Lecture Notes in Computer Science ; 9660Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli.

by Baier, Christel [editor.] | Tinelli, Cesare [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9035 | Lecture Notes in Computer Science ; 9035Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
E-BOOKS
Functional Analysis and Operator Theory [electronic resource] : Proceedings of a Conference held in Memory of U. N. Singh New Delhi, India, 2–6 August, 1990 / edited by B. S. Yadav, D. Singh.

by Yadav, B. S [editor.] | Singh, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1511Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
A Nonlinear Transfer Technique for Renorming [electronic resource] / by Aníbal Moltó, José Orihuela, Stanimir Troyanski, Manuel Valdivia.

by Moltó, Aníbal [author.] | Orihuela, José [author.] | Troyanski, Stanimir [author.] | Valdivia, Manuel [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1951Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online 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
Logic versus Approximation [electronic resource] : Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday / edited by Wolfgang Lenski.

by Lenski, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3075Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online 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