Model Checking Quantum Systems
1893 Kč
Odesíláme do 1 až 2 týdnů
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.
\nAutor: | 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..
-
Mathematics for Machine Learning
Deisenroth, Marc Peter (University College London); Faisal, A. Aldo (Imperial College London); Ong, Cheng Soon
-
Mining of Massive Datasets
Leskovec, Jure (Stanford University, California); Rajaraman, Anand; Ullman, Jeffrey David (Stanford University, Californ
-
Quantum Computing for Computer Scien...
Yanofsky, Noson S.
-
Learning Scientific Programming with ...
Hill, Christian
-
Modelling Brain Function
Amit, Daniel J.
-
Machine Learning for Asset Managers
De Prado, Lopez
-
Interchange Level 2 Teacher´s Edition...
Richards, Jack C.
-
Using Geochemical Data
Rollinson, Hugh R.
-
Machine Learning with Neural Networks
Mehlig, Bernhard (Goeteborgs Universitet, Sweden)
-
Natural Language Processing
Zhang-Yue, Zhou
-
Neural Machine Translation
Koehn, Philipp (University of Edinburgh)
-
Bandit Algorithms
Lattimore, Tor (University of Alberta); Szepesvari, Csaba (University of Alberta)
-
Data Mining and Machine Learning
Zaki, Mohammed J.
-
Real-Time Software Design for Embedd...
Gomaa, Hassan
-
Applied Stochastic Differential Equat...
Sarkka, Simo (Aalto University, Finland); Solin, Arno (Aalto University, Finland)
-
Sentiment Analysis
Liu, Bing