Your search returned 349 results.

Not what you expected? Check for suggestions
E-BOOKS
Computational Geometry [electronic resource] : XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers / edited by Alberto Márquez, Pedro Ramos, Jorge Urrutia.

by Márquez, Alberto [editor.] | Ramos, Pedro [editor.] | Urrutia, Jorge [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7579Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday / edited by Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola.

by Brodnik, Andrej [editor.] | López-Ortiz, Alejandro [editor.] | Raman, Venkatesh [editor.] | Viola, Alfredo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8066Source: 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): .

E-BOOKS
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling.

by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8123Source: 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): .

E-BOOKS
Statistical inference from stochastic processes : [electronic resource] proceedings of the AMS-IMS-SIAM joint summer research conference held August 9-15, 1987, with support from the National Science Foundation and the Army Research Office / N.U. Prabhu, editor.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Statistical Inference from Stochastic Processes (1987 : Cornell University) | Prabhu, N. U. (Narahari Umanath), 1924- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

Series: Contemporary mathematics (American Mathematical Society) ; v. 80.Material 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): .

E-BOOKS
African-Americans in mathematics II : [electronic resource] fourth Conference for African-American Researchers in the Mathematical Sciences, June 16-19, 1998, Rice University, Houston, Texas / Nathaniel Dean, Cassandra M. McZeal, Pamela J. Williams, editors.

by Conference for African-American Researchers in the Mathematical Sciences (4th : 1998 : Houston, Tex.) | Dean, Nathaniel, 1956- | McZeal, Cassandra M, 1970- | Williams, Pamela J.

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

E-BOOKS
Superstrings, geometry, topology, and C*-algebras : [electronic resource] [NSF-CBMS Conference Topology, C*-algebras, and String Duality, May 18-22, 2009, Texas Christian University, Fort Worth, Texas] / Robert S. Doran, Greg Friedman, Jonathan Rosenberg, editors.

by NSF-CBMS Conference Topology, C*-algebras, and String Duality (2009 : Texas Christian University) | Doran, Robert S, 1937- | Friedman, Greg, 1973- | Rosenberg, Jonathan M. (Jonathan Micah), 1951- | Conference Board of the Mathematical Sciences | National Science Foundation (U.S.).

Series: Proceedings of symposia in pure mathematics ; v. 81.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): .

BOOKS
Scalar, Vector, and Matrix Mathematics Theory, Facts, and Formulas

by Bernstein, Dennis S.

Edition: Revised and Expanded Edition;Language: English Language: English Publication details: Princeton Princeton University Press 2018Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 40 Call number: 514.14 BER.

E-BOOKS
Computer Science -- Theory and Applications [electronic resource] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / edited by Lev D. Beklemishev, Daniil V. Musatov.

by Beklemishev, Lev D [editor.] | Musatov, Daniil V [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9139 | Lecture Notes in Computer Science ; 9139Edition: 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): .

E-BOOKS
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 Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella.

by Italiano, Giuseppe F [editor.] | Pighizzini, Giovanni [editor.] | Sannella, Donald T [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9234 | Lecture Notes in Computer Science ; 9234Edition: 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): .

E-BOOKS
Arithmetic of Finite Fields [electronic resource] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / edited by Çetin Kaya Koç, Sihem Mesnager, Erkay Savaş.

by Koç, Çetin Kaya [editor.] | Mesnager, Sihem [editor.] | Savaş, Erkay [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9061 | Lecture Notes in Computer Science ; 9061Edition: 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): .

E-BOOKS
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / edited by Gita Sukthankar, Juan A. Rodriguez-Aguilar.

by Sukthankar, Gita [editor.] | Rodriguez-Aguilar, Juan A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10642 | Lecture Notes in Computer Science ; 10642Edition: 1st ed. 2017.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, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II / edited by Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella.

by Italiano, Giuseppe F [editor.] | Pighizzini, Giovanni [editor.] | Sannella, Donald T [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9235 | Lecture Notes in Computer Science ; 9235Edition: 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): .

E-BOOKS
Structural Information and Communication Complexity [electronic resource] : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings / edited by Christian Scheideler.

by Scheideler, Christian [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9439 | Lecture Notes in Computer Science ; 9439Edition: 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): .

E-BOOKS
Parallel Problem Solving from Nature – PPSN XIV [electronic resource] : 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings / edited by Julia Handl, Emma Hart, Peter R. Lewis, Manuel López-Ibáñez, Gabriela Ochoa, Ben Paechter.

by Handl, Julia [editor.] | Hart, Emma [editor.] | Lewis, Peter R [editor.] | López-Ibáñez, Manuel [editor.] | Ochoa, Gabriela [editor.] | Paechter, Ben [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9921 | Lecture Notes in Computer Science ; 9921Edition: 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): .

E-BOOKS
Theory and Applications of Satisfiability Testing – SAT 2016 [electronic resource] : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / edited by Nadia Creignou, Daniel Le Berre.

by Creignou, Nadia [editor.] | Le Berre, Daniel [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9710 | Lecture Notes in Computer Science ; 9710Edition: 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): .

E-BOOKS
Computational Science — ICCS 2003 [electronic resource] : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003 Proceedings, Part I / edited by Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Jack J. Dongarra, Albert Y. Zomaya, Yuriy E. Gorbachev.

by Sloot, Peter M. A [editor.] | Abramson, David [editor.] | Bogdanov, Alexander V [editor.] | Dongarra, Jack J [editor.] | Zomaya, Albert Y [editor.] | Gorbachev, Yuriy E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2657Source: 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): .

E-BOOKS
Simulated Evolution and Learning [electronic resource] : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings / edited by Xiaodong Li, Michael Kirley, Mengjie Zhang, David Green, Vic Ciesielski, Hussein Abbass, Zbigniew Michalewicz, Tim Hendtlass, Kalyanmoy Deb, Kay Chen Tan, Jürgen Branke, Yuhui Shi.

by Li, Xiaodong [editor.] | Kirley, Michael [editor.] | Zhang, Mengjie [editor.] | Green, David [editor.] | Ciesielski, Vic [editor.] | Abbass, Hussein [editor.] | Michalewicz, Zbigniew [editor.] | Hendtlass, Tim [editor.] | Deb, Kalyanmoy [editor.] | Tan, Kay Chen [editor.] | Branke, Jürgen [editor.] | Shi, Yuhui [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5361Source: 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): .

E-BOOKS
Braids : [electronic resource] proceedings of a summer research conference held July 13-16, 1986 / Joan S. Birman and Anatoly Libgober, editors.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Artin's Braid Group (1986 : University of California, Santa Cruz) | Birman, Joan S, 1927- | Libgober, A. (Anatoly), 1949- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

Series: Contemporary mathematics (American Mathematical Society) ; v. 78.Material 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): .

E-BOOKS
European Congress of Mathematics Kraków, 2 – 7 July, 2012 [electronic resource] / Rafał Latała, Andrzej Ruciński, Paweł Strzelecki, Jacek Świątkowski, Dariusz Wrzosek, Piotr Zakrzewski

by Latała, Rafał [editor.] | Ruciński, Andrzej [editor.] | Strzelecki, Paweł [editor.] | Świątkowski, Jacek [editor.] | Wrzosek, Dariusz [editor.] | Zakrzewski, Piotr [editor.].

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha