search.worldcat.org

FOUNDATIONS OF QUANTUM PROGRAMMING | WorldCat.org

Print Book, English, 2024

MORGAN KAUFMANN PUBLISHER, [S.l.], 2024

9780443159428, 0443159424

1406095194

1. IntroductionPart I Preliminaries2. Quantum Mechanics3. Models of Quantum Computation4. Quantum AlgorithmsPart II Sequential Quantum Programs5. Quantum While-Programs6. Quantum Hoare Logic7. Analysis of Quantum ProgramsPart III Parallel and Distributed Quantum Programs8. Parallel Quantum Programs9. Distributed Quantum ProgramsPart IV Quantum Control Flows10. Quantum Case Statements11. Quantum RecursionPart V Programming for Quantum Machine Learning12. Quantum Machine Learning13. Differential Quantum ProgrammingPart VI AppendicesAppendixI: Omitted Proofs in Chapter 5II: Omitted Proofs in Chapter 7III: Omitted Proofs in Chapter 10