Your search returned 8120 results.

Not what you expected? Check for suggestions
BOOKS
Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993

by Johnson, David S | Trick, Michael A.

Series: DIMACS series in disc. maths. and theo. computer sc.; v. 26Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 5 Call number: 681.3 JOH.

BOOKS
Extremal graph theory with emphasis on probabilistic methods

by Bollob�s, B�la.

Series: CBMS: Regional conference series in mathematics; no. 62Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1986Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No:41 Call number: 519.17 BOL.

BOOKS
Higher category theory : Workshop on Higher Category Theory, March 28-30, 1997, Northwestern University, Evanston, IL

by Getzler, Ezra | Kapranov, Mikhail M. Eds.

Series: Contemporary mathematics ; 00230Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 10 Call number: 51 CM.

BOOKS
Network flows and matching first DIMACS implementation challenge

by Johnson, David S | McGeoch, Catherine C. Eds.

Series: DIMACS series in disc. maths and theo. computer sc.; v. 12Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 5 Call number: 681.3 JOH.

BOOKS
Resolution of singularities

by Cutkosky, Steven Dale.

Series: Graduate studies in mathematics ; 0063Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Rhode Island ; American Mathematical Society ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 32, Shelf No: 44 Call number: 517.53 CUT.

BOOKS
Graphs, morphisms, and statistical physics: DIMACS Workshop Graphs, Morphisms and Statistical Physics, March 19-21, 2001, DIMACS Center

by Nesetril, Jaroslav | Winkler, P Eds.

Series: DIMACS series in disc. maths and theo. computer sc.; v. 63Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R. I. ; American Mathematical Society ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 45 Call number: 519.17 NES.

BOOKS
Learning LATEX

by Griffiths, David F | Higham, Desmond J.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Philadelphia ; SIAM ; c1997Availability: No items available : Checked out (1).

BOOKS
Mirror symmetry

by Voisin, Claire.

Series: SMF/AMS texts and monographs; v. 1Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, RI ; American Mathematical Society ; c1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 39, Shelf No: 42 Call number: 530.145 VOI.

BOOKS
The mathematical heritage of Henri Poincare

by Browder, Felix E. Ed.

Series: Proceedings of symposia in pure mathematics ; 00039 Part 1&2Material type: Text Text;Language: ; Format: print Publication details: Providence, R.I. ; American Mathematical Society ; 1983Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 17, Shelf No: 6 Call number: 51(083.2) AMS.

BOOKS
Non-smooth thermomechanics

by Fr�mond, M.

Material type: Text Text;Language: ; Format: print Publication details: Berlin, New York : ; Springer ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 42, Shelf No: 25 Call number: 536.7 FRE.

BOOKS
Automated theory formation in pure mathematics

by Colton, Simon, 1973-.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London, New York : ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 COL.

BOOKS
Randomness and completeness in computational complexity

by Melkebeek, Dieter van.

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

BOOKS
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures

by Backhouse, Roland C., 1948- | Crole, Roy L | Gibbons, Jeremy,, 1966-.

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

BOOKS
Mathematics and computer science III algorithms, trees, combinatorics, and probabilities

by Drmota, Michael [et al] Eds.

Series: Trends in mathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Basel, Boston : ; Birkh�user ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DRM.

BOOKS
Supermanifolds and supergroups basic theory

by Tuynman, Gijs M.

Series: Mathematics and its applicationsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Dordrecht, Boston : ; Kluwer Academic Publishers ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 6 Call number: 514.7 TUY.

BOOKS
Finite Model Theory and Its Applications

by Gradel, Erich et al.

Series: Texts in Theoretical Computer Science : An EATCS seriesMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Heidelberg Springer 2007Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GRA.

BOOKS
Regulators in analysis, geometry, and number theory

by Reznikov, Alexander | Schappacher, Norbert. Eds.

Series: Progress in mathematics ; 00171Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birhauser ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 25 Call number: 51 PM.

BOOKS
Mixed automorphic forms, torus bundles, and Jacobi forms /

by Lee, Min Ho.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1845.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer, c2004Online access: Click here to access online | Click here to access online | Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No:27 Shelf No:12 Call number: 51 LNM.

BOOKS
International mathematical olympiads, 1986-1999

by Kuczma, Marcin E.

Series: MAA problem books seriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Washington, DC ; Mathematical Association of America ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 25 Call number: 51 KUC.

BOOKS
Proofs that really count : The Art of Combinatorial Proof

by Benjamin, Arthur T.

Series: Dolciani mathematical expositionsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Washington MAA Press Providence; 2003Availability: Items available for loan: IMSc Library (1). Checked out (1). Location(s): First Floor, Rack No: 34, Shelf No: 34 Call number: 519.1 BEN.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha