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..
-
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
-
Think 4: Student´s Book
Puchta, Herbert
-
Think 1: Student´s Book
Puchta, Herbert
-
Professional English in Use Medicine
Glendinning Eric H.
-
More! Level 3 Workbook with Audio CD ...
Puchta Herbert, Stranks Jeff,
-
English Vocabulary in Use Pre-interme...
Stuart Redman
-
More! Level 4 Workbook with Audio CD ...
Puchta Herbert, Stranks Jeff,
-
English in Mind 2e 2: Student´s Book ...
Puchta Herbert, Stranks Jeff,
-
Bad Love 1: Cambridge English Readers
Leather, Sue
-
Playway to English 2e 1: Activity Boo...
Gerngross, Günter
-
English in Mind 2e STA : Student´s Bo...
Puchta Herbert, Stranks Jeff,
