实用时序逻辑形式方法 An Introduction To Practical Formal Methods Using MichaelFisher
¥476.00
明星店铺 中华商务进口图书旗舰店
预订 高被引An Introduction to Practical Formal Methods Using Temp 【全球购】进口原版图书,约5-8周到达国内后发出
¥1677
预订 Logics in Artificial Intelligence: 10th European Conferen 【全球购】进口原版图书,约5-8周到达国内后发出
¥507.00
计算机视觉和图像处理词典 第2版 Dictionary Of Computer Vision & Image Proce RobertFisher
¥411.00
明星店铺 中华商务进口图书旗舰店
预订 Tissue Engineering [ISBN:9781441940926] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1842
预订 Smart Graphics [ISBN:9783540732136] 【全球购】进口原版图书,约5-8周到达国内后发出
¥469.00
预订 高被引Embedded Computing: A VLIW Approach to Architecture, C 【全球购】进口原版图书,约5-8周到达国内后发出
¥918.00
预订 Software Verification and Validation [ISBN:9780387327259] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1007
预订 On the Way with GIS: Student Edition [ISBN:9780998547732] 【全球购】进口原版图书,约5-8周到达国内后发出
¥221.00
预订 Building Sustainable Information Systems [ISBN:9781461475 【全球购】进口原版图书,约5-8周到达国内后发出
¥2428
预订 Constructing the Infrastructure for the Knowledge Economy 【全球购】进口原版图书,约5-8周到达国内后发出
¥2904
预订 高被引Introduction to Information Quality [ISBN:978146853027 【全球购】进口原版图书,约5-8周到达国内后发出
¥290.00
预订 Computational Logic in Multi-Agent Systems [ISBN:97836420 【全球购】进口原版图书,约5-8周到达国内后发出
¥621.00
预订 Spring Integration in Action [ISBN:9781935182436] 【全球购】进口原版图书,约5-8周到达国内后发出
¥293.00
【预订】Objective-C for Absolute Beginners: iPhone, iPad and Mac 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥342.48
【预订】Introduction to Information Quality 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥391.59
海外直订Instant Surround Sound 即时环绕声
¥1976
明星店铺 中华商务进口图书旗舰店
预订Proceedings of the 10th International Conference on Comput 【全球购】进口原版图书,约5-8周到达国内后发出
¥1861
预订 Dictionary of Computer Vision and Image Processing [ISBN: 【全球购】进口原版图书,约5-8周到达国内后发出
¥501.00
海外直订Fish4knowledge: Collecting and Analyzing Massive Coral R
¥1033
明星店铺 中华商务进口图书旗舰店
预订 Adobe InDesign CS4 Illustrated [With CDROM] [ISBN:9781423 【全球购】进口原版图书,约5-8周到达国内后发出
¥515.00
海外直订Instant Surround Sound 即时环绕声
¥194.00
明星店铺 中华商务进口图书旗舰店
【预订】Embedded Computing 9781558607668 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781558607668 Author 作者 Fisher Format 版本 精装 Pages Number 页数 712页 Publisher 出版社 Morgan Kaufmann Publication Date 出版日期 2004-12-01 Shipping Weight 商品重量 1610g Language 语种 英语 Book Contents 内容简介 Processor Architectures; Embedded Systems
¥933.00
【预订】Spring Persistence with Hibernate 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥385.40
预订 Learn Python Programming for Beginners: The Best Step-by- 【全球购】进口原版图书,约5-8周到达国内后发出
¥191.00
预订 Teaching with Tablets: How Do I Integrate Tablets with Ef 【全球购】进口原版图书,约5-8周到达国内后发出
¥180.00
预订 Designing Games for Children 预订,预计下单后3-4周左右发货!
¥893.00
【预订】Spring Integration in Action 美国库房发货,通常付款后3-5周到货!
¥303.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
海外直订Fractal Image Compression: Theory and Application 分形图像压缩
¥1240
明星店铺 中华商务进口图书旗舰店
海外直订Exam Ref Ms-500 Microsoft 365 Security Administration Ms
¥305.00
明星店铺 中华商务进口图书旗舰店
海外直订Spring Persistence -- A Running Start Spring持久性——一个连续的开始
¥303.00
明星店铺 中华商务进口图书旗舰店
【预订】Introduction to Information Quality 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥310.07
海外直订Software Verification and Validation: An Engineering and
¥943.00
明星店铺 中华商务进口图书旗舰店
预订 Computational Logic in Multi-Agent Systems 9783642328961 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642328961 作者: Michael Fisher 装帧: 平装-胶订 页数: 228页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-07-28 重量: 1g 语种: 其它(含多语) 内容简介 This book constitutes the proceedings of the 13th International Workshop on Co
¥704.00
【预订】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
预订 Introduction to Information Quality 预订商品
¥328.00
海外直订Python: Learn How to Write codes-Your Perfect Step-by-St
¥211.00
明星店铺 中华商务进口图书旗舰店
海外直订Blender 3D Basics - Second Edition: This book will have
¥509.00
明星店铺 中华商务进口图书旗舰店
海外直订Fractal Image Encoding and Analysis 分形图像编码与分析
¥2386
明星店铺 中华商务进口图书旗舰店
【预订】Blender 3D Basics: Second Edition 美国库房发货,通常付款后3-5周到货!
¥671.00
预订 Algorithms and Subjectivity 预订商品
¥286.00
【预订】An Introduction to Practical Formal Methods Using Tempor 美国库房发货,通常付款后3-5周到货!
¥1271
预订 Instant Surround Sound [ISBN:9781138425828] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1670
预订 Spring Persistence with Hibernate [ISBN:9781484202692] 【全球购】进口原版图书,约5-8周到达国内后发出
¥412.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
预订 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
预订 Formal Methods in Systems Biology: First International Wo 【全球购】进口原版图书,约5-8周到达国内后发出
¥457.00
【预订】Professional Networking For Dummies 美国库房发货,通常付款后3-5周到货!
¥161.00
海外直订Spring Persistence with Hibernate 冬眠的春天
¥517.00
明星店铺 中华商务进口图书旗舰店
【预订】Blender 3D Basics 美国库房发货,通常付款后3-5周到货!
¥622.00
【预订】Spring Persistence with Hibernate Y9781430226321 美国库房发货,通常付款后3-5周到货!
¥352.00
预订Cloud Computing: Principles, Design and Applications [ISBN 【全球购】进口原版图书,约5-8周到达国内后发出
¥1280
预订 Embedded Computing: A Vliw Approach to Architecture, Comp 【全球购】进口原版图书,约5-8周到达国内后发出
¥999.00
海外直订Fish4knowledge: Collecting and Analyzing Massive Coral R
¥1033
明星店铺 中华商务进口图书旗舰店
预订 Instant Surround Sound [ISBN:9781578202461] 【全球购】进口原版图书,约5-8周到达国内后发出
¥359.00
预订Fractal Image Encoding and Analysis [ISBN:9783642083242] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1816
【预订】Spring Persistence -- A Running Start 美国库房发货,通常付款后3-5周到货!
¥265.00
【预订】Spinning the Web: A Guide to Serving Information on 美国库房发货,通常付款后3-5周到货!
¥440.00
海外直订Logics in Artificial Intelligence: 10th European Confere
¥553.00
明星店铺 中华商务进口图书旗舰店