【预订】Topology in Process Calculus: Approximate Correctness an
美国库房发货,通常付款后3-5周到货!
/ 1988-08-08
/ Springer
¥520.00
【预订】Model Checking Quantum Systems 9781108484305
国外库房发货,通常付款后3-5周到货!
/ 2021-02-01
Product Details 基本信息 ISBN-13 书号 9781108484305 Author 作者 Ying Mingsheng Format 版本 精装 Pages Number 页数 220页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2021-02-01 Language 语种 英语 Book Contents 内容简介 Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these tech
¥620.00
【正版全新】 Diamond skyscraper comprehensive construction technol
团购可联系在线客服询优惠价 可开发票 正版保证
2021-03-01
¥316.00定价:¥395.00(8折)
正版书籍 模型检测量子系统:原理与算法 [中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)机
品质好书 正版保障 优质服务 发货及时 售后无忧
/ 2023-06-03
/ 机械工业出版社
¥82.20定价:¥99.00(8.31折)
Diamond skyscraper comprehensive construction technology of
支持电子发票,请确认收货以后联系在线客服
2021-03-01
¥316.00定价:¥395.00(8折)
进入书海图书专营店
北方之钻匠心营造(天津周大福金融中心综合施工技术英文版)(精)/中建八局匠心营造系列丛书 苏亚武 建筑工程【星辰智慧图书
【需要开票的用户 请联系客服 】
¥392.27定价:¥395.00(9.94折)
应明生教授力作,引领“量子数据+量子控制”范式,推动从量子理论到量子工程的新浪潮!
/ 2019-08-26
/ 机械工业出版社
近年来物理实验领域的快速发展,使人们普遍期望在10~20年内实现规模大、功能全的量子计算机硬件。然而,要发挥量子计算的超级计算能力,仅仅依靠量子硬件是不够的,量子软件也必须发挥关键作用。目前广泛使用的软件开发技术不能直接应用于量子计算机,经典世界和量子世界的本质差异意味着需要新的技术来为量子计算机编程。 本书对量子编程这一课题进行了系统和详尽的探索,将研究重点放在不同量子编程语言和技术所广泛使用的基础概念、方法和数学工具上。全书从量子力学和量子计算的基础概念开始,详细介绍了多种量子程序结构和一系列量子编程模型。此外,还系统地讨论了量子程序的语义、逻辑和分析与验证技术。 本书特色 系统性地阐释量子编程理论,一步步揭开量子计算的神秘面纱。 包含许多用于开发、分析和验证量子程序和量子加密协
¥105.30定价:¥139.00(7.58折)
/ 2014-01-01
/ 科学出版社
由Xinghe Zhou和Mingsheng Yang编著的这本《Higher Geometry(SECOND EDITION)》的英文简介如下: This book provides an introduction to plane projective geometry and affine geometry. Its main contents involve projective plane, projective transformations, transformation groups and geometry, the projective and affine theories of conics, the historic development track of geometry and so on. The book is easy both to teach and to learn, which is typical of its well-knit system, refined content and colorful pictures. The book can act as text-book for undergraduates in maths' majors as well as reference book for faculty concerned.
¥46.60定价:¥59.00(7.9折)