Image from Amazon.com
Automated theorem proving : theory and practice / Monty Newborn.
Material type:
TextPublisher: New York : Springer, 2000Description: xiii, 231p. : illustrations ; 24 cm ++ 1 computer optical disc (4 (3/4 in)Content type: - text
- unmediated
- volume
- 0387950753
- QA76.9.A96 .N48 2000
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Books - Printed | PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General | QA76.9.A96 .N48 2000 (Browse shelf(Opens below)) | Available | 1000049330 |
Browsing PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH shelves, Shelving location: Main Library General Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA76.9.A93 .D38 2011 IT auditing : using controls to protect information assets / | QA76.9.A96 .A97 2008 Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings / | QA76.9.A96 .A97 2008 Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings / | QA76.9.A96 .N48 2000 Automated theorem proving : theory and practice / | QA76.9.A97 .A38 2008 Advanced autonomic networking and communication / | QA76.9.A97 .C65 2009 Context-aware computing and self-managing systems / | QA76.9.A97 .F67 2012 Formal and practical aspects of autonomic computing and networking : specification, development, and verification / |
Accompanied by 1 CD-ROM : no cd 04220
Includes bibliographical references and index.
1 3
There are no comments on this title.
Log in to your account to post a comment.