【预订】Formal Techniques for Networked and Distributed Systems
国外库房发货,通常付款后3-5周到货!
/ 2002-10-28
Product Details 基本信息 ISBN-13 书号 9783540001416 Author 作者 Peled Format 版本 平装-胶订 Pages Number 页数 374页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-10-28 Language 语种 英语 Book Contents 内容简介 The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of specication, testing, and veri?cation of distributed systems and communication protocols. The main topics are: – FDT-based system and protocol engineering. – Semantical foundations. – Extensions of FDTs. – Formal approaches to concurrent/distributed object-oriented systems. – Real-time and probability aspects. – Pe
¥520.00
【预订】Textile Reinforced Concrete 9780367866914
国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780367866914 Author 作者 Peled Alva Format 版本 平装-胶订 Pages Number 页数 473页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Language 语种 英语
¥737.00
【预订】Normative Language Policy: Ethics, Politics, Principles
美国库房发货,通常付款后3-5周到货!
/ 2017-12-14
Product Details 基本信息 ISBN-13 书号 9781107143166 Author 作者 Peled, Yael Format 版本 平装-胶订 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2017-12-14 Language 语种 英语
¥1170
【预订】Photo-Excited Processes, Diagnostics and Applications 97
国外库房发货,通常付款后3-5周到货!
/ 2011-12-14
Product Details 基本信息 ISBN-13 书号 9781441953773 Author 作者 Peled Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer US Publication Date 出版日期 2011-12-14 Language 语种 英语 Book Contents 内容简介 Photo-Excited Processes, Diagnostics and Applications covers the area of photo-excitation and processing of materials by photons from the basic principles and theories to applications, from IR to x-rays, from gas phase to liquid and solid phases. The various chapters give a wide spectral view of this developing field. Twelve leading groups worldwide set down to write this book during the past two years which include the most updated techniques used in their laboratories for investigating photo-excited processes and new applications. This book will be useful to scientists and engineers who have a strong interest in photo-assisted processes development for microelectronics and photonic
¥520.00
【预订】Neuroanalysis: Bridging the Gap Between Neuroscience, Ps
美国库房发货,通常付款后3-5周到货!
/ 1988-08-08
¥479.00
预订 Photo-Excited Processes, Diagnostics and Applic... 978140
海外仓库发货,通常付款后4-9周到货!
/ 2003-12-31
图书信息 书号: 9781402075278 作者: A Peled 装帧: 精装 页数: 370页 出版社: Springer Us 尺寸: 25.4 x 17.8 x 2.5 cm 出版日期: 2003-12-31 重量: 908g 语种: 其它(含多语) 内容简介 Photo-Excited Processes, Diagnostics and Applications covers the area of photo-exc
¥1184
【预订】NeuroAnalysis 9780415451321
美国库房发货,通常付款后3-5周到货!
/ 2008-06-13
Product Details 基本信息 ISBN-13 书号 9780415451321 Author 作者 Avi Peled Format 版本 精装 Pages Number 页数 160页 Publisher 出版社 Routledge Publication Date 出版日期 2008-06-13 Shipping Weight 商品重量 311g Language 语种 英语 Book Contents 内容简介 NeuroAnalysis investigates using the neural network and neural computation models to bridge the divide between psychology, psychoanalysis, and neuroscience when diagnosing mental health disorders and prescribing treatment.
¥1367
【预订】Textile Reinforced Concrete 9781466552555
美国库房发货,通常付款后3-5周到货!
/ 2017-08-09
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9781466552555 Author 作者 Alva Peled, Arnon Bentur and Barzin Mobasher Format 版本 精装 Pages Number 页数 508页 Publication Date 出版日期 2017-08-09 Language 语种 英语 Book Contents 内容简介 A wide range of textiles can significantly improve the mechanical behavior of cement matrices under static and dynamic conditions, and give superior tensile strength, toughness, ductility, energy absorption and protection. This book provides a comprehensive treatment of TRC, from the basics of the composite material to its structural performance.
¥2099
【预订】500+ Puzzles Sudoku Puzzles Book - Hard 9798684962943
国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9798684962943 Author 作者 Refaeli-Peled Format 版本 平装-胶订 Pages Number 页数 190页 Publisher 出版社 Independently Published Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.02 x 8.50 x 0.40 Shipping Weight 商品重量 1.00磅 Language 语种 其它(含多语)
¥126.00
预订 Formal Techniques for Networked and Distributed... 978354
海外仓库发货,通常付款后4-9周到货!
/ 2002-10-28
/ Springer
图书信息 书号: 9783540001416 作者: Doron a Peled 装帧: 平装-胶订 页数: 374页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2002-10-28 重量: 454g 语种: 其它(含多语) 内容简介 The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for
¥1069
预订 Model Checking and Artificial Intelligence 9783642004308
海外仓库发货,通常付款后4-9周到货!
/ 2009-02-27
/ Springer
图书信息 书号: 9783642004308 作者: Doron a Peled 装帧: 平装-胶订 页数: 188页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2009-02-27 重量: 1g 语种: 其它(含多语) 内容简介 This book constitutes the thoroughly refereed post-workshop proceedings of the
¥963.00
【预订】Geometric Approximation Algorithms 9780821849118
美国库房发货,通常付款后3-5周到货!
/ 2011-06-15
Product Details 基本信息 ISBN-13 书号 9780821849118 Author 作者 Sariel Har-Peled Format 版本 精装 Pages Number 页数 362页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2011-06-15 Language 语种 英语 Book Contents 内容简介 Exact algorithms for dealing with geometric objects are complicated, hard to implement in practice, and slow. Over the last 20 years a theory of geometric approximation algorithms has emerged. These algorithms tend to be simple, fast, and more robust than their exact counterparts. This book is the first to cover geometric approximation algorithms in detail. In addition, more traditional computational geometry techniques that are widely used in developing such algorithms, like sampling, linear programming, etc., are also surveyed. Other topics covered include approximate nearest-neighbor search, shape approximation, coresets, dimension reduction,
¥1210
预售 英文预定 Language Policy and Political Theory: Building Bridg
海外预定商品预计1-3个月发货,海外购非质量问题不接受退货。
/ 2022-01-10
/ Springer
¥932.71
【预订】Language Policy and Political Theory: Building Bridges,
预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
/ Springer
¥755.06
【店主推荐,正版书放心购买,可开发票】
/ 2012-03-01
/ 机械工业出版社
《软件可靠性方法》通过大量的形式化表示和技术,向读者提供了各种用于提高软件可靠性的形式化方法,包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线,比较了各种方法的不同之处,并讨论了它们的优缺点。书中包含一些在多个章节中使用的、具有连续性的实例,有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目,可以使用软件可靠性工具来完成。本书适用于从事软件开发的广大读者,尤其适合作为高年级本科生和硕士生的教材和参考书。
¥26.62定价:¥100.23(2.66折)
进入墨轩图书专营店
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【正版书籍】
【热销推荐,正版现货,全国三仓就近发货,物流快捷,欢迎选购!】
/ 2012-03-01
/ 机械工业出版社
《软件可靠性方法》编辑:集中介绍目前常用的重要软件可靠性方法,并将它们互作比较,这些方法包括:演绎验证、自动验证、测试和进程代数,为具体项目的软件选择过程提供有用信息,提供了大量的练习、项目和连续性的实例,方便读者学习形式化方法并能够亲手使用这些工具介绍了支持形式化方法的数学原理,对于该领域未来的研究方向,以及开发新方法和改进现有技术提出了有益的见解。
¥41.22定价:¥87.86(4.7折)
进入道金图书专营店
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【无忧售后 放心购买】
/ 2012-03-01
/ 机械工业出版社
《软件可靠性方法》编辑推荐:集中介绍目前常用的重要软件可靠性方法,并将它们互作比较,这些方法包括:演绎验证、自动验证、测试和进程代数,为具体项目的软件选择过程提供有用信息,提供了大量的练习、项目和连续性的实例,方便读者学习形式化方法并能够亲手使用这些工具介绍了支持形式化方法的数学原理,对于该领域未来的研究方向,以及开发新方法和改进现有技术提出了有益的见解。
¥53.91定价:¥183.39(2.94折)
进入全星顺图书专营店
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【正版】
【热销推荐,正版现货,全国三仓就近发货,物流快捷,欢迎选购!】
/ 2012-03-01
/ 机械工业出版社
¥54.19定价:¥116.19(4.67折)
进入轩天图书专营店
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社,【正版保证】
全国三仓发货,物流便捷,下单秒杀,欢迎选购!
/ 2012-03-01
/ 机械工业出版社
¥24.00定价:¥55.37(4.34折)
进入墨雨图书专营店
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【正版书】
全国三仓发货,物流便捷,下单秒杀,欢迎选购!
/ 2012-03-01
/ 机械工业出版社
¥24.00定价:¥57.37(4.19折)
进入付莱图书专营店
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【正版现货】
正版图书,本店套装图书默认为单本,您下单前可咨询在线客服,谢谢!
/ 2012-03-01
/ 机械工业出版社
¥29.30定价:¥128.78(2.28折)
进入益生安图书专营店
软件可靠性方法 Doron APeled 著,王林章 等 译【正版】
全国三仓发货,物流便捷,正版书放心购买!
/ 2012-03-01
/ 机械工业出版社
《软件可靠性方法》编辑推荐:集中介绍目前常用的重要软件可靠性方法,并将它们互作比较,这些方法包括:演绎验证、自动验证、测试和进程代数,为具体项目的软件选择过程提供有用信息,提供了大量的练习、项目和连续性的实例,方便读者学习形式化方法并能够亲手使用这些工具介绍了支持形式化方法的数学原理,对于该领域未来的研究方向,以及开发新方法和改进现有技术提出了有益的见解。
¥21.46定价:¥64.38(3.34折)
软件可靠性方法 Doron APeled 著,王林章 等 译 机械工业出版社【售后无忧】
正版现货,支持七天无理由退货,下单前请咨询客服查看书籍情况。
/ 2012-03-01
/ 机械工业出版社
¥54.99定价:¥175.00(3.15折)
进入悦读图书专营店
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【正版书籍】
【店主推荐,正版书放心购买,可开发票】
/ 2012-03-01
/ 机械工业出版社
《软件可靠性方法》通过大量的形式化表示和技术,向读者提供了各种用于提高软件可靠性的形式化方法,包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线,比较了各种方法的不同之处,并讨论了它们的优缺点。书中包含一些在多个章节中使用的、具有连续性的实例,有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目,可以使用软件可靠性工具来完成。本书适用于从事软件开发的广大读者,尤其适合作为高年级本科生和硕士生的教材和参考书。
¥39.34定价:¥138.92(2.84折)
进入昶曜图书专营店
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【正版可开发票】
全国三仓发货,物流便捷,下单秒杀,欢迎选购!
/ 2012-03-01
/ 机械工业出版社
¥25.00定价:¥99.37(2.52折)
软件可靠性方法 Doron APeled 著,王林章 等 译【正版保证】
全国三仓发货,物流便捷,下单秒杀,欢迎选购!
/ 2012-03-01
/ 机械工业出版社
《软件可靠性方法》编辑推荐:集中介绍目前常用的重要软件可靠性方法,并将它们互作比较,这些方法包括:演绎验证、自动验证、测试和进程代数,为具体项目的软件选择过程提供有用信息,提供了大量的练习、项目和连续性的实例,方便读者学习形式化方法并能够亲手使用这些工具介绍了支持形式化方法的数学原理,对于该领域未来的研究方向,以及开发新方法和改进现有技术提出了有益的见解。
¥25.03定价:¥75.09(3.34折)
进入力洋图书专营店