
Foundations of Quantum Programming
Mingsheng Ying(Author)
Morgan Kaufmann (Publisher)
Published on 9. March 2016
Book
Paperback/Softback
372 pages
978-0-12-802306-8 (ISBN)
Shipment within 15-20 days
Description
Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which promise dramatic advantages in processing speed over currently available computer systems. Governments and industries around the globe are now investing vast amounts of money with the expectation of building practical quantum computers. Drawing upon years of experience and research in quantum computing research and using numerous examples and illustrations, Mingsheng Ying has created a very useful reference on quantum programming languages and important tools and techniques required for quantum programming, making the book a valuable resource for academics, researchers, and developers.
More details
Language
English
Place of publication
San Francisco
United States
Publishing group
Elsevier Science & Technology
Target group
Professional and scholarly
Dimensions
Height: 235 mm
Width: 191 mm
Weight
770 gr
ISBN-13
978-0-12-802306-8 (9780128023068)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions

Mingsheng Ying
Foundations of Quantum Programming
Book
05/2024
2nd Edition
Morgan Kaufmann
€141.50
Shipment within 15-20 days
Additional editions

Mingsheng Ying
Foundations of Quantum Programming
E-Book
03/2016
Morgan Kaufmann
€85.95
Available for download
Person
Mingsheng Ying is currently Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences; Director of the Centre for Quantum Software, Tsinghua University; and Hui Yan Chair Professor of Computer Science, Tsinghua University.
He has published three books and served on the editorial board of several publications, including Artificial Intelligence Journal (Elsevier). He is inaugural Editor-in-Chief of ACM Transactions on Quantum Computing.
He received an NSF China Distinguished Young Scholar Award (1997) and a China National Science Award in Natural Science (2008).
He has published three books and served on the editorial board of several publications, including Artificial Intelligence Journal (Elsevier). He is inaugural Editor-in-Chief of ACM Transactions on Quantum Computing.
He received an NSF China Distinguished Young Scholar Award (1997) and a China National Science Award in Natural Science (2008).
Author
Deputy Director for Research, Institute of Software, Chinese Academy of Sciences; Director, Centre for Quantum Software, Tsinghua University; and Hui Yan Chair Professor of Computer Science, Tsinghua University, China
Content
Part I Introduction and Preliminaries1 Introduction 2 Preliminaries
Part II Quantum Programs with Classical Control3 Syntax and Semantics of Quantum Programs 4 Logic for Quantum Programs 5 Analysis of Quantum Programs
Part III Quantum Programs with Quantum Control6 Quantum Case Statements 7 Quantum Recursion
Part IV Prospects8 Prospects
Part II Quantum Programs with Classical Control3 Syntax and Semantics of Quantum Programs 4 Logic for Quantum Programs 5 Analysis of Quantum Programs
Part III Quantum Programs with Quantum Control6 Quantum Case Statements 7 Quantum Recursion
Part IV Prospects8 Prospects