【3-6周达】Reliable Software Technologies - Ada-Europe 2009: 14t 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
3-6周达 Reliable Software Technologies - Ada-Europe 2008: 13th 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【预订】Challenges and Opportunity with Big Data: 19th Monterey 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319619934 Author 作者 Kordon, Fabrice Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-08-04 Language 语种 英语
¥608.00
【3-6周达】Reliable Systems on Unreliable Networked Platforms: 1 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
【3-6周达】Tools and Algorithms for the Construction and Analysi 【全球购】进口原版图书，预计3-6周左右到国内
¥498.00
海外直订Reliable Software Technologies - Ada-Europe 2009: 14th A
¥553.00
3-6周达 Transactions on Petri Nets and Other Models of Concurr 【全球购】进口原版图书，预计3-6周左右到国内
¥893.00
3-6周达 Application and Theory of Petri Nets and Concurrency: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Formal Methods for Embedded Distributed Systems: How to
¥1033
海外直订Reliable Software Technologies - Ada-Europe 2008: 13th A
¥553.00
海外直订Formal Methods for Embedded Distributed Systems: How to
¥1033
【预订】Application and Theory of Petri Nets and Concurrency 978 美国库房发货，通常付款后3-5周到货！
¥608.00
3-6周达 Embedded Systems: Analysis and Modeling with SysML, UM 【全球购】进口原版图书，预计3-6周左右到国内
¥1687
海外直订Reliable Systems on Unreliable Networked Platforms: 12th
¥553.00
3-6周达 Formal Methods for Embedded Distributed Systems: How t 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1266
海外直订Composition of Embedded Systems. Scientific and Industri
¥553.00
【3-6周达】Tools and Algorithms for the Construction and Analysi 【全球购】进口原版图书，预计3-6周左右到国内
¥628.00
3-6周达 Composition of Embedded Systems. Scientific and Indust 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【预订】Distibuted Systems 9781848212503 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848212503 Author 作者 Fabrice Kordon Format 版本 精装 Pages Number 页数 336页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2011-06-30 Shipping Weight 商品重量 630g Language 语种 英语 Book Contents 内容简介 This book presents distributed systems from a designer’s point-of-view. First, it gives examples of systems taken from industrial case studies. Then, it suggests how to model them from system requirements, keeping in mind formal analysis to enforce their accuracy.978184821251000657The new digital media offers us an unprecedented memory capacity, an ubiquitous communication channel and a growing computing power. How can we exploit this medium to augment our personal and social cognitive processes at the service of human developme
¥2333
【预订】Formal Methods for Embedded Distributed Systems: How Y97 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Formal Methods for Embedded Distributed Systems: How 美国库房发货，通常付款后3-5周到货！
¥1217
【3-6周达】Challenges and Opportunity with Big Data [ISBN:978331 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
【预订】Models and Analysis for Distributed Systems 978184821314 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848213142 Author 作者 Fabrice Kordon Format 版本 精装 Pages Number 页数 356页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2011-06-30 Shipping Weight 商品重量 660g Language 语种 英语 Book Contents 内容简介 This book presents distributed systems from a designer’s point-of-view. First, it gives examples of systems taken from industrial case studies. Then, it suggests how to model them from system requirements, keeping in mind formal analysis to enforce their accuracy.978184821315900535In recent years, machining wood and wood products has acquired great importance due to a short supply of wood and increasing environmental awareness among users and manufacturers. This book details the optimization of the machining process around the m
¥2333
【预订】Composition of Embedded Systems. Scientific and Industri 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540774181 Author 作者 Fabrice Kordon Université Paris VI Labo. Informatique de Pa Format 版本 平装-胶订 Pages Number 页数 221页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-01-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The workshop discussed a range of challenges in embedded systems design that require further major advances in technology.
¥608.00
分布式系统模型与分析 Models And Analysis For Distributed Systems 英文原版 FabriceKordon
¥1490
分布式系统设计与算法 Distibuted Systems: Design And Algorithms 英文原版 Fa FabriceKordon
¥1490
【预订】Reliable Systems on Unreliable Networked Platforms 97835 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540711551 Author 作者 Fabrice Kordon Université Paris VI Labo. Informatique de Pa Format 版本 平装-胶订 Pages Number 页数 320页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-02-28 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realization of reliable systems on top of unreliable networked platforms, held in Laguna Beach, CA in September 2005.
¥608.00
【预订】Reliable Software Technologies - ADA-Europe 2009: 美国库房发货，通常付款后3-5周到货！
¥608.00
预订 TOOLympics Challenge 2023: Updates, Results, Successes of 国外库房发货，通常付款后3-5周到货
¥608.00
