Your search returned 9610 results.

Not what you expected? Check for suggestions
BOOKS
Current trends in theoretical computer science: challenge of the new century: volumes 1 & 2.

by Paun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto Eds.

Material type: Text Text;Language: ; Format: print Publication details: River Edge, NJ ; World Scientific Pub. ; 2004Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 33 Call number: 681 PAUN.

BOOKS
FST TCS 1990: Foundations of Software Technology and Theoretical Computer science : Tenth Conference., Bangalore, Dec. 1990: preceedings

by Nori, K V (Ed,) | Veni Madhavan, C.E (Ed.).

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

BOOKS
FSTTCS 2005: foundations of software technology and theoretical computer science: 25th international conference Hyderabad, India December 2005: proceedings

by Ramanujam, R | Sen, Sandeep Eds.

Series: Lecture notes in computer science ; 3821Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer ; 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS.

BOOKS
The making of a neuromorphic visual system

by Rasche, Christoph.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 6 Call number: 599 RAS.

BOOKS
Formal models languages and applications

by Subramanian, K G | Rangarajan, K | Madhavan Mukund Eds.

Series: series in machine perception artificial intelligence; v.66Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World scientific ; 2006Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 SUB.

BOOKS
Algorithm design

by Kleinberg, Jon | Tardos, Eva.

Material type: Text Text Publication details: India Pearson Education 2012Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 28 Call number: 681.3.02 KLE.

BOOKS
FST TCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India, December 2006 Proceedings

by Arun-Kumar, S | Garg, Naveen Eds.

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

BOOKS
C Programming language

by Kernighan, Brian W | Ritchie, Dennis M.

Edition: 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi ; PHI Learning Private Limited ; 1988Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 40 Call number: 681.3.06 KER.

BOOKS
Foundations of cryptography a primer

by Goldreich, Oded.

Series: Foundations and trends in theoretical computer science ; Vol.001 : Iss.1Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston Now Publishers 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 9 Call number: 681.4 FTTCS.

BOOKS
Research by design innovation and TCS

by Kanavi, Shivanand, Ed.

Material type: Text Text Publication details: New Delhi ; Rupa and Co. ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KAN.

BOOKS
Perspectives in concurrency theory festschrift for P. S. Thiagarajan

by Lodaya, Kamal, Ed | Mukund, Madhavan, Ed | Ramanujam, R, Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Hyderabad University Press India 2009Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681.3 LOD.

BOOKS
WALCOM 2009: Algorithms and computation 3rd International workshop, WALCOM 2009 Kolkata, India, February 18-20, 2009 proceedings

by Das, Sandip, Ed | Uehara, Ryuhei, Ed.

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

BOOKS
Algorithms and computation 18th International symposium, ISAAC 2007 Sendai, Japan, December 17 - 19, 2007 Proceedings

by Tokuyama, Takeshi, Ed.

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

BOOKS
Automated technology for verification and analysis 8th International symposium, ATVA 2010, Singapore, September 2010 Proceedings

by Bouajjani, Ahmed | Chin, Wei-Ngan Eds.

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

BOOKS
Logic and its applications 4th Indian conference, ICLA 2011, India, January 2011 Proceedings

by Banerjee, Mohua, Ed | Seth, Anil.

Series: Lecture notes in artificial intelligence (LNAI) | ; 6521Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New york ; Springer ; 2011Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
CONCUR 2010 - Concurrency Theory 21st International Conference, CONCUR 2010 Paris, france, August - September 2010 Proceedings

by Gastin, Paul | Laroussinie, Francois, Ed.

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

BOOKS
Foundations of software technology and theoretical computer science 28th conference Bangalore, December 2008 proceedings

by Hariharan, Ramesh, Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Bangalore ; Indian association for research in computing science ; 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 46 Call number: 681 FSTTCS.

BOOKS
Logic and its applications Third indian conference, ICLA 2009 chennai, India, January 2009 Proceedings

by Ramanujam R, Ed | Sarukkai, Sundar.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New york ; Springer ; 2009Availability: 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: 31 Call number: 681 RAM.

BOOKS
Alan Turing's systems of logic The princeton thesis

by Appel, Andrew W. Ed.

Material type: Text Text Publication details: New Jersey Princeton university press 2012Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 37 Call number: 681.3 APP.

BOOKS
Progress in Cryptology-Indocrypt 2006 7th International Conference on Cryptology in India Proceedings

by Barua, Rana | Lange,Tanja Eds.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha