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.
-
Machine Learning for Asset Managers
De Prado, Lopez
-
Game Theory Basics
Von Stengel, Rudiger
-
Learning Scientific Programming with ...
Hill, Christian
-
Mining of Massive Datasets
Leskovec, Jure (Stanford University, California); Rajaraman, Anand; Ullman, Jeffrey David (Stanford University, Californ
-
Mathematics for Machine Learning
Deisenroth, Marc Peter (University College London); Faisal, A. Aldo (Imperial College London); Ong, Cheng Soon
-
Interchange Level 2 Teacher´s Edition...
Richards, Jack C.
-
Modern Compiler Implementation in ML
Appel, Andrew W.
-
Foundations of Data Science
Blum, Avrim; Hopcroft, John (Cornell University, New York); Kannan, Ravi
-
Model-Based Clustering and Classific...
Bouveyron, Charles; Celeux, Gilles; Murphy, T. Brendan (University College Dublin); Raftery, Adrian E. (University of Wa
-
Cambridge International AS & A L...
Piper, Tony
-
Machine Learning with Neural Networks
Mehlig, Bernhard (Goeteborgs Universitet, Sweden)
-
Mastering Mathematical Finance
Capinski, Maciej J.; Kopp, Ekkehard
-
A Level Comp 2 Computer Science OCR
Surrall, Alistair; Hamflett, Adam
-
A First Course in Statistical Program...
Braun, W. John; Murdoch, Duncan J. (University of Western Ontario)
-
A/AS Level Computer Science for WJEC...
Surrall, Alistair; Hamflett, Adam