Computer Aided Verification: Techniques and Applications by Dean, Jordan
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Fourth floor, call number 6.3 DEA.
Book details
- Author
- Dean, Jordan
- Publisher
- Clanrye International
- Year
- 2023
- Pages
- 239
- ISBN
- 9781647265861
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Fourth floor | 6.3 DEA | 151239 | Reference only (read in the library) |
Next to this on the shelf
- Building Machine Learning and Deep Learning Models on Google Cloud Platform: A Comprehensive Guide for Beginners 6.3 BIS
- Fuzzy Logic Neural Network And Genetic Algorithms Handbook 6.3 BUN
- Human Centric Machine Vision (Hb 2016) 6.3 CHE
- All-In On Ai: How Smart Companies Win Big With Artificial Intelligence 6.3 DAV
- Computer Aided Verification: Techniques and Applications (this book)
- Deep Learning Pipeline 6.3 ELA
- Artificial Mathematical Intelligence, Cognitive, (Meta)mathematical, Physical and Philosophical Foundations 6.3 GOM
- Managing AI in the Enterprise: Succeeding with AI Projects and MLOps to Build Sustainable AI Organizations 6.3 HAL
- Enterprise Artificial Intelligence Transformation 6.3 HAQ