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.
\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..
-
An Introduction to Composite Materials
Clyne, T. W. (University of Cambridge); Hull, D. (University of Liverpool)
-
Theoretical Foundations of Nanoscale...
Premaratne, Malin (Monash University, Victoria); Agrawal, Govind P. (University of Rochester, New York)
-
Thermodynamics
Turns, Stephen R.
-
Concepts in Submarine Design
Burcher, Roy (University College London); Rydill, Louis J. (University College London)
-
Intermediate Solid Mechanics
Lubarda, Marko V.; Lubarda, Vlado A. (University of California, San Diego)
-
Wind Turbines
Anderson, Colin
-
Rigid Body Kinematics
Batlle, Joaquim A. (Universitat Politecnica de Catalunya, Barcelona); Barjau Condomines, Ana (Universitat Politecnica de
-
Quantitative Analysis of Geopressure ...
Dutta, Nader C.; Bachrach, Ran; Mukerji, Tapan (Stanford University, California)
-
Cambridge Checkpoint Science Workbook 8
Hellyer-Jones, Rosemary
-
Kid´s Box 1 Updated 2nd Edition: Pres...
Caroline Nixon, Michael Tomlinson
-
Cambridge Checkpoint Science Coursebo...
Hellyer-Jones, Rosemary
-
Essential Grammar in Use Supp.Exercis...
Naylor Helen, Murphy Raymond,
-
Think 5: Student´s Book
Puchta, Herbert
-
English Vocabulary in Use: Advanced B...
McCarthy Michael
-
Cambridge English First 2 Student´s B...
neuveden
-
Professional English in Use Medicine
Glendinning Eric H.