【预订】Morale Galante, Ou L'Art de Bien Aimer (1691) 9781120008
美国库房发货,通常付款后3-5周到货!
/ 2009-08-26
¥309.00
【预订】Skin and Arthropod Vectors 9780128114360
美国库房发货,通常付款后3-5周到货!
/ 2018-01-23
/ 暂无出版社信息
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
【预订】The Origin and Progress of Despotism: In the Oriental, a
美国库房发货,通常付款后3-5周到货!
/ 2009-05-10
¥289.00
【预订】Aspects de L'Interdiction Dans La Lexicographie Francais
美国库房发货,通常付款后3-5周到货!
/ 1986-01-01
/ 暂无出版社信息
¥1000
【预订】Le Nom Propre Dans L'Espace Dictionnairique General: Etu
美国库房发货,通常付款后3-5周到货!
/ 2001-01-01
/ 暂无出版社信息
¥1057
【预订】Static Analysis of Software 9781848213203
美国库房发货,通常付款后3-5周到货!
/ 2011-11-30
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
基于软件设备的证券化技术 Safety Management Of Software-Based Equipment 英
Jean-LouisBoulanger
/ 2013-05-19
¥617.00
【预订】The Origin and Progress of Despotism: In the Oriental, a
美国库房发货,通常付款后3-5周到货!
/ 2009-05-10
¥437.00
【预订】Certifiable Software Applications 3 9781785481192
美国库房发货,通常付款后3-5周到货!
/ 2018-09-01
/ 暂无出版社信息
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
【预订】1001 Nacht: Scheherezade Erzahlt Geschichten Aus Der Wis
美国库房发货,通常付款后3-5周到货!
/ 1999-09-01
/ 暂无出版社信息
¥437.00
【预订】Smart Woman's Guide to Privacy Protection: An Honest and
美国库房发货,通常付款后3-5周到货!
/ 2012-05-01
¥127.00
预订 Certifiable Software Applications 2 9781785481185
海外仓库发货,通常付款后4-9周到货!
/ 2016-12-09
图书信息 书号: 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
适用于复杂系统的形式化方法 Formal Methods Applied To Industrial Complex S
Jean-LouisBoulanger
/ 2014-09-28
¥723.00
【预订】Safety of Computer Archtiectures 9781848211971
美国库房发货,通常付款后3-5周到货!
/ 2010-08-11
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
形式方法的工业应用 形式验证 Industrial Used Of Formal Method: Formal Veri
Jean-LouisBoulanger
/ 2012-07-24
¥602.00
【预订】Elomire Hypocondre: Ou, Les M Decins Vengez; Com Die ...
美国库房发货,通常付款后3-5周到货!
/ 2010-01-01
¥150.00
【预订】Wounded by Reality: Understanding and Treating Adult Ons
美国库房发货,通常付款后3-5周到货!
/ 1988-08-08
¥637.00
【预订】The Art of Making Love: Or Rules for the Conduct of Ladi
美国库房发货,通常付款后3-5周到货!
/ 2009-07-17
¥377.00