შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

Foundations of Quantum Programming

Main
Computers - Algorithms and Data Structures
Foundations of Quantum Programming

Foundations of Quantum Programming

Mingsheng Ying

0 / 5.0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

Computers - Algorithms and Data Structures

წელი:

2024

გამომცემლობა:

Elsevier Inc.

ენა:

english

ISBN 10:

0443159432

ISBN 13:

9780443159435

ფაილი:

EPUB, 22.50 MB

IPFS:

,

english, 2024

ამ წიგნის ჩამოტვირთვა მიუწვდომელია საავტორო უფლებების მფლობელის საჩივრის გამო

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

შესაძლოა დაგაინტერესოთ

计算机操作系统学术交流秘书组，中国科学院计算技术研究所编 — 计算机操作系统学术交流会论文集

C. Dankert — Effective Stilulation of Random Quantum States and Operators [thesis]

unknown — A Rosetta Stone for Quantum Mechanics with an Introduction to Quantum Computation

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Nissim Francez — Program Verification

Edsger W. Dijkstra (auth.), Manfred Broy (eds.) — Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Wim H. Hesselink — Programs, Recursion and Unbounded Choice

Hesselink W.H. — Programs, recursion and unbounded choice

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers — Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Zohar Manna — Lectures on the logic of computer programming

R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur (auth.), Krysia Broda BSc, MSc, PhD (eds.) — ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

Cliff B. Jones, Jayadev Misra — Theories of Programming: The Life and Works of Tony Hoare

Cliff B Jones, Jayadev Misra, (eds.) — Theories of Programming: The Life and Works of Tony Hoare

Krzysztof R. Apt, Ernst-Rüdiger Olderog — Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog — Verification of sequential and concurrent programs

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.) — Reflections on the Work of C.A.R. Hoare

Robin Cockett (auth.), Tarmo Uustalu (eds.) — Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

Walid Taha — Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 - Proceedings

W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.) — Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.) — Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.) — Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Michael Leuschel (auth.), Maurizio Proietti (eds.) — Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

I. J. Hayes, R. G. Nickson, P. A. Strooper (auth.), John Gallagher (eds.) — Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings

W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.) — Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

Klaus Schneider & Jens Brandt [Klaus Schneider & Jens Brandt] — LNCS 4732 - Theorem Proving in Higher Order Logics (Frontmatter Pages)

Ana Cavalcanti, Marie-Claude Gaudel (auth.), Shengchao Qin (eds.) — Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

Ana Cavalcanti, Marie-Claude Gaudel (auth.), Shengchao Qin (eds.) — Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

Willi-Hans Steeb, Yorick Hardy — Problems And Solutions In Quantum Computing And Quantum Information

საკვანძო ფრაზები