Your search returned 314 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith.

by Dawar, Anuj [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6247Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 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
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
Recent developments in quantum affine algebras and related topics : [electronic resource] representations of affine and quantum affine algebras and their applications, North Carolina State University, May 21-24, 1998 / Naihuan Jing, Kailash C. Misra, editors.

by Jing, Naihuan | Misra, Kailash C, 1954-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 248.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
Complex manifolds and hyperbolic geometry : [electronic resource] II Iberoamerican Congress on Geometry, January 4-9, 2001, CIMAT, Guanajuato, Mexico / Clifford J. Earle, William J. Harvey, Sev�in Recillas-Pishmish, editors.

by Iberoamerican Congress on Geometry (2nd : 2001 : Guanajuato, Mexico) | Earle, Clifford J | Harvey, William J, 1941- | Recillas-Pishmish, Sev�in, 1943-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 311.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
Automorphic forms and related geometry : [electronic resource] assessing the legecy of I.I. Piatetski-Shapiro : April 23-27, 2012, Yale University, New Haven, CT / James W. Cogdell, Freydoon Shahidi, David Soudry, editors.

by Cogdell, James W, 1953- [editor of compilation.] | Shahidi, Freydoon [editor of compilation.] | Soudry, David, 1956- [editor of compilation.].

Series: Contemporary mathematics ; v. 614Material type: Text Text;Language: English; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Global analysis. [electronic resource] [Shiing-Shen Chern and Stephen Smale, editors]

by Symposium in Pure Mathematics University of California at Berkeley, 1968 | Chern, Shiing-Shen, 1911- [ed.] | Smale, Stephen, 1930- [ed.] | American Mathematical Society.

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

Place hold Log in to add tags
E-BOOKS
The mathematical heritage of Hermann Weyl / [electronic resource] R.O. Wells, Jr., editor.

by Symposium on the Mathematical Heritage of Hermann Weyl (1987 : Duke University) | Wells, R. O. (Raymond O'Neil), 1940-.

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

Place hold Log in to add tags
E-BOOKS
New Approaches to Nonlinear Waves [electronic resource] / edited by Elena Tobisch.

by Tobisch, Elena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 908Edition: 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
Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.

by Lloyd, John [editor.] | Dahl, Veronica [editor.] | Furbach, Ulrich [editor.] | Kerber, Manfred [editor.] | Lau, Kung-Kiu [editor.] | Palamidessi, Catuscia [editor.] | Pereira, Luís Moniz [editor.] | Sagiv, Yehoshua [editor.] | Stuckey, Peter J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1861Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings / edited by Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger.

by Baeten, Jos C. M [editor.] | Lenstra, Jan Karel [editor.] | Parrow, Joachim [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2719Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Computational Science — ICCS 2002 [electronic resource] : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III / edited by Peter M. A. Sloot, Alfons G. Hoekstra, C. J. Kenneth Tan, Jack J. Dongarra.

by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2331Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings / edited by Petra Perner.

by Perner, Petra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4571Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
Smooth ergodic theory and its applications : [electronic resource] proceedings of the AMS Summer Research Institute on Smooth Ergodic Theory and Its Applications, July 26-August 13, 1999, University of Washington, Seattle / Anatole Katok ... [et al.], editors.

by AMS Summer Research Institute on Smooth Ergodic Theory and Its Applications (1999 : University of Washington) | Katok, A. B.

Series: Proceedings of symposia in pure mathematics ; v. 69Material 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
Spectral geometry / [electronic resource] Alex H. Barnett, Carolyn S. Gordon, Peter A. Perry, Alejandro Uribe, editors.

by International Conference on Spectral Geometry (2010 : Dartmouth College) | Barnett, Alex, 1972 December 7- [editor of compilation.].

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

Place hold Log in to add tags
E-BOOKS
Deep-Inelastic and Fusion Reactions with Heavy Ions [electronic resource] : Proceedings of the Symposium Held at the Hahn-Meitner-Institut für Kernforschung, Berlin October 23–25, 1979 / edited by W. Oertzen.

by Oertzen, W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 117Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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
Computational Many-Particle Physics [electronic resource] / edited by H. Fehske, R. Schneider, A. Weiße.

by Fehske, H [editor.] | Schneider, R [editor.] | Weiße, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 739Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani.

by Berardi, Stefano [editor.] | Coppo, Mario [editor.] | Damiani, Ferruccio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3085Source: 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
E-BOOKS
Information Systems and Artificial Intelligence: Integration Aspects [electronic resource] : First Workshop Ulm, FRG, March 19–21, 1990 Proceedings / edited by Dimitris Karagiannis.

by Karagiannis, Dimitris [editor.] | SpringerLink (Online service).

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