预订 Formal Methods for Components and Objects: Second Interna 【全球购】进口原版图书,约5-8周到达国内后发出
¥503.00
预订 高被引Electro-Optical Effects to Visualize Field and [ISBN:9 【全球购】进口原版图书,约5-8周到达国内后发出
¥953.00
预订 House Dust Mites: Natural History, Control and Research T 【全球购】进口原版图书,约5-8周到达国内后发出
¥1498
预订 Theory of Porous Media: Highlights in Historical Developm 【全球购】进口原版图书,约5-8周到达国内后发出
¥456.00
预订 高被引Introduction to Space Charge Effects in Semicon [ISBN: 【全球购】进口原版图书,约5-8周到达国内后发出
¥1623
预订 高被引Introduction to Space Charge Effects in Semicon [ISBN: 【全球购】进口原版图书,约5-8周到达国内后发出
¥1306
预订 Formal Methods for Components and Objects: First Internat 【全球购】进口原版图书,约5-8周到达国内后发出
¥474.00
预订 高被引The Engineer and the Scandal: A Piece of Science Histo 【全球购】进口原版图书,约5-8周到达国内后发出
¥953.00
预订 Formal Methods for Components and Objects: 4th Internatio 【全球购】进口原版图书,约5-8周到达国内后发出
¥474.00
预订 The Engineer and the Scandal: A Piece of Science History 【全球购】进口原版图书,约5-8周到达国内后发出
¥912.00
预订 Grand Stand 6: Designing Stands for Trade Fairs and Event 【全球购】进口原版图书,约5-8周到达国内后发出
¥839.00
预订 高被引Chlorinated Paraffins, 环境科学基础理论 [ISBN:9783642107603] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1758
预订 高被引From Milk By-Products to Milk Ingredients: Upgrading t 【全球购】进口原版图书,约5-8周到达国内后发出
¥2018
预订 Formal Methods for Components and Objects: Third Internat 【全球购】进口原版图书,约5-8周到达国内后发出
¥571.00
预订 Trends in Continuum Mechanics of Porous Media [ISBN:97814 【全球购】进口原版图书,约5-8周到达国内后发出
¥912.00
预订 Materials Science of Microelectromechanical Systems (Mems 【全球购】进口原版图书,约5-8周到达国内后发出
¥341.00
预订 Active Matrix Liquid Crystal Displays: Fundamentals and A 【全球购】进口原版图书,约5-8周到达国内后发出
¥985.00
预订 Software Engineering and Formal Methods: 18th Internation 【全球购】进口原版图书,约5-8周到达国内后发出
¥516.00
预订 Parallel Kinematic Machines [ISBN:9781447112280] 【全球购】进口原版图书,约5-8周到达国内后发出
¥912.00
【现货】英文原版《GrandStand5》大展览5英文原版图书籍进口正版 现货图书24小时发货
¥458.00
包邮GOODS - Interior Products 室内产品设计绘图到应用家具设计 现货图书24小时发货
¥373.00
预订 高被引Analogue And Numerical Modelling Of Sedimentary System 【全球购】进口原版图书,约5-8周到达国内后发出
¥1753
【中商原版】骨科手术揭秘 解剖学方法 第6版 英文原版 Surgical Exposures in Orthopaedi
¥2607
明星店铺 中华商务进口图书旗舰店
沉积体系的模拟与数值建模 Analogue And Numerical Modelling Of Sedimentary 生态学PoppedeBoer
¥530.00
明星店铺 中华商务进口图书旗舰店
包邮英文原版《Grand Stand 5》大展览5 现货图书24小时发货
¥458.00
预订 Formal Methods for Components and Objects [ISBN:978364217 【全球购】进口原版图书,约5-8周到达国内后发出
¥571.00
海外直订Historical Dictionary of Music of the Classical Period 古
¥1649
明星店铺 中华商务进口图书旗舰店
预订 It's The Sun, Not Us: How Global Warbling and Green Ideol 【全球购】进口原版图书,约5-8周到达国内后发出
¥310.00
海外直订The Ulysses Theme: A Study in the Adaptability of a Trad
¥264.00
明星店铺 中华商务进口图书旗舰店
¥335.00
明星店铺 中华商务进口图书旗舰店
海外直订Career Counseling Over the Internet: An Emerging Model f
¥486.00
明星店铺 中华商务进口图书旗舰店
【预订】Boundary Value Problems in Linear Viscoelasticity 978366 美国库房发货,通常付款后3-5周到货!
¥520.00
预订Bushfire Recovery at Badja: A Landowner's Observations [IS 【全球购】进口原版图书,约5-8周到达国内后发出
¥679.00
【预订】Advances in Solar Energy: An Annual Review of Research a 美国库房发货,通常付款后3-5周到货!
¥1040
海外直订Regulation and Stabilization Paradigms in Population Eco
¥2067
明星店铺 中华商务进口图书旗舰店
【预订】From Milk By-Products to Milk Ingredients: Upgrading the 美国库房发货,通常付款后3-5周到货!
¥1770
海外直订Formal Methods for Components and Objects: Second Intern
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Advances in Solar Energy: An Annual Review of Research a
¥1033
明星店铺 中华商务进口图书旗舰店
海外直订医药图书Auditory System: Clinical and Special Topics 听觉系统:临床
¥1193
明星店铺 中华商务进口图书旗舰店
海外直订The Asian Market Cookbook: 80 Creative Easy-to-Follow Re
¥211.00
明星店铺 中华商务进口图书旗舰店
预订 Functional Fitness for Adults Living with Down Syndrome [ 【全球购】进口原版图书,约5-8周到达国内后发出
¥327.00
海外直订Formal Methods for Components and Objects: First Interna
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Career Counseling Over the Internet 网上职业咨询
¥1411
明星店铺 中华商务进口图书旗舰店
【预订】Formal Methods for Components and Objects 9783540229421 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540229421 Author 作者 Boer Format 版本 平装-胶订 Pages Number 页数 371页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-10-27 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers pre
¥520.00
海外直订Process Modelling of Metal Forming and Thermomechanical
¥1193
明星店铺 中华商务进口图书旗舰店
海外直订Bushfire Recovery at Badja: A Landowner's Observations 巴
¥575.00
明星店铺 中华商务进口图书旗舰店
【预订】House Dust Mites 9780443191114 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780443191114 Author 作者 Boer Format 版本 平装-胶订 Pages Number 页数 232页 Publisher 出版社 Academic Press Publication Date 出版日期 2023-03-15 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.49 Shipping Weight 商品重量 0.70 Language 语种 其它(含多语) Book Contents 内容简介 House Dust Mites: Natural History, Control, and Research Techniques presents a complete synthesis of biological information on dust mites from both an ecological and evolutionary perspective. This book allows readers to consume current knowledge on house dust mite biology as well as methods and techniques to conduct personal research. Written by an expert on house dust mite biological research, this book begins with an explanation of the medical importance of understanding dust mites due to their human health repercussions, including asthma and bronchial hyperresponsivene
¥1544
【预订】Irritationen - Befremdungen - Entgrenzungen 美国库房发货,通常付款后3-5周到货!
¥220.00
海外直订Price Effects in Input-Output Relations: A Theoretical a
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Mass Customization and Footwear: Myth, Salvation or Reali 【全球购】进口原版图书,约5-8周到达国内后发出
¥1096
【预订】Bushfire Recovery at Badja: A Landowner’s Observations 9 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780645325102 Author 作者 Boer Format 版本 精装 Pages Number 页数 328页 Publisher 出版社 Paula Boer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.00 x 6.00 x 1.00 Shipping Weight 商品重量 1.72磅 Language 语种 其它(含多语)
¥599.00
【预订】Theory of Porous Media 9783642640629 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642640629 Author 作者 Boer Format 版本 平装-胶订 Pages Number 页数 618页 Publication Date 出版日期 2011-09-18 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.2 cm Shipping Weight 商品重量 1950g Language 语种 英语 Book Contents 内容简介 Porous media theories play an important role in many branches of engineering, including material science, the petroleum industry, chemical engineering, and soil mechanics, as well as biomechanics. This book offers a consistent treatment of the material-independent fundamental equations of the theory of porous media, formulates constitutive equations for frictional materials in the elastic and plastic range, and traces the historical development of porous media theory. Thus, for the first time, a unique treatment of fluid-saturated porous solids is presented. The corresponding theory is explained by its historical progression,
¥520.00
预订 Career Counseling Over the Internet: An Emerging Model fo 【全球购】进口原版图书,约5-8周到达国内后发出
¥503.00
海外直订sleeping is not easy 睡觉并不容易
¥162.40
明星店铺 中华商务进口图书旗舰店
【预订】Vektor- Und Tensorrechnung Fur Ingenieure 9783540118343 美国库房发货,通常付款后3-5周到货!
¥522.00
【预订】Mass Customization and Sustainability: An Assessment Fra 美国库房发货,通常付款后3-5周到货!
¥1431
海外直订The Young Nerd Who Saved The World 拯救世界的年轻书呆子
¥140.00
明星店铺 中华商务进口图书旗舰店
海外直订Brumbies in the Outback 布鲁比在内地
¥130.40
明星店铺 中华商务进口图书旗舰店
海外直订Modeling Volatility in Financial Time Series 金融时间序列的波动性建
¥552.00
明星店铺 中华商务进口图书旗舰店
【预售 按需印刷】The Basic Problems of Phenomenology 北京发货,付款后10天内发货
¥240.77