Your search returned 426 results.

Not what you expected? Check for suggestions
BOOKS
On doubly efficient interactive proof systems

by Goldreich, Oded.

Series: Foundations and trends in theoretical computer science ; Volume.13, Issue.3Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Boston Now the essence of knowledge 2018Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 9 Call number: 681.4 FTTCS.

BOOKS
The design of approximation algorithms

by Williamson David P | Shmoys, David Bernard.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge University Press 2011Availability: No items available : Checked out (1).

BOOKS
What can be computed? : a practical guide to the theory of computation / John MacCormick.

by MacCormick, John.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Princeton Princeton university 2018Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 44 Call number: 681.3.06 MAC.

BOOKS
Logic and discrete mathematics a computer science perspective /

by Grassmann, Winfried K. Tremblay, Jean-Paul | Tremblay, Jean-Paul.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New Jersey. : Prentice Hall, c1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 1 Call number: 681.3 GRA.

BOOKS
Probability on trees and networks

by Lyons, Russell | Peres Yuval.

Series: Cambridge series in statistical and probabilistic mathematicsMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Cambridge university press 2016Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:35 Shelf No:37 Call number: 519.216 LYO.

BOOKS
The Power of Networks : Six Principles That Connect Our Lives

by Brinton Christopher G & Chiang Mung.

;Language: English Language: Eng Publication details: Princeton Princeton University Press 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 BRI.

BOOKS
Philosophical logic: current trends in asia, Proceedings of AWPL-TPLC 2016

by Chin-Mu Yang, Syraya. [et....all].

Series: Logic in Asia: Studia Logica LibraryMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Germany springer 2017Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 48 Call number: 510.6 CHI.

BOOKS
Viruses as Complex Adaptive Systems

by Solé Ricard & Elena Santiago F.

;Language: English Language: Eng Publication details: Princeton Princeton University Press 2018Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 19 Call number: 681.3 SOL.

BOOKS
Data Visualization : A Practical Introduction

by Healy, Kieran.

;Language: English Language: Eng Publication details: Princeton Princeton University Press 2019Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 38 Call number: 681.3.06 HEA.

BOOKS
Computing skills for biologists :a toolbox

by Allesina Stefano, Wilmes Madlen.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Princeton Princeton University Press 2019Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 37 Call number: 681.3 ALL.

BOOKS
Machine Learning - A Probabilistic Perspective

by Murphy Kevin P.

;Language: English Language: Eng Publication details: MIT Press 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49, Shelf No: 12 Call number: 681.3 MUR.

BOOKS
Optical Fiber Theory: A Supplement to Applied Electromagnetism (Series in Optics and Photonics, Vol 5)

by Belanger, Pierre-Andre.

Series: Series in Optics and Photonics ; 5;Language: English Language: Eng Publication details: Singapore World Scientific 1993Availability: No items available : Checked out (1).

BOOKS
The discrete charm of the machine : why the world became digital

by Steiglitz, Kenneth.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton University Press PrincetonAvailability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 STE.

BOOKS
Logic and Its Applications: 5th Indian Conference, ICKA 2013 Chennai, India, January 2013 Proceedings

by Kamal Lodaya Eds.

Series: Lecture notes in computer science ; 7750Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2013Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Digital republic : India's rise to IT power : history and memoir

by Joseph Mathai.

Material type: Text Text;Language: English; Format: print ; Nature of contents: biography; Literary form: Not fiction Language: English Publication details: kolkata Power Publication 2013Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 60, Shelf No: 8 Call number: 94 JOS.

BOOKS
Reminiscing Ideas and Interactions

by Chakraborty, Mihir Kr.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Kalkatta Calcutta Logic Circle 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 CHA.

BOOKS
Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers

by Sheng Yu, Paun Andrei Ed.

Series: Lecture notes in computer science | ; 2088Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York Springer 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS.

BOOKS
Record of the Third Conference on Foundations of software Technology and Theoretical Compter Science 12-14 December 1983 Bangalore, India

by NCSDCT Ed.

Series: Conferenece Record BangaloreMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: NCSDCT Tata Institute of Fundamental Research (TFIR) Bombay India 1983Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 33 Call number: 681 TIFR.

BOOKS
Foundations of Software Technology and Theoretical Computer Science : Proceedings of the First conference Held in bangalore, India, 11-12 December 1981

by Shyamasundar R K | Joseph Mathai.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Bambay National Centre for Software Developmentand Computing Techniques Tata Institute of Fundamental Research colaba, 1981Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 33 Call number: 681 SHY.

BOOKS
Second Conference on Foundations of Software Technology and Theoretical Computer Science

by National Centre for Software Development and Computing Techniques(TIFR) Editor.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Bombay National Centre for Software Development and Computing Techniques Tata Institute of fundamental Research Colaba Bangalore, India, 13-15 December 1982. 1982Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 33 Call number: 681 TIFR.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha