机读格式显示(MARC)

• 000 01556nam 2200349 450

• 001 0000905762

• 005 20201112144600.0

• 010 __ |a 978-7-111-63129-3 |d CNY139.00

• 099 __ |a CAL 012020046422

• 100 __ |a 20200604d2019 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y a 001yy

• 106 __ |a r

• 200 1_ |a 量子编程基础 |A Liang Zi Bian Cheng Ji Chu |d = Foundations of quantum programming |f 应明生著 |g 张鑫 ... [等] 译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2019

• 215 __ |a 302页 |d 26cm

• 225 2_ |a 计算机科学丛书 |A Ji Suan Ji Ke Xue Cong Shu

• 314 __ |a 应明生，“长江学者奖励计划”特聘教授。清华大学计算机科学与技术系智能技术与系统国家重点实验室教授。张鑫，美国南卡罗莱纳大学计算机系在读博士。

• 320 __ |a 有书目 (第279-292页)和索引

• 330 __ |a 本书由量子计算领域的知名学者应明生教授撰写，重点讲解不同语言和技术所广泛使用的基础概念、方法和数学工具，而非某种特定的量子编程语言或技术。全书从量子力学和量子计算的基础概念开始，详细介绍了多种量子程序结构和一系列量子编程模型。此外，还系统地讨论了量子程序的语义、逻辑和分析与验证技术。本书内容连贯且自成体系，对于学术界和工业界的研究者和开发人员都有很高的参考价值。

• 333 __ |a 计算机程序设计相关人员

• 410 _0 |1 2001 |a 计算机科学丛书

• 510 1_ |a Foundations of quantum programming |z eng

• 606 0_ |a 程序设计 |A Cheng Xu She Ji |x 基本知识

• 690 __ |a TP311.1 |v 5

• 701 _0 |a 应明生 |A Ying Ming Sheng |4 著

• 702 _0 |a 张鑫 |A Zhang Xin |4 译

• 801 _0 |a CN |b SHCD |c 20200604

• 905 __ |a JHUD |d TP311.1/306

• 920 __ |a 242450 |z 1

• 998 __ |a SHCD