
【3-6周达】Methods in Floristic and Phytosociological Study [ISB 【全球购】进口原版图书,一般3-6周左右到国内
¥996.00
![3-6周达 Matrix Methods [ISBN:9780128184196]](images/model/guan/url_none.png)
3-6周达 Matrix Methods [ISBN:9780128184196] 【全球购】进口原版图书,预计3-6周左右到国内后发出
¥1016

¥11217

海外直订Formal Methods and Software Engineering 形式化方法与软件工程
¥662.00

【预订】In Silico Methods for Predicting Drug Toxicity 978149398 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781493980932 Format 版本 平装-胶订 Pages Number 页数 548页 Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 10 x 7 x 1.1 cm Shipping Weight 商品重量 2070g Language 语种 英语
¥1205

【预订】Xylem: Methods and Protocols (Softcover Reprint of the O 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781493982820 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-06-08 Language 语种 英语
¥1259

【预订】Genetic Methods and Tools for Managing Crop Pests 978981 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811902635 Author 作者 A. K. Chakravarthy Format 版本 精装 Pages Number 页数 598页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-04-26 Language 语种 其它(含多语) Book Contents 内容简介 This contributed volume aims at bringing together all the genetic engineering tools for managing various types of crop pests. The main focus of this book is to explore the application of these tools in pest management. Major pest groups covered in this book are insects, mites and nematodes.The first section covers all major genetic tools and molecular approaches. The second section deals with genetic tools for of beneficial containing three chapters involving honey bees, silkworms and natural enemies. Next section deals with genetic interactions against pests in diverse geographical regions with special focus on Africa, Vietnam and Sri Lanka. Secti
¥1643

【预订】Meshfree Methods for Partial Differential Equations VIII 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319847870 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-18 Language 语种 英语
¥1095

【预订】Modern Methods in Collisional-Radiative Modeling of Plas 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319801582 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-03-18 Language 语种 英语
¥1095

【预订】Kernel Methods for Remote Sensing Data Analysis 美国库房发货,通常付款后3-5周到货!
¥1975

【预订】Wavelet Methods for Elliptic Partial Differential Equati 美国库房发货,通常付款后3-5周到货!
¥2135

【预售 按需印刷】Practical Methods for Improving the Motio
¥953.70

【预售 按需印刷】Mitigation Methods of Wind Acceleration f 北京发货,付款后10天内发货
¥862.00

海外直订Extraction Methods in Organic Analysis 有机分析中的萃取方法
¥2020

海外直订Formal Methods for Safety and Security 安全与保安的正式方法
¥1337

现货 Bayesian Methods For Structural Dynamics And Civilenginee
Product Details 基本信息 ISBN-13 书号 9780470824542 Author 作者 Ka-Veng Yuen Format 版本 精装 Pages Number 页数 312页 Publisher 出版社 Wiley Publication Date 出版日期 2010-03-11 Shipping Weight 商品重量 690g Language 语种 其它(含多语) Book Contents 内容简介 Bayesian methods are a powerful tool in many areas of science and engineering, especially statistical physics, medical sciences, electrical engineering, and information sciences. They are also ideal for civil engineering applications, given the numerous types of modeling and parametric uncertainty in civil engineering problems. For example, earthquake ground motion cannot be predetermined at the structural design stage. Complete wind pressure profiles are difficult to measure under operating conditions. Material properties can be
¥1476

预售 按需印刷New Methods 北京发货,付款后10天内发货
¥1132

【预订】Modern Methods in Orchid Conservation 9780521372947 国外库房发货, 通常付款后12-16周到货
¥1454

【预订】Numerical Methods in Finance with C++ 9780521177160 国外库房发货, 通常付款后12-16周到货
¥502.00

【预订】Tools and Methods of Program Analysis 9783030714710 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030714710 Format 版本 平装-胶订 Pages Number 页数 209页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-03-17 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 690g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 5thInternational Conference onTools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and
¥548.00

【预订】Practical Methods for Biocatalysis and Biotransformation 美国库房发货,通常付款后3-5周到货!
¥2100

【预订】In Vitro Methods in Toxicology 国外库房发货, 通常付款后12-16周到货
¥661.00

【预订】Bayesian Methods In Finance 美国库房发货,通常付款后3-5周到货!
¥919.00

【预订】Research Methods for Massage and Holistic Therapies 国外库房发货, 通常付款后12-16周到货
¥672.00

【预订】Numerical Methods for Fluid Dynamics IV 美国库房发货,通常付款后3-5周到货!
¥783.00

【预订】Modern Methods Of Particle Size Analysis 美国库房发货,通常付款后3-5周到货!
¥4994

【预订】Formal Methods in Human-Computer Interaction 国外库房发货, 通常付款后12-16周到货
¥595.00

Research Methods for Business 8th Edition Asia Edition 97811
Product Details 基本信息 ISBN-13 书号 9781119683537 Author 作者 Uma Sekaran Format 版本 平装-胶订 Pages Number 页数 432页 Publisher 出版社 Wiley Publication Date 出版日期 2019-12-02 Language 语种 其它(含多语)
¥829.00

海外直订Mesh Methods for Boundary-Value Problems and Application
¥1723

海外直订Formal Methods for Open Object-Based Distributed Systems
¥2651

海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法
¥2651

预订 Interval Methods For Uncertain Power System Analysis 9781 国外库房发货,通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781119855040 Author 作者 Alfredo Vaccaro Format 版本 精装 Pages Number 页数 144页 Publisher 出版社 Wiley-IEEE Press Publication Date 出版日期 2023-07-06 Language 语种 其它(含多语) Book Contents 内容简介 This book explores the mathematical foundations of range analysis, and its deployment in solving traditional power system operation problems in the presence of strong and correlated uncertainties. It addresses many relevant topics ranging from interval methods for uncertainty representation and management to various application examples. This book not only focuses on methodological breakthroughs and roadmaps in implementing the mathematical methodologies, but also presents the much needed sharing of best practices. The problems currently faced by possible readers are related to the sparsity of information on this topic, scattered between many self-consistent pa
¥1537

【3-6周达】Methods for Risk Assessment of Transgenic Plants: I. 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

3-6周达 Research Methods: Concepts, Methodologies, Tools, and 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥6020
![【3-6周达】Xylem: Methods and Protocols [ISBN:9781493982820]](images/model/guan/url_none.png)
【3-6周达】Xylem: Methods and Protocols [ISBN:9781493982820] 【全球购】进口原版图书,一般3-6周左右到国内
¥1298

【3-6周达】Applied Methods of Cost-Effectiveness Analysis in Hea 【全球购】进口原版图书,一般3-6周左右到国内
¥884.00

【预订】mRNA Decay:Methods and Protocols 9781493985159 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781493985159 Format 版本 平装-胶订 Publisher 出版社 Springer New York Publication Date 出版日期 2018-08-30 Language 语种 其它(含多语)
¥1205

【预订】Numerical Methods for Elliptic and Parabolic Partial Dif 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030793845 Author 作者 Peter Knabner Format 版本 精装 Pages Number 页数 802页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-24 Language 语种 其它(含多语) Book Contents 内容简介 This graduate-level text provides an application oriented introduction to the numerical methods for elliptic and parabolic partial differential equations. It covers finite difference, finite element, and finite volume methods, interweaving theory and applications throughout. The book examines modern topics such as adaptive methods, multilevel methods, and methods for convection-dominated problems and includes detailed illustrations and extensive exercises. For students with mathematics major it is an excellent introduction to the theory and methods, guiding them in the selection of methods and helping them to understand and pursue finite element program
¥985.00

【预订】Formal Methods 9783031274800 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031274800 Format 版本 平装-胶订 Pages Number 页数 659页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-20 Language 语种 其它(含多语) Book Contents 内容简介 This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
¥1094

Analytical methods for food safety by mass spectrometry 庞国芳
¥721.20定价:¥788.00 (9.16折)

海外直订Formal Methods for Components and Objects: Second Intern
¥662.00

【3-6周达】Formal Methods for Industrial Critical Systems: 27th 【全球购】进口原版图书,一般3-6周左右到国内
¥819.00

【3-6周达】Maize: Methods and Protocols [ISBN:9781493984503 【全球购】进口原版图书,一般3-6周左右到国内
¥1202

【3-6周达】Novel Methods for the Visualization of Gene Expressio 【全球购】进口原版图书,一般3-6周左右到国内
¥903.00

【3-6周达】Kernel Methods in Analysis of Genetic Markers and DNA 【全球购】进口原版图书,一般3-6周左右到国内
¥1192

【3-6周达】New Methods of Concurrent Checking [ISBN:978904817876 【全球购】进口原版图书,一般3-6周左右到国内
¥1105

【3-6周达】Formal Methods for Eternal Networked Software Systems 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

海外直订Modern Methods of Geochemical Analysis 地球化学分析的现代方法
¥1325

海外直订Visual Methods of Inquiry 可视化的探究方法
¥2353

预售 按需印刷 Methods and Algorithms for Molecular Docki分子对接的药物设计和 北京发货,付款后10天内发货
¥1802.25

预订 医学信息学方法Methods in Medical Informatics [ISBN:9781138374416 【全球购】进口原版图书,一般5-8周左右到国内
¥875.00

海外直订Formal Methods for Industrial Critical Systems: 29th Int
¥735.00

【预订】Formal Methods for Industrial Critical Systems 978303058 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030582975 Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 970g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contai
¥548.00

海外直订Formal Methods: Foundations and Applications: 21st Brazi
¥768.00

预订Research Methods and Statistics:A Critical Thinking Approa 预订,预计下单后3-6周左右发货!
¥1194

海外直订医药图书Methods and Results of Liver Biopsy 肝活检方法及结果
¥1412

【3-6周达】高被引PCR: Methods and Protocols [ISBN:9781493970 【全球购】进口原版图书,一般3-6周左右到国内
¥1781

【3-6周达】Novel Methods & Applications of Tropane Alkaloids and 【全球购】进口原版图书,一般3-6周左右到国内
¥1192

【预订】Numerical Methods for Nonlinear Engineering Models 97894 美国库房发货,通常付款后3-5周到货!
¥2738

海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法
¥616.00