Your search returned 2784 results.

Not what you expected? Check for suggestions
BOOKS
Knowledge, representation, reasoning and declarative problem solving

by Baral, Chitta.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAR.

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
Foundations of systems biology

by Kitano, Hiroaki Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT Press ; c2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 30 Call number: 573 KIT.

BOOKS
Micromagnetism and the microstructure of ferromagnetic solids

by Kronm�ller, Helmut | F�hnle, Manfred.

Series: Cambridge studies in magnetismMaterial type: Text Text;Language: ; Format: print Publication details: New York ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 45, Shelf No: 5 Call number: 538 KRO.

BOOKS
Logic, induction and sets

by Forster, Thomas.

Series: London mathematical society student texts ; 0056Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FOR.

BOOKS
Concepts in programming languages

by Mitchell, John C.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: UK ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 19 Call number: 681.9 MIT.

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
Handbook of categorical algebra 3: Categories of sheaves

by Borceux, Francis.

Series: Encyclopedia of mathematics & its applications ; 00052Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 10, Shelf No: 2 Call number: 51(02) ENC.

BOOKS
Combinatorial species and tree-like structures

by Bergeron, F | Labelle, G | Leroux, P.

Series: Encyclopedia of mathematics & its applications ; 00067Material type: Text Text;Language: ; Format: print Publication details: Cambridge ; CUP ; 1998Availability: No items available : Checked out (1).

BOOKS
From Newton to Hawking: history of Cambridge University's Lucasian professors of mathematics

by Knox, Kevin C | Noakes, Richard Eds.

Material type: Text Text;Language: ; Format: print Publication details: Cambridge ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 10 Call number: 53 HAW.

BOOKS
Structure of evolutionary theory

by Gould, Stephen Jay.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Harvard Univ Press ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 47 Call number: 576.8 GOU.

BOOKS
Triple Helix : gene organism and environment

by Lewontin, Richard.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Harvard Univ Press ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 37 Call number: 574 LEW.

BOOKS
Exact solutions of Einstein's field equations.

by Hans Stephani et al Eds.

Series: Cambridge monographs on mathematical physicsEdition: 2nd ed.,Material type: Text Text;Language: ; Format: print Publication details: Cambridge ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 35 Call number: 530.12 STE.

BOOKS
Frobenius algebras and 2D topological quantum field theories

by Kock, Joachim.

Series: London mathematical society student texts ; 00059Material type: Text Text Publication details: Cambridge Cambridge University Press 2003Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 29, Shelf No: 7 Call number: 512 KOCK.

BOOKS
Computational algebraic geometry

by Schenck, Hal.

Series: London mathematical society student texts ; 0058Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 17 Call number: 512.7 SCH.

BOOKS
Gravity from the ground up

by Schutz, Bernard F.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 34 Call number: 530.12 SCH.

BOOKS
Primer of analytic number theory from Pythagoras to Riemann

by Stopple, Jeffrey.

Material type: Text Text;Language: ; Format: print Publication details: Cambridge ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 40 Call number: 511 STO.

BOOKS
Concepts and practice of mathematical finance

by Joshi, M. S.

Series: Mathematics, finance, and riskMaterial type: Text Text;Language: ; Format: print Publication details: Cambridge ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 23 Call number: 51 JOS.

BOOKS
Mathematical models in biology introduction

by Allman, Elizabeth S.

Material type: Text Text;Language: ; Format: print Publication details: New York ; Cambridge University Press ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 24 Call number: 570 ALL.

BOOKS
Theoretical concepts in physics alternative view of theoretical reasoning in physics

by Longair, M. S.

Edition: 2nd ed.Material type: Text Text;Language: ; Format: print Publication details: Cambridge ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 27 Call number: 53 LON.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha