实用时序逻辑形式方法 An Introduction To Practical Formal Methods Using MichaelFisher
¥476.00
明星店铺 中华商务进口图书旗舰店
预订 高被引Embedded Computing: A VLIW Approach to Architecture, C 【全球购】进口原版图书,约5-8周到达国内后发出
¥918.00
预订 Constructing the Infrastructure for the Knowledge Economy 【全球购】进口原版图书,约5-8周到达国内后发出
¥2904
计算机视觉和图像处理词典 第2版 Dictionary Of Computer Vision & Image Proce RobertFisher
¥411.00
明星店铺 中华商务进口图书旗舰店
预订 高被引Introduction to Information Quality [ISBN:978146853027 【全球购】进口原版图书,约5-8周到达国内后发出
¥290.00
预订 On the Way with GIS: Student Edition [ISBN:9780998547732] 【全球购】进口原版图书,约5-8周到达国内后发出
¥221.00
预订 高被引An Introduction to Practical Formal Methods Using Temp 【全球购】进口原版图书,约5-8周到达国内后发出
¥1677
预订 Smart Graphics [ISBN:9783540732136] 【全球购】进口原版图书,约5-8周到达国内后发出
¥469.00
预订 Logics in Artificial Intelligence: 10th European Conferen 【全球购】进口原版图书,约5-8周到达国内后发出
¥507.00
预订 Tissue Engineering [ISBN:9781441940926] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1842
预订 Software Verification and Validation [ISBN:9780387327259] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1007
预订 Computational Logic in Multi-Agent Systems [ISBN:97836420 【全球购】进口原版图书,约5-8周到达国内后发出
¥621.00
预订 Building Sustainable Information Systems [ISBN:9781461475 【全球购】进口原版图书,约5-8周到达国内后发出
¥2428
预订 Spring Integration in Action [ISBN:9781935182436] 【全球购】进口原版图书,约5-8周到达国内后发出
¥293.00
【预订】Logics in Artificial Intelligence 9783540396253 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540396253 Author 作者 Fisher Format 版本 平装-胶订 Pages Number 页数 520页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-09-13 Language 语种 英语
¥520.00
预订 Introduction to Information Quality 预订商品
¥328.00
海外直订Blender 3D Basics - Second Edition: This book will have
¥509.00
明星店铺 中华商务进口图书旗舰店
【预订】Software Verification and Validation 9781441941008 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781441941008 Author 作者 Fisher Format 版本 平装-胶订 Pages Number 页数 172页 Publication Date 出版日期 2010-10-29 Language 语种 英语 Book Contents 内容简介 The World is lacking an in-depth technical book describing the meth? ods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in to? day’s market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation. Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth tech? nical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to s
¥843.00
预订 On the Way with GIS: Teacher's Edition [ISBN:978098942178 【全球购】进口原版图书,约5-8周到达国内后发出
¥293.00
预订 Algorithms and Subjectivity 预订商品
¥286.00
海外直订Spring Persistence -- A Running Start Spring持久性——一个连续的开始
¥303.00
明星店铺 中华商务进口图书旗舰店
海外直订On the Way with GIS: Student Edition 在路上与GIS:学生版
¥379.00
明星店铺 中华商务进口图书旗舰店
【预订】Blender 3D Basics: Second Edition 美国库房发货,通常付款后3-5周到货!
¥671.00
海外直订Python: Learn How to Write codes-Your Perfect Step-by-St
¥211.00
明星店铺 中华商务进口图书旗舰店
预订 Start a TV Station 9781605306919 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9781605306919 作者: Brock L Fisher 装帧: 平装-胶订 页数: 94页 出版社: B&l Enterprise 尺寸: 20.3 x 12.7 x 20.3 cm 出版日期: 2012-01-01 重量: 99g 语种: 其它(含多语) 内容简介 Want to Start a TV Station or TV Show? Are you wondering what is your
¥331.00
【预订】Blender 3D Printing Essentials 美国库房发货,通常付款后3-5周到货!
¥424.00
预订Fractal Image Encoding and Analysis [ISBN:9783642083242] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1816
海外直订Software Verification and Validation: An Engineering and
¥943.00
明星店铺 中华商务进口图书旗舰店
预订 Adobe InDesign CS4 Illustrated [With CDROM] [ISBN:9781423 【全球购】进口原版图书,约5-8周到达国内后发出
¥515.00
【预订】Introduction to Information Quality 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥391.59
海外直订Logics in Artificial Intelligence: 10th European Confere
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Fish4knowledge: Collecting and Analyzing Massive Coral R
¥1033
明星店铺 中华商务进口图书旗舰店
海外直订Learning from Data: Artificial Intelligence and Statisti
¥1193
明星店铺 中华商务进口图书旗舰店
预订 Teaching with Tablets: How Do I Integrate Tablets with Ef 【全球购】进口原版图书,约5-8周到达国内后发出
¥180.00
预订 Embedded Computing: A Vliw Approach to Architecture, Comp 【全球购】进口原版图书,约5-8周到达国内后发出
¥999.00
【预订】Blender 3D Basics 美国库房发货,通常付款后3-5周到货!
¥622.00
预订Exam Ref Ms-500 Microsoft 365 Security Administration [ISB 【全球购】进口原版图书,约5-8周到达国内后发出
¥342.00
【预订】Spring Persistence with Hibernate Y9781430226321 美国库房发货,通常付款后3-5周到货!
¥352.00
【预订】Professional Networking For Dummies 美国库房发货,通常付款后3-5周到货!
¥161.00
【预订】Spring Integration in Action 美国库房发货,通常付款后3-5周到货!
¥303.00
海外直订Instant Surround Sound 即时环绕声
¥194.00
明星店铺 中华商务进口图书旗舰店
【预订】An Introduction to Practical Formal Methods Using Tempor 美国库房发货,通常付款后3-5周到货!
¥1271
海外直订Fish4knowledge: Collecting and Analyzing Massive Coral R
¥1033
明星店铺 中华商务进口图书旗舰店
预订Proceedings of the 10th International Conference on Comput 【全球购】进口原版图书,约5-8周到达国内后发出
¥1861
预订 Learn Python Programming for Beginners: The Best Step-by- 【全球购】进口原版图书,约5-8周到达国内后发出
¥191.00
海外直订Exam Ref Ms-500 Microsoft 365 Security Administration Ms
¥305.00
明星店铺 中华商务进口图书旗舰店
海外直订Fractal Image Compression: Theory and Application 分形图像压缩
¥1240
明星店铺 中华商务进口图书旗舰店
预订 Fractal Image Encoding and Analysis 9783642083242 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642083242 作者: Yuval Fisher 装帧: 平装-胶订 页数: 370页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2010-12-01 重量: 1g 语种: 其它(含多语) 内容简介 The related fields of fractal image encoding and fractal image analysis have blo
¥2510
预订 Dictionary of Computer Vision and Image Processing [ISBN: 【全球购】进口原版图书,约5-8周到达国内后发出
¥501.00
海外直订Instant Surround Sound 即时环绕声
¥1976
明星店铺 中华商务进口图书旗舰店
【预订】Formal Methods in Systems Biology 9783540684107 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540684107 Author 作者 Jasmin Fisher Format 版本 平装-胶订 Pages Number 页数 139页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-26 Shipping Weight 商品重量 248g Language 语种 英语 Book Contents 内容简介 ThisvolumecontainstheproceedingsoftherstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4–5, 2008. While there are several venues that cover computational methods in systems biology,there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the speci?cation, development and veri?cation of biological m- els.Italsofocusedonthedesignoftoolstoexecuteandanalyzebiologicalmodels in ways
¥501.00
【预订】Spinning the Web: A Guide to Serving Information on 美国库房发货,通常付款后3-5周到货!
¥440.00
预订 Instant Surround Sound [ISBN:9781138425828] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1670
预订 Formal Methods in Systems Biology: First International Wo 【全球购】进口原版图书,约5-8周到达国内后发出
¥457.00
预订 Spring Persistence with Hibernate [ISBN:9781484202692] 【全球购】进口原版图书,约5-8周到达国内后发出
¥412.00
预订 Brewing JavaScript: Programming and Reference Guide [ISBN 【全球购】进口原版图书,约5-8周到达国内后发出
¥275.00
【预订】Spring Persistence -- A Running Start 美国库房发货,通常付款后3-5周到货!
¥265.00
预订 Spring Persistence with Hibernate [ISBN:9781430226321] 【全球购】进口原版图书,约5-8周到达国内后发出
¥366.00
海外直订Spring Persistence with Hibernate 冬眠的春天
¥517.00
明星店铺 中华商务进口图书旗舰店
预订 Learn Python Programming for Beginners: The Best Step-by- 【全球购】进口原版图书,约5-8周到达国内后发出
¥222.00