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 7
Trigwell-Jones, Mary
-
Cambridge Primary Science Skills Bui...
Board, Jon; Cross, Alan
-
Cambridge International IGCSE
Trigwell-Jones, Mary
-
Cambridge Primary Science Skills Bui...
Board, Jon; Cross, Alan
-
Cambridge Primary Science Skills Bui...
Board, Jon; Cross, Alan
-
Physics for the IB Diploma Exam Prep...
Michael Tsokos
-
Cambridge IGCSE (R) Combined and Co-...
Sanger, David
-
Cambridge ICT Starters Next Steps St...
Dowling, Fiona; Ellis, Victoria; Hill, Jayne; Jones, Bethan
-
Business Management for the IB Diplo...
Smith Alex T.
-
Cambridge Lower Secondary Science Wor...
Jones, Mary
-
Cambridge Checkpoint Science Courseb...
Trigwell-Jones, Mary
-
Cambridge Primary Science Skills Bui...
Baxter, Fiona; Dilley, Liz; Cross, Alan
-
Cambridge Primary Science Challenge 2
Board, Jon; Cross, Alan
-
Cambridge IGCSE (TM) Chemistry Course...
Harwood, Richard; Chadwick, Timothy
-
Cambridge Primary Science Workbook 6 ...
Baxter, Fiona; Dilley, Liz; Cross, Alan
-
Cambridge International IGCSE
Houghton, Medi; Bryant, Matthew; Jain, Veenu
