Sat-Based Scalable Format Verification Solutions by Malay Ganai
Material type:
TextPublication details: New York Springer 2007Description: xxix, 326pISBN: 0387691669DDC classification: 511.8 GAN
Contents:
Table of Contents
1. Design Verificatio
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Mathematics | REFERENCE SECTION | REF 511.8 GAN (Browse shelf (Opens below)) | Copy 1 | Not for loan | 019985 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Mathematics, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 511.8 BAS Art of Modeling in Science and Engineering | REF 511.8 CEL Continuous System Simulation | REF 511.8 COO Mathematical Theory of Minority Game: statistical mechanics of interacting agents | REF 511.8 GAN Sat-Based Scalable Format Verification Solutions | REF 511.8 GER Nature of Mathematical Modeling | REF 511.8 GIO First Course in Mathematical Modeling | REF 511.8 HLA Uncertain Input Data Problems and the Worst Scenario Method |
Table of Contents
1. Design Verificatio
There are no comments on this title.