Your search returned 433 results.

Not what you expected? Check for suggestions
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: No items available :

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.

BOOKS
Foundations of Software Technology and Theoretical computer science

by Nori K V | Veni Madhavan C E.

Series: Tenth Conference, Bangalore, India December 1990 ProceedingsMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Berlin Spinger 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 NOR.

BOOKS
Modern applications of automata theory

by Dsouza Deepak, Shankar Priti.

Series: IISc research monographs series ; Vol. 2Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: New Jersey World Scientific (IISc Press) 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 DSO.

BOOKS
Perspectives in Concurrency Theory festschrift for P. S. Thiagarajan

by Lodaya Kamal. Ed | Madhavan, Mukund | Ramananujam.

Series: IARCSMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Hyderabad University press 2009Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LOD.

BOOKS
Interpreting Gödel : critical essays

by Kennedy, Juliette. Ed | Kennedy, Juliette.

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

BOOKS
Advanced data structures

by Brass, Peter.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Cambridge New York Cambrige University Press 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 33 Call number: 681.3.06 BRA.

BOOKS
Social media mining : an introduction Reza Zafarani, Arizona State University, Tempe, Mohammad Ali Abbasi, Arizona State University, Tempe, Huan Liu, Arizona State University, Tempe.

by Zafarani, Reza | Abbasi, Mohammad Ali | Liu, Huan.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: New york Cambridge University Press 2014Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 23 Call number: 681.3 ZAF.

BOOKS
Causality, probability, and time Samantha Kleinberg, Stevens Institute of Technology, Hoboken, New Jersey.

by Kleinberg, Samantha.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 6813 KLE.

BOOKS
Understanding Machine Learning : from theory to Algorithms

by Shwartz, Shai Shalev ; David Shai ben.

;Language: English Language: Eng Publication details: New York Cambridge University Press 2014Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49, Shelf No: 18 Call number: 681.3 SHW.

BOOKS
Artificial Intelligence : Foundations of Computational Agents

by Poole, David L | Mackworth, Alan K.

Edition: 2;Language: English Language: Eng Publication details: New York Cambridge University Press 2010Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 POO.

BOOKS
Logical foundations of Computer Science

by Artemov, Sergei | Nerode, Anil Eds.

Series: Lecture Notes in Computer Science ; 9537Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Springer 2016Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Coding Theory : A first Course

by Ling, San | Xing, Chaoping.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Cambridge Cambridge University Press 2004Availability: No items available :

BOOKS
Coding theory: a first course

by Ling, San | Xing, Chaoping.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Cambridge Cambridge University Press 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LIN.

BOOKS
Computer Science-Theory and Applications: 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, proceedings

by van Bevern, Rene Ed | Kucherov, Gregory Ed.

Series: LNCS; 11532Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Springer 2019Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

BOOKS
Learning GNU Emacs

by Cameron, Debra | Elliott, James | Eric Raymond, Marc Loy.

Edition: 3Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Bangolore Shroff Publishers & Distributors PVT LTD 2005Availability: No items available : Checked out (1).

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha