按需印刷CENELEC 50128 and IEC 62279 Standards 预订,预计下单后3-4周左右发货!
¥2352
预订 Formal Methods: Industrial Use from Model to the Code [IS 【全球购】进口原版图书,约5-8周到达国内后发出
¥1904
【预售 按需印刷】Oeuvres De Boullanger V2 (1794)
¥220.15
预订 Park's Pediatric Cardiology for Practitioners [ISBN:97803 【全球购】进口原版图书,约5-8周到达国内后发出
¥834.00
预订 高被引Certifiable Software Applications 2: Support Processes 【全球购】进口原版图书,约5-8周到达国内后发出
¥982.00
海外直订Cenelec 50128 and Iec 62279 Standards Cenelec 50128和Iec
¥1633
明星店铺 中华商务进口图书旗舰店
【预订】The Audio Programming Book [With CDROM] 美国库房发货,通常付款后3-5周到货!
¥650.00
预订 高被引Industrial Use of Formal Methods: Formal Verification 【全球购】进口原版图书,约5-8周到达国内后发出
¥1902
海外直订Why ChatGPT is a Game-Changer 为什么ChatGPT会改变游戏规则
¥212.00
明星店铺 中华商务进口图书旗舰店
海外直订Climate Change Policy 气候变化政策
¥956.00
明星店铺 中华商务进口图书旗舰店
【预售 按需印刷】Sustainability and Performance
¥401.20
预订Certifiable Software Applications 1:Main Processes 预订,预计下单后3-6周左右发货!
¥1924
海外直订Complex Systems Design & Management: Proceedings of the
¥1550
明星店铺 中华商务进口图书旗舰店
【预订】Safety of Computer Archtiectures 9781848211971 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781848211971 Author 作者 Jean-Louis Boulanger Format 版本 精装 Pages Number 页数 512页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2010-08-11 Shipping Weight 商品重量 880g Language 语种 英语 Book Contents 内容简介 It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this book is to present, in a single volume, a full de*ion of all the constraints (including legal contexts around performance, reliability
¥1568
预订 Certifiable Software Applications 2 9781785481185 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9781785481185 作者: Jean-Louis Boulanger 装帧: 精装 页数: 282页 出版社: Elsevier Science 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2016-12-09 重量: 454g 语种: 其它(含多语) 内容简介 Certifiable Software Applications 2: Support Processes explains
¥1411
海外直订The Csound Book: Perspectives in Software Synthesis, Sou
¥651.00
明星店铺 中华商务进口图书旗舰店
【预订】Certifiable Software Applications 3 9781785481192 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781785481192 Author 作者 Boulanger, Jean-Louis Format 版本 精装 Pages Number 页数 300页 Publication Date 出版日期 2018-09-01 Language 语种 英语 Book Contents 内容简介 Programming Techniques; Software Engineering; Programming Languages
¥1485
形式方法的工业应用 形式验证 Industrial Used Of Formal Method: Formal Veri Jean-LouisBoulanger
¥1722
明星店铺 中华商务进口图书旗舰店
【预订】Sustainability and Performance 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥451.67
【预售 按需印刷】Open Invitation 北京发货,付款后10天内发货
¥201.00
¥109.00
明星店铺 中华商务进口图书旗舰店
海外直订John The Fish & Other Stories 约翰鱼和其他故事 海外发货,付款后预计2-4周到货
¥354.00
明星店铺 中华商务进口图书旗舰店
【预订】Wounded by Reality: Understanding and Treating Adult Ons 美国库房发货,通常付款后3-5周到货!
¥1655
预订 高被引Certifiable Software Applications 1: Main Processes [I 【全球购】进口原版图书,约5-8周到达国内后发出
¥1183
预售 按需印刷 House of Several Stories 北京发货,付款后10天内发货
¥165.00
【预订】The Art of Making Love: Or Rules for the Conduct of Ladi 美国库房发货,通常付款后3-5周到货!
¥377.00
海外直订Wounded by Reality: Understanding and Treating Adult Ons
¥1520
明星店铺 中华商务进口图书旗舰店
【预订】Safety Management of Software-Based Equipment 美国库房发货,通常付款后3-5周到货!
¥1527
【预售 按需印刷】Cenelec 50128 and Iec 62279 Standards
¥1354.05
【预售 按需印刷】The Origin And Progress Of Despotism
¥170.85
海外直订Bill Baker's Dozen Vol. 1: Fresh Baked 比尔·贝克的一打第1卷:新鲜出炉
¥176.00
明星店铺 中华商务进口图书旗舰店
预订 高被引Static Analysis of Software: The Abstract Interpretati 【全球购】进口原版图书,约5-8周到达国内后发出
¥2117
形式方法 工业用从模型到代码 Formal Method: Industrial Used From Model To Jean-LouisBoulanger
¥1438
明星店铺 中华商务进口图书旗舰店
【预订】The Origin and Progress of Despotism: In the Oriental, a 美国库房发货,通常付款后3-5周到货!
¥289.00
海外直订Wounded by Reality: Understanding and Treating Adult Ons
¥605.00
明星店铺 中华商务进口图书旗舰店
【预订】The Origin and Progress of Despotism: In the Oriental, a 美国库房发货,通常付款后3-5周到货!
¥437.00
¥73.00
明星店铺 中华商务进口图书旗舰店
海外直订Finding a Leprechaun 找到一个小妖精
¥128.00
明星店铺 中华商务进口图书旗舰店
预售 按需印刷 The Shimmer 北京发货,付款后10天内发货
¥146.00
【预订】Formal Methods Applied to Industrial Complex Systems: Im 美国库房发货,通常付款后3-5周到货!
¥1969
海外直订Higher Spin Gauge Theories 高自旋规理论
¥777.00
明星店铺 中华商务进口图书旗舰店
预售 按需印刷 A Guide for the New Novelist 北京发货,付款后10天内发货
¥153.00
【预订】1001 Nacht: Scheherezade Erzahlt Geschichten Aus Der Wis 美国库房发货,通常付款后3-5周到货!
¥437.00
海外直订Comparing Literatures: Aspects, Method, and Orientation
¥466.00
明星店铺 中华商务进口图书旗舰店
【预订】House of Several Stories 美国库房发货,通常付款后3-5周到货!
¥123.00
【预订】Smart Woman's Guide to Privacy Protection: An Honest and 美国库房发货,通常付款后3-5周到货!
¥127.00
【预订】Elomire Hypocondre: Ou, Les M Decins Vengez; Com Die ... 美国库房发货,通常付款后3-5周到货!
¥150.00
【预订】Le Nom Propre Dans L'Espace Dictionnairique General: Etu 美国库房发货,通常付款后3-5周到货!
¥1057
【预订】Wounded by Reality: Understanding and Treating Adult Ons 美国库房发货,通常付款后3-5周到货!
¥637.00
海外直订Certifiable Software Applications 2: Support Processes 可
¥1418
明星店铺 中华商务进口图书旗舰店
【预售 按需印刷】John The Fish & Other Stories
¥306.00
【预订】Aspects de L'Interdiction Dans La Lexicographie Francais 美国库房发货,通常付款后3-5周到货!
¥1000
海外直订Certifiable Software Applications 1: Main Processes 可认证软
¥1861
明星店铺 中华商务进口图书旗舰店
【预订】Bivectors and Waves in Mechanics and Optics 美国库房发货,通常付款后3-5周到货!
¥582.00
【预订】Skin and Arthropod Vectors 9780128114360 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780128114360 Author 作者 Boulanger, Nathalie Format 版本 平装-胶订 Pages Number 页数 464页 Publication Date 出版日期 2018-01-23 Language 语种 英语 Book Contents 内容简介 Recent research on skin immunity and the skin microbiome reveals the complexity of the skin and its importance in the development of immunity against arthropod-borne diseases. In diseases such as malaria, borreliosis, leishmaniasis, trypanosomiasis, etc., the skin interface has been shown as an essential site for pathogens to hide from the immune system, and as a potential site of persistence. Only very few vaccines have been successfully developed so far against these diseases, likely because of an insufficient understanding on the development of skin immunity against pathogens. Skin and Arthropod Vectors expands our knowledge on the role of the skin interface during the transmission of arthropod-borne dis
¥911.00
【预订】Static Analysis of Software 9781848213203 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781848213203 Author 作者 Jean-Louis Boulanger Format 版本 精装 Pages Number 页数 331页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2011-11-30 Product Dimensions 商品尺寸 9.3 x 6.4 x 0.9 cm Shipping Weight 商品重量 640g Language 语种 英语 Book Contents 内容简介 The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.
¥1843
¥168.80
明星店铺 中华商务进口图书旗舰店
海外直订Complex Systems Design & Management: Proceedings of the
¥1789
明星店铺 中华商务进口图书旗舰店
预订 高被引Formal Methods Applied to Industrial Complex Systems [ 【全球购】进口原版图书,约5-8周到达国内后发出
¥2266
预订 Industrial Used of Formal Method 预订商品
¥1834