DECISION PROCEDURES : ALGORITHMIC POINT OF VIEW
By: KROENING, D.
Material type:
BookPublisher: VERLIN Springer 2008Description: xvi+304p.,24x15Cms.ISBN: 3540741046.DDC classification: 621.38195 K93
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.38195 K93 (Browse shelf) | Available | 084491 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
|
No cover image available |
|
|
No cover image available |
|
No cover image available | ||
| 621.38195 K924 Introductory Theory of Computer Science | 621.38195 K929 SYSTEM SIMULATION PROGRAMMING STYLESS AND LANGUAGES | 621.38195 K93 INTRODUCTION TO FORMAL HARDWARE VERIFICATION | 621.38195 K93 DECISION PROCEDURES : ALGORITHMIC POINT OF VIEW | 621.38195 K94 CLOUD SECURITY:A COMPREHENSIVE GUIDE TO SECURE CLOU COMPUTING | 621.38195 K95 CODESIGN OF EMBEDDED SYSTEMS: UNIFIED HARDWARE/ SOFTWARE REPRESENTATION | 621.38195 K95 COMPUTERS AND THEIR APPLICATIONS TO CHEMISTRY |
There are no comments for this item.