Your search returned 9539 results.

Not what you expected? Check for suggestions
BOOKS
Homi Bhabha and the Computer Revolution

by Shyamasundar. R. K. Ed | Pai. M. A.

Publication details: New Delhi Oxford University Press 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 33 Call number: 681 SHY.

BOOKS
Digitized The Science of Computers and How it Shapes our World

by Bentley, J. Peter.

Publication details: New York Oxford University Press 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 46 Call number: 681 BEN.

BOOKS
Scalable Algorithms for Data and Network Analysis

by Teng, Shang-Hua.

Series: Foundations and Trends in Theoretical Computer Science ; 12, No:1-2Material type: Text Text Publication details: Boston Now the Essence of Knowledge 2016Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 9 Call number: 681.4 FTTCS.

BOOKS
Logic in Computer Science Modelling and Reasoning about Systems

by Huth, Michael | Ryan, Mark.

Edition: 2ndMaterial type: Text Text Publication details: New York Cambridge University Press 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HUTH.

BOOKS
Temporal Logics in Computer Science Finite State Systems

by Demri, Stephane | Goranko, Valentin | Lange, Martin.

Series: Cambridge Tracts in Theoretical Computer Science ; 00058Material type: Text Text Publication details: New York Cambridge University Press 2016Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DEM.

E-BOOKS
Physics and Number Theory [electronic resource] / Louise Nyssen

by Nyssen, Louise [editor.].

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

E-BOOKS
Tractability of Multivariate Problems [electronic resource] : Volume I: Linear Information / Erich Novak, Henryk Woźniakowski

by Novak, Erich [author.] | Novak, Erich [author.] | Woźniakowski, Henryk [author.].

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

E-BOOKS
6th International Congress on Industrial and Applied Mathematics Zürich, Switzerland, 16-20 July 2007 [electronic resource] : Invited Lectures / Rolf Jeltsch, Gerhard Wanner

by Jeltsch, Rolf [editor.] | Wanner, Gerhard [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, 2009Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Bases in Function Spaces, Sampling, Discrepancy, Numerical integration [electronic resource] / Hans Triebel

by Triebel, Hans [author.] | Triebel, Hans [author.].

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

E-BOOKS
Tractability of Multivariate Problems [electronic resource] : Volume II: Standard Information for Functionals / Erich Novak, Henryk Woźniakowski

by Novak, Erich [author.] | Novak, Erich [author.] | Woźniakowski, Henryk [author.].

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

E-BOOKS
Nonlinear Discrete Optimization [electronic resource] : An Algorithmic Theory / Shmuel Onn

by Onn, Shmuel [author.] | Onn, Shmuel [author.].

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

E-BOOKS
The Blind Spot [electronic resource] : Lectures on Logic / Jean-Yves Girard

by Girard, Jean-Yves [author.] | Girard, Jean-Yves [author.].

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

E-BOOKS
Faber Systems and Their Use in Sampling, Discrepancy, Numerical Integration [electronic resource] / Hans Triebel

by Triebel, Hans [author.] | Triebel, Hans [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, 2012Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Foundations of Garside Theory [electronic resource] / Patrick Dehornoy, François Digne, Eddy Godelle, Daan Krammer, Jean Michel

by Dehornoy, Patrick [author.] | Dehornoy, Patrick [author.] | Digne, François [author.] | Godelle, Eddy [author.] | Krammer, Daan [author.] | Michel, Jean [author.].

Series: EMS Tracts in Mathematics (ETM) ; 22Material 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): .

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): .

THESIS & DISSERTATION
Parameterized Algorithms for Graph Modification problems

by Ashutosh Rai [author].

Material type: Text Text Publication details: 2016Dissertation Note: Ph.D HBNIAdvisor(s): Saket Saurabh.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th110.

THESIS & DISSERTATION
On proof complexity for Quantied Boolean formulas

by Anil Shukla [author].

Material type: Text Text Publication details: 2017Dissertation Note: Ph.D HBNIAdvisor(s): Meena Mahajan.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th112.

THESIS & DISSERTATION
Parameterized complexity of graph partitioning and geometric covering

by Sudeshna Kolay [author].

Material type: Text Text Publication details: 2016Dissertation Note: Ph.D HBNIAdvisor(s): Saket Saurabh.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th115.

THESIS & DISSERTATION
On Structure and Lower Bounds in Restricted Models of Arithmetic Computations

by Raja, S [author].

Material type: Text Text Publication details: 2017Dissertation Note: Ph.D HBNIAdvisor(s): Arvind, V..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th118.

BOOKS
Unsolved The History and Mystery of the World's Greatest Ciphers from Ancient Egypt to Online Secret Societies

by Bauer, Craig. P.

Publication details: New Jersey Princeton University Press 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAU.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha