Model Checking Quantum Systems by Ying, Mingsheng
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Fourth floor, call number 006.3843 YIN.
Book details
- Author
- Ying, Mingsheng
- Publisher
- Cambridge Univ Press
- Year
- 2021
- ISBN
- 9781108484305
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Fourth floor | 006.3843 YIN | 114517 | Reference only (read in the library) |
Next to this on the shelf
- Quantum Computing Fundamentals 006.3843 EAS
- Programming Quantum Computers 006.3843 JOH
- Quantum Computing: A Beginner'S Introduction 006.3843 LAL
- Quantum Computing for the Brain 006.3843 SWA
- Model Checking Quantum Systems (this book)
- Essential Mathematics For Quantum Computing: A Beginner'S Guide To Just The Math You Need Without Needless Complexities [Paperback] [2022] Woody Iii, Leonard S. 006.38430151 WOO
- Modern Data Mining Algorithms in C++ and CUDA C: Recent Developments in Feature Extraction and Selection Algorithms for Data Science 006.3C++ MAS
- Machine Learning Applications Using Python: Cases Studies From Healthcare, Retail, and Finance 006.3PYT MAT
- Biometrics Unique And Diverse Applications In Nature Science And Technology (Hb 2014) 006.4 ALB