Your search returned 697 results.

Not what you expected? Check for suggestions
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): .

Place hold Log in to add tags
E-BOOKS
Numerical Analysis and Its Applications [electronic resource] : 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov.

by Dimov, Ivan [editor.] | Faragó, István [editor.] | Vulkov, Lubin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8236Source: 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
Four Faces of Number Theory [electronic resource] / Kathrin Bringmann, Yann Bugeaud, Titus Hilberdink, Jürgen Sander

by Bringmann, Kathrin [author.] | Bringmann, Kathrin [author.] | Bugeaud, Yann [author.] | Hilberdink, Titus [author.] | Sander, Jürgen [author.].

Series: EMS Series of Lectures in Mathematics (ELM)Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2015Online 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
Trends in Functional Programming [electronic resource] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / edited by Manuel Serrano, Jurriaan Hage.

by Serrano, Manuel [editor.] | Hage, Jurriaan [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9547 | Lecture Notes in Computer Science ; 9547Edition: 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
Progress in Cryptology - LATINCRYPT 2014 [electronic resource] : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014 Revised Selected Papers / edited by Diego F. Aranha, Alfred Menezes.

by Aranha, Diego F [editor.] | Menezes, Alfred [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 8895 | Lecture Notes in Computer Science ; 8895Edition: 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
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): .

Place hold Log in to add tags
E-BOOKS
Progress in Cryptology – INDOCRYPT 2017 [electronic resource] : 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017, Proceedings / edited by Arpita Patra, Nigel P. Smart.

by Patra, Arpita [editor.] | Smart, Nigel P [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10698 | Lecture Notes in Computer Science ; 10698Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang.

by Urban, Christian [editor.] | Zhang, Xingyuan [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Combinatorial Image Analysis [electronic resource] : 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings / edited by Reneta P. Barneva, Bhargab B. Bhattacharya, Valentin E. Brimkov.

by Barneva, Reneta P [editor.] | Bhattacharya, Bhargab B [editor.] | Brimkov, Valentin E [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9448 | Lecture Notes in Computer Science ; 9448Edition: 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
Graphical Models for Security [electronic resource] : Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / edited by Barbara Kordy, Mathias Ekstedt, Dong Seong Kim.

by Kordy, Barbara [editor.] | Ekstedt, Mathias [editor.] | Kim, Dong Seong [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9987 | Lecture Notes in Computer Science ; 9987Edition: 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
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Connectomics in NeuroImaging [electronic resource] : First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings / edited by Guorong Wu, Paul Laurienti, Leonardo Bonilha, Brent C. Munsell.

by Wu, Guorong [editor.] | Laurienti, Paul [editor.] | Bonilha, Leonardo [editor.] | Munsell, Brent C [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10511 | Lecture Notes in Computer Science ; 10511Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Combinatorial Image Analysis [electronic resource] : 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings / edited by Valentin E. Brimkov, Reneta P. Barneva.

by Brimkov, Valentin E [editor.] | Barneva, Reneta P [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10256 | Lecture Notes in Computer Science ; 10256Edition: 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): .

Place hold Log in to add tags
BOOKS
Mathematics and Computation : A Theory Revolutionizing Technology and Science

by Wigderson, Avi.

;Language: English Language: English Publication details: Princeton Princeton University Press 2019Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 42 Call number: 511 WIG.
Lists:

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Computer Science 2004 [electronic resource] : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings / edited by Jiří Fiala, Václav Koubek, Jan Kratochvíl.

by Fiala, Jiří [editor.] | Koubek, Václav [editor.] | Kratochvíl, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3153Source: 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
Graph-Theoretic Concepts in Computer Science [electronic resource] : 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers / edited by Juraj Hromkovič, Manfred Nagl, Bernhard Westfechtel.

by Hromkovič, Juraj [editor.] | Nagl, Manfred [editor.] | Westfechtel, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3353Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Mathematical Knowledge Management [electronic resource] : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers / edited by Michael Kohlhase.

by Kohlhase, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3863Source: 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
Advances in Cryptology – EUROCRYPT 2005 [electronic resource] : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings / edited by Ronald Cramer.

by Cramer, Ronald [editor.] | SpringerLink (Online service).

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