Your search returned 5 results.

Not what you expected? Check for suggestions
BOOKS
Partial order methods in verification DIMACS workshop July 24-26, 1996

by Peled, Doron A. Ed | Pratt, Vaughan R. Ed | Holzmann, Gerard J. Ed.

Series: DIMACS series in discrete mathematics and theoretical computer science ; 29Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Rhode Island ; AMS ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 17 Call number: 621 PEL.

Place hold Log in to add tags
BOOKS
Network threats DIMACS workshop, December 2-4, 1996

by Wright, Rebecca N | Neumann, Peter.

Series: DIMACS series in discrete mathematics and theoretical computer science ; 38Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence ; American Mathematical Society ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 23 Call number: 681.3 WRI.

Place hold Log in to add tags
BOOKS
Random projection method

by Vempala, Santosh S.

Series: DIMACS series in discrete mathematics and theoretical computer science ; 65Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence ; American Mathematical Society ; 2004Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 34, Shelf No: 26 Call number: 518 VEM.

Place hold Log in to add tags
BOOKS
Advances in computational complexity theory

by Cai, Jin-yi Ed.

Series: DIMACS series in discrete mathematics and theoretical computer science v. 13Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence ; American Mathematical Society ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 33 Call number: 681.3.06 CAI.

Place hold Log in to add tags
BOOKS
Disease evolution: models, concepts, and data analyses

by Feng, Zhilan | Dieckmann, Ulf | Levin, Simon Eds.

Series: DIMACS series in discrete. mathematics and theoretical computer Science ; 71Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 33 Call number: 574 FENG.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha