|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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;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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automated theorem proving after 25 years by Bledsoe, W. W | Loveland, Donald W. Eds. Series: Contemporary mathematics ; 00029Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Providence, R.I ; American Mathematical Society ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 7 Call number: 51 CM.
|
|
|
|
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;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.
|
|
|
|
Complexity of computation by Karp, Richard M., ed. Material type: Text;Language: ; Format:
print
Publication details: Providence, R.I. ; American Mathematical Society ; 1974Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 6 Call number: 681.3 KARP.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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;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.
|
|
|
|
|
|
|
|
|