Model Checking Quantum Systems: Principles and Algorithms

Main
Computers
Model Checking Quantum Systems:...

Model Checking Quantum Systems: Principles and Algorithms

Jianxin Wu, Mingsheng Ying

0 / 0

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

หมวดหมู่:

ปี:

2020

สำนักพิมพ์:

Cambridge University Press

ภาษา:

english

ISBN 10:

1108613322

ISBN 13:

9781108613323

ISBN:

2020041999

ไฟล์:

EPUB, 9.19 MB

IPFS:

,

english, 2020

อ่านออนไลน์

กำลังแปลงเป็น อยู่

การแปลงเป็น ล้มเหลว

คุณอาจสนใจ

Mingsheng Ying; Yuan Feng — Model Checking Quantum Systems: Principles and Algorithms

Peter Fillmore — Notes on Operator Theory

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.) — CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled — Model checking

Konrad Jorgens — Spectral Properties of Hamiltonian Operators

Friedman, Nathaniel A.; Gillman, Leonard; Halmos, Paul R.; Sarason, Donald E — Selecta 1. Research contributions

Nicolas Navet, Stephan Merz — Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Sheldon Axler, John E. McCarthy, Donald Sarason — Holomorphic Spaces

V. A. Malyshev, R. A. Minlos — Linear Infinite-Particle Operators

William Arveson — Ten lectures on operator algebras

Carl Pearcy, C. Pearcy — Topics in Operator Theory

Hari Bercovici — Operator Theory and Arithmetic in H°°

Nikolski N.K. — Operators, functions, and systems: an easy reading. Vol. 2

Charles A. Akemann, Joel Anderson (auth.), C. Apostol, R. G. Douglas, B. Sz.-Nagy, D. Voiculescu, Gr. Arsene (eds.) — Invariant Subspaces and Other Topics: 6th International Conference on Operator Theory, Timişoara and Herculane (Romania), June 1–11, 1981

Ernst Albrecht, Jörg Eschmeier (auth.), R. G. Douglas, C. M. Pearcy, B. Sz.-Nagy, F.-H. Vasilescu, Dan Voiculescu, Gr. Arsene (eds.) — Advances in Invariant Subspaces and Other Results of Operator Theory: 9th International Conference on Operator Theory, Timişoara, and Herculane (Romania), June 4–14, 1984

Gheondea A., et al. (eds.) — Operator extensions, interpolation of functions and related topics

H. Bercovicii, Ciprian I. Foias — Nonselfadjoint Operator Algebras, Operator Theory, and Related Topics: The Carl M. Pearcy Anniversary Volume

Eugene Stefanovich — Elementary Particle Theory. Volume 1: Quantum Mechanics

Samson Abramsky, Radha Jagadeesan (auth.), Andrew D. Gordon (eds.) — Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Gardner P., Yoshida N. — CONCUR 2004 -- Concurrency Theory

Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.) — CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings

Randal E. Bryant (auth.), Pierre Wolper (eds.) — Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.) — CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

F. Erich Marschner (auth.), Orna Grumberg (eds.) — Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.) — Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.) — Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.) — Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Joseph Y. Halpern (auth.), Franck van Breugel, Marsha Chechik (eds.) — CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.) — CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.) — CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Shuyuan Zhang, Sharad Malik, Rick McGeer (auth.), Supratik Chakraborty, Madhavan Mukund (eds.) — Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

Mikołaj Bojańczyk, Sławomir Lasota (auth.), Alain Finkel, Jérôme Leroux, Igor Potapov (eds.) — Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

คำที่ถูกค้นหาบ่อยที่สุด