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..
-
Mining of Massive Datasets
Leskovec, Jure (Stanford University, California); Rajaraman, Anand; Ullman, Jeffrey David (Stanford University, Californ
-
The Cambridge Companion to Video Game...
-
Machine Learning for Asset Managers
De Prado, Lopez
-
Interchange Level 2 Teacher´s Edition...
Richards, Jack C.
-
Mastering Mathematical Finance
Capinski, Maciej J.; Kopp, Ekkehard
-
Modern Statistics for Modern Biology
Holmes, Susan (Stanford University, California); Huber, Wolfgang
-
A/AS Level Computer Science for WJEC...
Surrall, Alistair; Hamflett, Adam
-
Machine Learning Refined
Watt, Jeremy (Northwestern University, Illinois); Borhani, Reza (Northwestern University, Illinois); Katsaggelos, Aggelo
-
Foundations of Data Science
Blum, Avrim; Hopcroft, John (Cornell University, New York); Kannan, Ravi
-
Modern Compiler Implementation in ML
Appel, Andrew W.
-
Model-Based Clustering and Classific...
Bouveyron, Charles; Celeux, Gilles; Murphy, T. Brendan (University College Dublin); Raftery, Adrian E. (University of Wa
-
Should You Believe Wikipedia?
Bruckman, Amy S. (Georgia Institute of Technology)
-
Machine Learning with Neural Networks
Mehlig, Bernhard (Goeteborgs Universitet, Sweden)
-
Learning Scientific Programming with ...
Hill, Christian
-
A Hands-On Introduction to Data Science
Shah, Chirag (University of Washington)
-
Integer Linear Programming in Comput...
Gusfield, Dan (University of California, Davis)