Model Checking Quantum Systems
2000 Kč
Sleva až 70% u třetiny knih
\n
This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software. Graduates and senior undergraduates will appreciate the examples and exercises included, while researchers and engineers in the related fields can use the techniques in their own work.
\n| Autor: | Ying, Mingsheng (Distinguished Professor, University of Technology Sydney (UTS) and Research Director, Center for Quantu |
| Nakladatel: | Cambridge University Press |
| ISBN: | 9781108484305 |
| Rok vydání: | 2021 |
| Jazyk : | Angličtina |
| Vazba: | pevná |
| Počet stran: | 220 |
Mohlo by se vám také líbit..
-
Quantum Computing for Computer Scien...
Yanofsky, Noson S.
-
Learning Scientific Programming with ...
Hill, Christian
-
Boom and Bust
Ayers, William; Kumashiro, Kevin; Meiners, Erica; Quinn, Therese M.; Stovall, David
-
Mining of Massive Datasets
Leskovec, Jure (Stanford University, California); Rajaraman, Anand; Ullman, Jeffrey David (Stanford University, Californ
-
A Hands-On Introduction to Data Science
Shah, Chirag (University of Washington)
-
Mathematics for Machine Learning
Deisenroth, Marc Peter (University College London); Faisal, A. Aldo (Imperial College London); Ong, Cheng Soon
-
Machine Learning for Asset Managers
De Prado, Lopez
-
The Discrete Mathematical Charms of P...
Applegate, David L.; Bixby, Robert E.; Chvatal, Vasek; Cook, William J.
-
Game Theory Basics
Von Stengel, Rudiger
-
Mastering Mathematical Finance
Capinski, Maciej J.; Kopp, Ekkehard
-
A Level Comp 2 Computer Science OCR
Surrall, Alistair; Hamflett, Adam
-
A/AS Level Computer Science for WJEC...
Surrall, Alistair; Hamflett, Adam
-
Foundations of Cryptography: Volume ...
Goldreich, Oded
-
Purely Functional Data Structures
Okasaki, Chris (Columbia University, New York)
-
Integer Linear Programming in Comput...
Gusfield, Dan (University of California, Davis)
-
Machine Learning Refined
Watt, Jeremy (Northwestern University, Illinois); Borhani, Reza (Northwestern University, Illinois); Katsaggelos, Aggelo