Image from Amazon.com
Finite model theory and its applications
Material type:
TextLanguage: English Series: Texts in theoretical computer sciencePublication details: Springer 2010 Edition: Description: xi, 437pISBN: 9788184895032 (PB)Subject(s): Finite model theory | Computational complexity | Constraint databasesDDC classification: 004.0151134 FIN
| Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
Central Library | 004.0151134 FIN (Browse shelf(Opens below)) | 1 | Available | 17643 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
|
|
No cover image available |
|
|
No cover image available | No cover image available | ||
| 004.0151133 BRE(LAT) Lattice basis reduction : an introduction to the LLL algorithm and its applications | 004.0151133 DIS Discrete algebraic methods : arithmetic, cryptography, automata, and groups | 004.0151134 FIN Finite model theory and its applications | 004.0151134 FIN Finite model theory and its applications | 004.0151134 VAA(MOD) Models and Games | 004.0151135 DAV(DIS) Discrete, continuous, and hybrid Petri Nets | 004.0151135 HIN(LAM) Lambda-calculus and combinators, an introduction |
bill No. SAR/60/2011 dt.25.07.2011
There are no comments on this title.