Your search returned 10664 results.

Not what you expected? Check for suggestions
BOOKS
Lake views this world and the universe

by Weinberg, Steven.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Belknap Press of Harvard University Press ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 23, Shelf No: 9 Call number: 5 WEI.

BOOKS
Dune : Messiah

by Herbert, Frank.

Series: Dune Chronicles ; 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New York ; Ace Books ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 53, Shelf No: 5 Call number: 82-3 HER.

BOOKS
European Women in Mathematics

by Mezzetti, Emilia (Ed) | Paycha, Sylvie (Ed).

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: River Edge, N.J. World Scientific Publishing 2003Other title: Proceedings of the tenth general meeting, European Women in Mathematics.Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 15 Call number: 51 MEZ.

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
Logical leap Induction in physics

by Harriman, David.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; New American library ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 10 Call number: 53 HAR.

BOOKS
Power of habit Why we do what we do and how to change

by Duhigg, Charles.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Random house ; 2012Availability: No items available : Checked out (1).

BOOKS
Physics for mathematicians Mechanics I

by Spivak, Michael.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Publish or perish ; 2010Availability: No items available : Checked out (1).

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.

BOOKS
Progress in Cryptology- Indocrypt 2005 Proceedings in 6th International Conference on cryptology in India

by Maitra, Subhamoy | Madhavan, Veni C.E | Venkatesan, Ramarathnam.

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

BOOKS
Parameterized and exact computation 4th International workshop, IWPEC 2009 Copenhagan, Denmark, september 2009 revised selected papers

by Chen, Jianer | Fomin, Fedor, V.

Series: Lecture notes in computer science; 05917Material type: Text Text;Language: ; 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: 52, Shelf No: 6 Call number: 681 LNCS.

BOOKS
Parameterized and exact computation: Third International workshop, IWPEC 2008 Victoria, Canada, may 2008 proceedings

by Grohe, Martin | Niedermeier, Rolf Ed.

Series: Lecture notes in computer science; 05018Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New york Springer 2008Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

BOOKS
Advanced materials and its applications

by Selvasekarapandian, S. Ed, etal.

Series: Macmillan advanced research seriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Delhi ; Macmillan publishers india ltd ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 13 Call number: 620 SEL.

BOOKS
Logic and its applications Fifth Indian Conference on Logic and its Applications January 10-12, 2013, Ramanujan Auditorium, Institute of Mathematical Sciences, Chennai, India

by Lodaya, Kamal.

Series: Lecture notes in computer science; 07750Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; springer ; 2013Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second Floor, IMSc Faculty Publication Call number: 681 LNCS.

BOOKS
TARK 2013 Proceedings of the 14th conference on Theoretical Aspects of Rationality and knowledge Tark 2013, January 7-9, 2013 Institute of Mathematical Sciences, Chennai, India

by Schipper, Burkhard C. Ed.

Material type: Text Text Publication details: Chennai Institute of Mathematical Sciences 2013Availability: Items available for loan: IMSc Library (2). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Second floor, Rack No: 49, Shelf No: 18 Call number: 681.3 SCH.

BOOKS
Design and analysis of coalesced hashing

by Vitter, Jeffrey Scott | Chen, Wen-Chin.

Series: The International series of monographs on computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Oxford university press ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 VIT.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha