Your search returned 726 results.

Not what you expected? Check for suggestions
BOOKS
Structure of scientific revolutions

by Kuhn, Thomas S.

Edition: 3Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Chicago ; University of Chicago Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 4 Call number: 5 KUHN.

BOOKS
Short history of nearly everything

by Bryson, Bill.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Doubleday ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 21, Shelf No: 4 Call number: 5 BRY.

BOOKS
Shaping of indian science: Indian science congress association presidential addresses: vol.1 1914-1947

by ISCA | Indian science congress association.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Universities Press ; New Delhi, India ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 2 Call number: 5 ISCA.

BOOKS
Shaping of Indian Science: Indian science congress association presidential addresses: vol.2 1948-1981

by Indian science congress association.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Universities Press ; New Delhi, India ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 2 Call number: 5 ISCA.

BOOKS
Shaping of Indian Science: Indian science congress association presidential addresses: vol.3 1982-2003

by Indian science congress association.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Universities Press ; New Delhi, India ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 2 Call number: 5 ISCA.

BOOKS
PHP cookbook

by Sklar, David | Trachtenberg, Adam.

Edition: 1st ed.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Sebastopol, Calif. Farnham O'Reilly 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 21 Call number: 681.9 SKL.

BOOKS
Data refinement model-oriented proof methods and their comparison

by de Roever, Willem-Paul | Engelhardt, Kai.

Series: Cambridge tracts in theoretical computer science; 47Material type: Text Text;Language: ; Format: print Publication details: Cambridge ; Cambridge University Press ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DER.

BOOKS
Term rewriting systems

by Barendsen, Erik [et al] | Terese.

Series: Cambridge tracts in theoretical computer science: 55Material type: Text Text;Language: ; Format: print Publication details: Cambridge University Press ; Cambridge ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TER.

BOOKS
Advances in computing science--ASIAN 2003: programming languages and distributed computation proc.: 8th Asian Computing Sc. Conf., Mumbai, December, 2003

by Saraswat, Vijay A. Ed.

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

BOOKS
FST TCS 2003: foundations of software technology and theoretical computer science Proceedings: 23rd conference, Mumbai, December 2003

by Pandya, Paritosh K | Radhakrishnan, Jaikumar Eds.

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

BOOKS
Eight preposterous propositions from the genetics of homosexuality to the benefits of global warming

by Ehrlich, Robert.

Material type: Text Text;Language: ; Format: print Publication details: Princeton ; Princeton University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 21, Shelf No: 9 Call number: 5 EHR.

BOOKS
Internet security cryptographic principles, algorithms, and protocols

by Rhee, Man Young.

Material type: Text Text;Language: ; Format: print Publication details: England ; J. Wiley ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 21 Call number: 681.9 RHE.

BOOKS
Algorithmic and quantitative real algebraic geometry: DIMACS Workshop, Algorithmic and Quantitative Aspects of Real Algebraic, Geometry in Mathematics & Computer Science, 2001

by Basu, Saugata | Gonzalez-Vega, Laureano Eds.

Series: DIMACS series in disc. math. and theor. comp. sc.; v. 60Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First floor, Rack No: 31, Shelf No: 37 Call number: 516 BASU.

BOOKS
Compression and coding algorithms

by Moffat, Alistair | Turpin, Andrew.

Series: Kluwer international series in engineering and computer science 669Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Kluwer Academic ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 11 Call number: 681.3 MOF.

BOOKS
What Einstein told his cook kitchen science explained

by Wolke, Robert L.

Edition: 1st ed.Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; W. W. Norton & Company ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 45 Call number: 641 WOL.

BOOKS
Duration calculus formal approach to real-time systems

by Zhou, Chaochen | Hansen, Michael R.

Series: EATCS monographs on theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 CHA.

BOOKS
ML with concurrency design, analysis, implementation, and application

by Nielson, Flemming Ed.

Series: Monographs in computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 46 Call number: 681.3.06 NIE.

BOOKS
Generalized quantifiers and computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop France, August 11-22, 1997 : revised lectures

by Vaananen, Jouko Ed.

Series: Lecture notes in computer science ; 01754Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:48 Shelf No:23 Call number: 681 LNCS.

BOOKS
Selected areas in cryptography: 5th annual international workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998 proceedings

by Tavares, Stafford | Meijer, Henk Eds.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha