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..
-
Cambridge International Examinations
Neelands, Jonothan (University of Warwick, UK)
-
Cambridge Primary English Stage 1 Le...
Budgell Gill
-
Penpals for Handwriting Foundation 2...
Budgell Gill
-
Cambridge Primary English Activity B...
Budgell Gill
-
Theory of Knowledge for the IB Diplo...
Heydorn, Wendy; Jesudason, Susan
-
Cambridge Primary Mathematics Starte...
Power, Jo; Morgan, Nicola; Moseley, Cherri; Wallace, Louise; Clissold, Caroline
-
Cambridge Primary Mathematics Starte...
Power, Jo; Morgan, Nicola; Moseley, Cherri; Wallace, Louise; Clissold, Caroline
-
Cambridge Primary Mathematics Skills...
Power, Jo; Morgan, Nicola; Moseley, Cherri; Wallace, Louise; Clissold, Caroline
-
Cambridge Primary Mathematics Stage ...
Power, Jo; Morgan, Nicola; Moseley, Cherri; Wallace, Louise; Clissold, Caroline
-
Cambridge International IGCSE
Asker, Nick; Morrison, Karen
-
Cambridge Global English Stage 5 Act...
Boylan, Jane; Medwell, Claire
-
Cambridge Global English Stages 7-9 ...
Chris Barker
-
Giants of the Ocean Gold Band
Bowley, Catherine
-
Cambridge Checkpoint English Workbook 8
Cox, Marian
-
Cambridge International IGCSE
Trigwell-Jones, Mary
-
Animals of the Ice Age Gold Band
Hughes, John