2895 results in Quantum Physics, Quantum Information and Quantum Computation
5 - Model Checking Quantum Markov Chains
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 87-137
-
- Chapter
- Export citation
3 - Basics of Quantum Theory
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 31-49
-
- Chapter
- Export citation
Contents
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp v-viii
-
- Chapter
- Export citation
Appendix 1 - Proofs of Technical Lemmas in Chapter 4
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 181-189
-
- Chapter
- Export citation
6 - Model Checking Super-Operator-Valued Markov Chains
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 138-174
-
- Chapter
- Export citation
Appendix 3 - Proofs of Technical Lemmas in Chapter 6
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 196-200
-
- Chapter
- Export citation
Preface
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp ix-x
-
- Chapter
- Export citation
7 - Conclusions and Prospects
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 175-180
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp xi-xii
-
- Chapter
- Export citation
Appendix 2 - Proofs of Technical Lemmas in Chapter 5
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 190-195
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 1-5
-
- Chapter
- Export citation
Model Checking Quantum Systems
- Principles and Algorithms
-
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021
Preface to the Revised First Edition
-
- Book:
- Modern Quantum Mechanics
- Published online:
- 10 October 2020
- Print publication:
- 17 September 2020, pp xvii-xviii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Modern Quantum Mechanics
- Published online:
- 10 October 2020
- Print publication:
- 17 September 2020, pp i-iv
-
- Chapter
- Export citation
Prolegomenon
-
- Book:
- Lectures on Quantum Mechanics
- Published online:
- 27 August 2020
- Print publication:
- 17 September 2020, pp xix-xxx
-
- Chapter
- Export citation
Modern Quantum Mechanics
-
- Published online:
- 10 October 2020
- Print publication:
- 17 September 2020
-
- Textbook
- Export citation
21 - Many-Particle Quantum Systems
-
- Book:
- Lectures on Quantum Mechanics
- Published online:
- 27 August 2020
- Print publication:
- 17 September 2020, pp 325-335
-
- Chapter
- Export citation
2 - Quantum Dynamics
-
- Book:
- Modern Quantum Mechanics
- Published online:
- 10 October 2020
- Print publication:
- 17 September 2020, pp 62-148
-
- Chapter
- Export citation
30 - A Mathematical Interlude: GaussianIntegrals
-
- Book:
- Lectures on Quantum Mechanics
- Published online:
- 27 August 2020
- Print publication:
- 17 September 2020, pp 467-478
-
- Chapter
- Export citation
3 - Observables and Expectation Values
-
- Book:
- Lectures on Quantum Mechanics
- Published online:
- 27 August 2020
- Print publication:
- 17 September 2020, pp 38-47
-
- Chapter
- Export citation