Your search returned 19 results.

Not what you expected? Check for suggestions
BOOKS
Descriptive Complexity and Finite Models Proceedings, DIMACS Workshop, Princeton Univ., 1996

by Immerman, Neil. Ed | Kolaitis, Phokion G. Ed.

Series: Discrete Mathematics and Theoretical Computer Science,Vol.31Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 IMM.

Place hold Log in to add tags
BOOKS
Groups and Computation II Workshop, Rutgers University, USA, 1995

by Finkelstein, Larry. Ed | Kantor, William, M. Ed.

Series: Discrete Mathematics and Theoretical Computer Science, V.28Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FIN.

Place hold Log in to add tags
BOOKS
Groups and Computation : Workshop, Rutgers Univ., USA, 1991

by Finkelstein, Larry. Ed | Kantor, William M. Ed.

Series: Discrete Mathematics and Theoretical Computer Science,Vol.11Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FIN.

Place hold Log in to add tags
BOOKS
External Memory Algorithms and Visualization, DIMACS Workshop, Rutgers Univ., USA. 1998

by Abello, James M. Ed | Vitter, Jeffrey Scott. Ed.

Series: Discrete Mathematics and Theoretical Computer Science,Vol.50Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 46 Call number: 510.6 ABE.

Place hold Log in to add tags
BOOKS
Mathematical Support for Molecular Biology : Year 1994-1998

by Farach-Colton,M. Ed | Roberts, F S.Ed.,Vingron,M.Ed | Waterman, Michael. Ed.

Series: Discrete Mathematics and Theoretical Computer Science,Vol.47Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1999Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 46, Shelf No: 28 Call number: 572 FAR.

Place hold Log in to add tags
BOOKS
Contemporary Trends in Discrete Mathematics From DIMACS and DIMATIA to the Future, 1997

by Graham, R L., Kratochvil,Jan | Nesetril, Jaroslav | Roberts, Fred S. Eds.

Series: Discrete Mathematics and Theoretical Computer Science,Vol.49Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; A.M.S. ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 22 Call number: 511 GRA.

Place hold Log in to add tags
BOOKS
DNA Based Computers III : DIMACS Workshop, 1997

by Rubin, Harvey. Ed | Wood, David Harlan. Ed.

Series: Discrete Mathematics and Theoretical Computer Science,Vol.48Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; A.M.S. ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:28 Shelf No:37 Call number: 511 RUB.

Place hold Log in to add tags
BOOKS
Finite Vs Infinite : Contributions to an Eternal Dilemma : (DMTCS)

by Calude, Cristian S. Ed | Paun, Gheorghe. Ed.

Series: Discrete Mathematics and Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 13 Call number: 515 CAL.

Place hold Log in to add tags
BOOKS
Combinatorics, Computability and Logic : (DMTCS)

by Calude, C S | Dinneen, M J | Sburlan, S.

Series: Discrete Mathematics and Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 34 Call number: 519.1 CAL.

Place hold Log in to add tags
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
Geometric and Computational Perspectives on Infinite Groups: (DIMACS 25)

by Baumslag, Gilbert. Ed | Epdtein, David. Ed | Gilmsn, Robert. Ed. [et al].

Series: Discrete Mathematics and Theoretical Computer Science; 25Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 46 Call number: 512 BAU.

Place hold Log in to add tags
BOOKS
Turing's connectionism investigation of neural network architectures

by Teuscher, Christof.

Series: Discrete mathematics and theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TEU.

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
Lattice functions and equations

by Rudeanu, Sergiu.

Series: Discrete mathematics and theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London, New York : ; Springer ; c2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 17 Call number: 681.3 RUD.

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
BOOKS
Limits of mathematics A course on information theory and the limits of formal resoninig

by Chaitin, Gregory J.

Series: Discrete mathematics and theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer verlag ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 16 Call number: 511 CHA.

Place hold Log in to add tags
BOOKS
Exploring randomness

by Chaitin, Gregory J.

Series: Discrete mathematics and theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 43 Call number: 511.3 CHA.

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

Powered by Koha