Your search returned 257 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
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
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
Algebraic topology. [electronic resource] [Edited by Arunas Liulevicius]

by Symposium in Pure Mathematics University of Wisconsin, June 29-July 17, 1970 | Liulevicius, Arunas, 1934- [ed.] | American Mathematical Society.

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

Place hold Log in to add tags
E-BOOKS
Elliptic PDEs, Measures and Capacities [electronic resource] : From the Poisson Equation to Nonlinear Thomas–Fermi Problems / Augusto C. Ponce

by Ponce, Augusto C [author.] | Ponce, Augusto C [author.].

Series: EMS Tracts in Mathematics (ETM) ; 23Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2016Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski.

by Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10203 | Lecture Notes in Computer Science ; 10203Edition: 1st ed. 2017.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, 2017Online 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 International Conference on Algebra dedicated to the memory of A.I. Malcev / [electronic resource] L.A. Bokut, Yu. L. Ershov, A.I. Kostrikin, editors.

by International Conference on Algebra (1989 : Akademgorodok, Novosibirsk, Russia) | Mal��tsev, A. I. (Anatoli�i Ivanovich), 1909-1967 | Bokut�, L. A. (Leonid Arkad�evich), 1937- | Ershov, �IUri�i Leonidovich | Kostrikin, A. I. (Alekse�i Ivanovich).

Series: Contemporary mathematics (American Mathematical Society) ; v. 130.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
Singularities / [electronic resource] [edited by Peter Orlik].

by Orlik, Peter, 1938- | American Mathematical Society | Summer Institute on Singularities (1981 : Humboldt State University).

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

Place hold Log in to add tags
E-BOOKS
Proceedings of the Conference on Orders, Group Rings and Related Topics [electronic resource] / by John S. Hsia, Manohar L. Madan, Thomas G. Ralley.

by Hsia, John S [author.] | Madan, Manohar L [author.] | Ralley, Thomas G [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 353Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1973Online 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
Logics for Concurrency [electronic resource] : Structure versus Automata / edited by Faron Moller, Graham Birtwistle.

by Moller, Faron [editor.] | Birtwistle, Graham [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1043Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Topics in Dynamics and Ergodic Theory / Edited by Sergey Bezuglyi, Sergiy Kolyada.

by Bezuglyi, Sergey [editor of compilation.] | Kolyada, Sergiy [editor of compilation.].

Series: London Mathematical Society Lecture Note Series ; no. 310Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2003Other title: Topics in Dynamics & Ergodic Theory.Online 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
Aspects of Sobolev-Type Inequalities / Laurent Saloff-Coste.

by Saloff-Coste, Laurent [author.].

Series: London Mathematical Society Lecture Note Series ; no. 289Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 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
C*-algebras of homoclinic and heteroclinic structure in expansive dynamics / [electronic resource] Klaus Thomsen.

by Thomsen, Klaus, 1957-.

Series: Memoirs of the American Mathematical Society ; no. 970.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 2010Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Progress in Pattern Recognition, Speech and Image Analysis [electronic resource] : 8th Iberoamerican Congress on Pattern Recognition, CIARP 2003, Havana, Cuba, November 26-29, 2003 Proceedings / edited by Alberto Sanfeliu, José Ruiz-Shulcloper.

by Sanfeliu, Alberto [editor.] | Ruiz-Shulcloper, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2905Source: 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
Advances in Artificial Intelligence [electronic resource] : 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006. Proceedings / edited by Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis.

by Antoniou, Grigoris [editor.] | Potamias, George [editor.] | Spyropoulos, Costas [editor.] | Plexousakis, Dimitris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3955Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
Computer Science – Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings / edited by Dima Grigoriev, John Harrison, Edward A. Hirsch.

by Grigoriev, Dima [editor.] | Harrison, John [editor.] | Hirsch, Edward A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3967Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
EUROCAL '85 [electronic resource] : European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions / edited by Bob F. Caviness.

by Caviness, Bob F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 204Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 4th International Conference, XP 2003 Genova, Italy, May 25–29, 2003 Proceedings / edited by Michele Marchesi, Giancarlo Succi.

by Marchesi, Michele [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2675Source: 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
Scale Space Methods in Computer Vision [electronic resource] : 4th International Conference, Scale Space 2003 Isle of Skye, UK, June 10–12, 2003 Proceedings / edited by Lewis D. Griffin, Martin Lillholm.

by Griffin, Lewis D [editor.] | Lillholm, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2695Source: 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
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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha