Model Checking Quantum Systems
2002 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..
-
AS/A Level Further Mathematics AQA
Edwards, M.; Usher, Stephen
-
A Level Further Mathematics for AQA ...
Edwards, M.; Usher, Stephen
-
Learning Scientific Programming with ...
Hill, Christian
-
Electronic Structure
Martin, Richard
-
Game Theory Basics
Von Stengel, Rudiger
-
Regression and Other Stories
Gelman, Andrew
-
The Collected Mathematical Papers
Cayley, Arthur
-
The Collected Mathematical Papers
Cayley, Arthur
-
Mathematics for Machine Learning
Deisenroth, Marc Peter (University College London); Faisal, A. Aldo (Imperial College London); Ong, Cheng Soon
-
A Mathematician's Apology
Hardy G. H.
-
The Collected Mathematical Papers
Cayley, Arthur
-
The Collected Mathematical Papers
Cayley, Arthur
-
A Student's Guide to Numerical M...
Hutchinson, Ian H. (Massachusetts Institute of Technology)
-
AS/A Level Further Mathematics OCR
Fannon, Paul; Kadelburg, Vesna; Woolley, Ben; Ward, Stephen
-
How to Think Like a Mathematician
Houston, Kevin
-
Cambridge International AS & A L...