Your search returned 9614 results.

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

BOOKS
Natural Complexity A Modeling Handbook

by Charbonneau, Paul.

Series: Primers in Computer Systems Publication details: New Jersey Princeton University Press 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 42 Call number: 681.3 CHA.

BOOKS
The Mathematics of Secrets Cryptography from Caesar Ciphers to Digital Encryption

by Holden, Joshua.

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

BOUND VOLUMES
BOUND VOLUMES
BOOKS
Convex Optimization

by Boyd, Stephen | Vandenberghe, Lieven.

Edition: Indian Publication details: New Delhi Cambridge India 2016Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 48 Shelf No: 40 Call number: 681.3 BOYD.

THESIS & DISSERTATION
Parameterized Algorithms for Network Design

by Pranabendu Misra [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 Th122.

BOOKS
Mathematics ++ Selected Topics Beyond the Basic Courses

by Kantor, Ida | Matousek, Jiri | Samal, Robert.

Series: Student Mathematical Library ; 75Edition: Indian EditionMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Providence American Mathematical Society 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 23 Call number: 51 KAN.

BOOKS
The Mathematics of Encryption An Elementary Introduction

by Cozzens, Margaret.

Series: Mathematical World ; 00029Edition: Indian EditionMaterial type: Text Text Publication details: Providence American Mathematical Society 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 18 Call number: 511 COZ.

BOOKS
Hashing Load Balancing and Multiple Choice

by Wieder, Udi.

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

BOOKS
Fundamental proof methods in Computer Science

by Arkoudas, Konstantine Musser, David.

Material type: Text Text Publication details: Cambridge The MIT Press 2017Availability: No items available :

BOOKS
Fundamental proof methods in Computer Science

by Arkoudas, Konstantine Musser, David.

Material type: Text Text Publication details: Cambridge The MIT Press 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 ARK.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha