
【预订】Formal Methods for the Analysis of Biomedical Ontologies 【全球购】进口原版图书,约10-12周到达国内后发出
¥626.00

海外直订Modern Methods in Analytical Acoustics: Lecture Notes 分析
¥2220

海外直订医药图书Methods in Proteome and Protein Analysis 蛋白质组学和蛋白质分析
¥3048

海外直订New Methods of Concurrent Checking 并行检查的新方法
¥1325

【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781498772655 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 376页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-09-02 Language 语种 英语 Book Contents 内容简介 The bookprovides an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.
¥2306

现货 Practical Methods for Analysis and Design of HV Installat 国外库房发货, 通常付款后2-3周到货
Product Details 基本信息 ISBN-13 书号 9780128144602 Author 作者 Popovic, Ljubivoje M. Format 版本 平装-胶订 Pages Number 页数 450页 Publication Date 出版日期 2018-02-22 Language 语种 英语 Book Contents 内容简介 We now have computer programs that allow engineers to simulate, analyze, and optimize the grounding systems of distribution substations. These programs are very powerful, but, without a good understanding of the mutual relationship between the relevant parameters of a complex grounding system, the engineers using these programs can easily make serous errors in their designs procedures. This book helps to prevent these errors. It gives readers a basic understanding of the modeling characteristics of the major components of a complex grounding system. One by one, the author develops and analyses each component as a stand-alone element, then puts them all together and takes into consideration their mutual d
¥1760

【预订】Analytical Methods for the Assessment of Maillard Reacti 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319769226 Author 作者 Singla Format 版本 平装-胶订 Pages Number 页数 54页 Publication Date 出版日期 2018-03-19 Shipping Weight 商品重量 113g Language 语种 英语 Book Contents 内容简介 This Brief provides an overview of different analytical methods and techniques for the qualitative and quantitative evaluation of Maillard Reactions and their reaction products in foods during processing and storage. Reliable methodology for the investigation of Maillard Reactions and their products are of utmost importance in food analysis: since Maillard Reactions can on the one hand be desirable and advantageous, influencing the colors, flavors and odors of food products, they can on the other hand also produce detrimental compounds afflicting the consumers’ health (e.g. furfurals, furosine, or acrylamide). This Brief introduces different analytical methods, which can be
¥548.00

【预订】Formal Methods 9783030908690 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030908690 Author 作者 Marieke Huisman Format 版本 平装-胶订 Pages Number 页数 800页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.6 cm Shipping Weight 商品重量 2480g Language 语种 其它(含多语) Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited
¥1205

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

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

【预订】In Vitro Methods in Toxicology 美国库房发货,通常付款后3-5周到货!
¥661.00

【预订】Research Methods for Massage and Holistic Therapies 美国库房发货,通常付款后3-5周到货!
¥672.00

【预订】Formal Methods in Human-Computer Interaction 美国库房发货,通常付款后3-5周到货!
¥595.00

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

海外直订Modern Methods in Operator Theory and Harmonic Analysis:
¥1739

海外直订医药图书Methods for Stability Testing of Pharmaceuticals 药品稳
¥1480

【预订】Control Methods for Electrical Machines 9781848210936 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781848210936 Author 作者 Rene Husson Format 版本 精装 Pages Number 页数 384页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2009-05-11 Shipping Weight 商品重量 710g Language 语种 英语 Book Contents 内容简介 The type of control system used for electrical machines depends on the use (nature of the load, operating states, etc.) to which the machine will be put. The precise type of use determines the control laws which apply. Mechanics are also very important because they affect performance. Another factor of essential importance in industrial applications is operating safety. Finally, the problem of how to control a number of different machines, whose interactions and outputs must be coordinated, is addressed and solutions are presented
¥2315

【预售 按需印刷】Formal Methods for Analyzing Privacy Policies
¥1111.8

【预订】Numerical Methods in Physics with Python 9781009303859 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781009303859 Author 作者 Alex Gezerlis Format 版本 精装 Pages Number 页数 700页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-04-01 Language 语种 其它(含多语) Book Contents 内容简介 Bringing together idiomatic Python programming, foundational numerical methods, and physics applications, this is an ideal standalone textbook for courses on computational physics. All the frequently used numerical methods in physics are explained, including foundational techniques and hidden gems on topics such as linear algebra, differential equations, root-finding, interpolation, and integration. The second edition of this introductory book features several new codes and 140 new problems (many on physics applications), as well as new sections on the singular-value decomposition, derivative-free optimization, Bayesian linear regression, neural network
¥1454

预订 Numerical Methods for Stochastic Computations 国外库房发货,通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9780691142128 Author 作者 Dongbin Xiu Format 版本 精装 Pages Number 页数 125页 Publication Date 出版日期 2010-07-21 Product Dimensions 商品尺寸 23.6 x 15.5 x 1.5 cm Shipping Weight 商品重量 0.4 kg Language 语种 其它(含多语) Book Contents 内容简介 The@ first graduate-level textbook to focus on fundamental aspects of numerical methods for stochastic computations, this book describes the class of numerical methods based on generalized polynomial chaos (gPC). These fast, efficient, and accurate methods are an extension of the classical spectral methods of high-dimensional random spaces. Designed to simulate complex systems subject to random inputs, these methods are widely used in many areas of computer science and engineering. The book introduces polynomial approximation theory and probability theory; describes the basic theory of gPC methods through n
¥695.00

【预订】Integral Methods in Science and Engineering 978303107170 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031071706 Author 作者 Constanda Format 版本 精装 Pages Number 页数 498页 Publisher 出版社 Birkh?user Publication Date 出版日期 2022-08-22 Language 语种 其它(含多语) Book Contents 内容简介 This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Symposium on the Theory and Applications of Integral Methods in Science and Engineering, held virtually in July 2021, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical and electrical engineering, as well as graduate students in these disciplines and other professionals for whom integration is an ess
¥1753

【预订】Research Methods for Medical Graduates 9781138351813 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781138351813 Author 作者 Abhaya Indrayan Format 版本 精装 Pages Number 页数 304页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-11-01 Language 语种 英语 Book Contents 内容简介 This book discusses the why and how of each step of data-based medical research that can provide basic information to emerging researchers, medical graduate students who write thesis or publish articles. The chapters are arranged in the sequence of steps for data-based research. Comprehensive coverage of all research steps.
¥2613

预售 按需印刷Methods in Paleoethnobotany 北京发货,付款后10天内发货
¥530.00

海外直订Formal Methods in Developmental Psychology: Progress in
¥662.00

海外直订医药图书Methods in Mammary Gland Biology and Breast Cancer R
¥2651

海外直订Modern Methods of Plant Analysis / Moderne Methoden Der
¥1325

海外直订医药图书Methods of Nursing Care in Respiratory Diseases 呼吸系统
¥544.00

海外直订Novel Methods in Soft Matter Simulations 软物质模拟中的新方法
¥662.00

【预订】Numerical Methods of Statistics 9780521191586 美国库房发货,通常付款后3-5周到货!
¥1440

【预订】Formal Methods for Distributed Processing: A Survey of O 美国库房发货,通常付款后3-5周到货!
¥634.00

【预订】Effective Methods for Software Engineering 9780367458386 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780367458386 Author 作者 Boyd L. Summers Format 版本 精装 Pages Number 页数 166页 Publisher 出版社 Auerbach Publications Publication Date 出版日期 2020-06-03 Language 语种 英语 Book Contents 内容简介 Software is important because it is used by a great many people in companies and institutions. This book presents engineering methods for designing and building software. Based on the author’s experience in software engineering as a programmer in the defense and aerospace industries, this book explains how to ensure a software that is programmed operates according to its requirements. It also shows how to develop, operate, and maintain software engineering capabilities by instilling an engineering discipline to support programming, design, builds, and delivery to customers. This book helps software engineers to:Understand the basic concepts, standards, and requirements
¥1153

【预订】Discrete Methods in Epidemiology 9780821843796 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780821843796 Author 作者 James Abello Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2007-06-07 Language 语种 英语 Book Contents 内容简介 Studies of the spread and containment of disease rely at heart on a variety of mathematical and computational techniques. This collection aims to introduce the fundamentals of epidemiology and to showcase contemporary work using discrete mathematical techniques. Introductory chapters explain the fundamental concepts of epidemiology, the basic tools provided by mathematics and computer science, and some of the outstanding open problems in the area. Contributed articles then highlight particular problems in monitoring disease outbreaks, vaccination strategies, and modelling disease survival factors, and successfully apply techniques such as for
¥1231

预售 按需印刷 Methods and Analysis 北京发货,付款后10天内发货
¥944.00

预订 按需印刷 Methods of Historical Analysis in Electronic Media
¥553.35

Research Methods for the Behavioral Sciences 英文原版 行为科学研究方法 第
¥664.00
![预订 Modern Methods of Street Cleaning [ISBN:9785518634541]](images/model/guan/url_none.png)
预订 Modern Methods of Street Cleaning [ISBN:9785518634541] 【全球购】进口原版图书,一般5-8周左右到国内后发出
¥498.00

预订 New Methods, Reflections and Application Domains in Trans 【全球购】进口原版图书,预计10-12周左右到国内后发出
¥2019

【预订】Formal Methods for Industrial Critical Systems: 26th Int 【全球购】进口原版图书,一般10-12周左右到国内
¥585.00
![【预订】PCR: Methods and Protocols [ISBN:9781493983810]](images/model/guan/url_none.png)
【预订】PCR: Methods and Protocols [ISBN:9781493983810] 【全球购】进口原版图书,一般10-12周左右到国内
¥1105

【预订】Formal Methods for Autonomous Systems [ISBN:978163828272 【全球购】进口原版图书,一般10-12周左右到国内
¥1214
![【预订】Visual Methods in Social Research [ISBN:9781446269756]](images/model/guan/url_none.png)
【预订】Visual Methods in Social Research [ISBN:9781446269756] 【全球购】进口原版图书,预计10-12周左右到国内
¥669.00
![【预订】Formal Methods Teaching [ISBN:9783031275333]](images/model/guan/url_none.png)
【预订】Formal Methods Teaching [ISBN:9783031275333] 【全球购】进口原版图书,一般10-12周左右到国内
¥626.00

按需印刷New Methods of Financing Your Business in the United Sta 预订,预计下单后2-3周左右发货!
¥585.00

【预订】Formal Methods for Components and Objects: 9th Internati 【全球购】进口原版图书,一般10-12周左右到国内
¥585.00
![预订 Formal Methods in Computer Science [ISBN:9780367225704]](images/model/guan/url_none.png)
预订 Formal Methods in Computer Science [ISBN:9780367225704] 【全球购】进口原版图书,一般5-8周左右到国内
¥2249

【预订】Formal Methods for Industrial Critical Systems: 19th Int 【全球购】进口原版图书,一般10-12周左右到国内
¥585.00

【预订】Formal Methods and Software Engineering: 9th Internation 【全球购】进口原版图书,一般10-12周左右到国内
¥585.00

预订 Direct Methods in the Calculus of Variat [ISBN:9789812380 【全球购】进口原版图书,一般5-8周左右到国内
¥1184
![【预订】Aging: Methods and Protocols (2020) [ISBN:9781071605912]](images/model/guan/url_none.png)
【预订】Aging: Methods and Protocols (2020) [ISBN:9781071605912] 【全球购】进口原版图书,一般10-12周左右到国内
¥1781

【预订】New Methods in Fixed Income Modeling: Fixed Income Model 【全球购】进口原版图书,一般10-12周左右到国内
¥1013

【预订】Field Methods for Geologists and Hydrogeologists [ISBN:9 【全球购】进口原版图书,一般10-12周左右到国内
¥1684

【预订】Inverse Methods in Electromagnetic Imaging: Par [ISBN:97 【全球购】进口原版图书,一般10-12周左右到国内
¥585.00

【预订】Unique Methods For Analyzing Failures And Catastrophic E 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781119748250 Author 作者 Anthony Sofronas Format 版本 精装 Pages Number 页数 336页 Publisher 出版社 Wiley Publication Date 出版日期 2022-05-16 Product Dimensions 商品尺寸 15.24 x 22.86 cm. Language 语种 其它(含多语) Book Contents 内容简介 Design and fabrication problems are ever present in both new and existing manufacturing unit equipment. Sometimes the potential problems that could arise are caused by field changes to the physical design and/or operation of equipment. This book is vital to the practicing engineer who must work under the pressures of safe process operation. Unique Methods for Analyzing Failures and Catastrophic Events: An Illustrated Guide for Engineers will be useful to anyone seeking practical insight and relevant case studies to solve an existing problem or to understand how complex engineering problems are solved.? Using techni
¥1419

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

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

【预订】Formal Methods in the Methodology of Empirical Sciences: 【全球购】进口原版图书,一般10-12周左右到国内
¥1684

Research Methods 研究方法 精装第9版 心理学教材 英文原版
¥739.00

【预订】Meshfree Methods 9781420082098 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781420082098 Author 作者 G.R. Liu Format 版本 精装 Pages Number 页数 792页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-10-06 Shipping Weight 商品重量 1564g Language 语种 英语 Book Contents 内容简介 With 70 percent new material, this second edition reflects significant advances made in the field since the publication of its predecessor. It continues to systematically cover the most widely used meshfree methods. This edition includes enhanced focus on fundamental concepts and theories, more detailed discussion on error estimation and adaptive analysis using meshfree methods, developments on combined meshfree/FEM models, and comparison studies using meshfree and FEM. It also contains a new discussion on special properties of meshfree methods, including stability, convergence, accurate, efficiency, and bound property. The latest version of MFree2D
¥2690
![【预订】Golgi: Methods and Protocols [ISBN:9781071626412]](images/model/guan/url_none.png)
【预订】Golgi: Methods and Protocols [ISBN:9781071626412] 【全球购】进口原版图书,一般10-12周左右到国内
¥2444

【预订】Kernel Methods for Machine Learning with Math and Python 【全球购】进口原版图书,一般10-12周左右到国内
¥535.00