海外直订New Methods in Reading Comprehension Research 阅读理解研究的新方法
¥2353
【3-6周达】Optical Methods in Sensing and Imaging for Medical an 【全球购】进口原版图书，一般3-6周左右到国内
¥727.00
预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥858.00
【3-6周达】Formal Methods in Systems Biology: First Internationa 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Simple Methods to Study Pedology and Edaphology of In 【全球购】进口原版图书，一般3-6周左右到国内
¥916.00
【预订】Mixed Methods Social Network Analysis: Theories and Meth 【全球购】进口原版图书，预计5-8周左右到国内
¥715.00
【3-6周达】Organic Methods of Pest Management for Coffee [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥476.00
【3-6周达】Formal Methods for Industrial Critical Systems: 17th 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
预订 Mucins: Methods and Protocols 粘蛋白：方法与协议: 9781071636725 国外库房发货，通常付款后3-5周到货
¥1533
【预订】Formal Methods and Software Engineering 9783031172434 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031172434 Author 作者 Adrian Riesco Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-10-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.92 Shipping Weight 商品重量 1.40 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
¥548.00
【预订】Analytic Methods in Arithmetic Geometry 9781470437848 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781470437848 Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2020-02-28 Product Dimensions 商品尺寸 17.78 x 1.27 x 24.77 cm ( Language 语种 其它（含多语） Book Contents 内容简介 This volume contains the proceedings of the Arizona Winter School 2016, which was held from March 12-16, 2016, at The University of Arizona, Tucson, AZ. In the last decade or so, analytic methods have had great success in answering questions in arithmetic geometry and number theory. The School provided a unique opportunity to introduce graduate students to analytic methods in arithmetic geometry. The book contains four articles. Alina C. Cojocaru’s article introduces sieving techniques to study the group structure of points of the reduction of an elliptic curve modulo a rational prime via its division fiel
¥1614
按需印刷TF Methods for the Summation of Series 预订，预计下单后2-3周左右发货！
¥719.00
【3-6周达】Digital Methods in Developing Textile Products for Pe 【全球购】进口原版图书，一般3-6周左右到国内
¥797.00
预订 Robust Methods In Biostatistics 生物统计学健全方法 9780470027264 国外库房发货，通常付款后3-5周到货
¥1477
【3-6周达】Mesh Methods for Boundary-Value Problems and Applicat 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
3-6周达 Thermal Methods [ISBN:9780128219331] 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥2019
【预售 按需印刷】Formal Methods for Analyzing Privacy Policies
¥1111.8
【预订】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
3-6周达 Formal Methods Applied to Complex Systems: Implementat 【全球购】进口原版图书，预计3-6周左右到国内
¥2097
【预订】Zebrafish: Methods and Protocols 9781071634004 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071634004 Format 版本 精装 Pages Number 页数 198页 Publisher 出版社 Humana Publication Date 出版日期 2023-09-04 Language 语种 其它（含多语）
¥2409
【预订】Computer Methods in Structural Analysis 9781138470385 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138470385 Author 作者 J.L. Meek Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-08-22 Language 语种 其它（含多语）
¥2033
【3-6周达】Formal Methods for Model-Driven Engineering: 12th Int 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Optical Methods in Engineering Metrology [ISBN:978940 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Imaging Methods for Novel Materials and Challenging A 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【预订】Formal Methods in Manufacturing 9781138074293 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138074293 Format 版本 平装-胶订 Publication Date 出版日期 2017-11-22 Language 语种 英语
¥1307
【预订】Formal Methods for Safety and Security 9789811041204 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811041204 Author 作者 Jeppu, Yogananda Format 版本 精装 Publisher 出版社 Springer Singapore Publication Date 出版日期 2017-05-01 Language 语种 英语 Book Contents 内容简介 This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
¥1314
海外直订Formal Methods and Software Engineering: 17th Internatio
¥662.00
【预订】Formal Methods – The Next 30 Years 9783030309411 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030309411 Author 作者 Maurice H. ter Beek Format 版本 平装-胶订 Pages Number 页数 774页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-09-15 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 2420g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations werecarefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling La
¥548.00
海外直订Modern Methods in Phytomedicine 现代植物医学方法
¥1586
【预订】Analytical Methods in Petroleum Upstream Applications 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367575946 Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 630g Language 语种 英语 Book Contents 内容简介 Effective measurement of the composition and properties of petroleum is essential for its exploration, production, and refining; however, new technologies and methodologies are not adequately documented in much of the current literature. Analytical Methods in Petroleum Upstream Applications explores advances in the analytical methods and instrumentation that allow more accurate determination of the components, classes of compounds, properties, and features of petroleum and its fractions. Recognized experts explore a host of topics, including:A petroleum molecular composition continuity model as a context for other analytical measurements A modern modular sampling system f
¥766.00
【预售 按需印刷】Research Methods in Language P
¥1037.85
海外直订Modern Methods of Reflector Antenna Analysis and Design
¥1631
【3-6周达】Formal Methods for Multicore Programming: 15th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
海外直订Cast Methods in Modelling: Computer Aided Systems Theory
¥1325
海外直订医药图书Methods of Microarray Data Analysis: Papers from Cam
¥1325
【预订】Many-Body Methods for Atoms, Molecules and Clusters 9783 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319936017 Author 作者 Schirmer Format 版本 精装 Pages Number 页数 359页 Publication Date 出版日期 2018-08-28 Language 语种 英语 Book Contents 内容简介 This book provides an introduction to many-body methods for applications in quantum chemistry. These methods, originating in field-theory, offer an alternative to conventional quantum-chemical approaches to the treatment of the many-electron problem in molecules. Starting with a general introduction to the atomic and molecular many-electron problem, the book then develops a stringent formalism of field-theoretical many-body theory, culminating in the diagrammatic perturbation expansions of many-body Green’s functions or propagators in terms of Feynman diagrams. It also introduces and analyzes practical computational methods, such as the field-tested algebraic-diagrammatic construction (ADC) schemes. The ADC concept can als
¥1861
【预售 按需印刷】 Modern Methods in Protein and Nucleic Aci 北京直发，付款后10日内发货
¥2278
海外直订Visual Methods of Inquiry 可视化的探究方法
¥2353
3-6周达 Hplc Methods For Clinical Pharmaceutical Analysis - A 【全球购】进口原版图书，预计3-6周左右到国内
¥771.00
【预订】Digital Methods In The Humanities: Challenges, Ideas, Pe 【全球购】进口原版图书，一般10-12周左右到国内
¥699.00
【预订】Numerical Methods for Nonlinear Estimating 美国库房发货，通常付款后3-5周到货！
¥2729
【预订】Modeling Methods for Marine Science 美国库房发货，通常付款后3-5周到货！
¥1018
【预订】Numerical Methods in Finance Y9780521061698 国外库房发货, 通常付款后12-16周到货
¥687.00
【预订】Analytic Methods for Diophantine Equations and 国外库房发货, 通常付款后12-16周到货
¥661.00
【预订】Level Set Methods and Fast Marching Methods: 国外库房发货, 通常付款后12-16周到货
¥753.00
海外直订医药图书Methods in Chemosensory Research 化学感觉研究方法
¥2873
【预订】Computer Methods, Imaging and Visualization in Biomechan 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031100147 Author 作者 Jo?o Manuel R. S. Tavares Format 版本 精装 Pages Number 页数 292页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-01 Language 语种 其它（含多语） Book Contents 内容简介 This book gathers selected, extended and revised contributions to the 17th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering and the 5th Conference on Imaging and Visualization (CMBBE 2021), held online on September 7-9, 2021, from Bonn, Germany. It reports on cutting-edge models, algorithms and imaging techniques for studying cells, tissues and organs in normal and pathological conditions. It covers numerical and machine learning methods, finite element modeling and virtual reality techniques, applied to understand biomechanics of movement, fluid and soft tissue biomechanics. It also reports on related a
¥1533
【预订】Numerical Methods in Mechanics of Materials, 3rd ed 9781 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138719163 Author 作者 Ken P. Chong, Arthur P. Boresi, Sunil Saigal and James D. Le Format 版本 精装 Pages Number 页数 340页 Publication Date 出版日期 2017-12-04 Language 语种 英语 Book Contents 内容简介 Although software can be used to model and analyze complex systems, the solution of an engineering problem and the accurate use of numerical results require some physical modeling and an understanding of the assumptions employed. This book provides the grounding in numerical methods necessary to avoid the blind acceptance of results.
¥2012
海外直订Modern Methods of Geochemical Analysis 地球化学分析的现代方法
¥1325
【预订】Mitophagy: Methods and Protocols 9781493992744 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493992744 Format 版本 平装-胶订 Pages Number 页数 180页 Publisher 出版社 Humana Publication Date 出版日期 1800-01-01 Language 语种 英语
¥766.00
【3-6周达】Jets Methods of Cutting Carbide and Super Hard Materi 【全球购】进口原版图书，一般3-6周左右到国内
¥531.00
预订 Scaling Methods [ISBN:9781138143029] 【全球购】进口原版图书，一般5-8周左右到国内
¥1977
【预售 按需印刷】Advanced Methods for Seismic Performance
¥500.00
现货 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
海外直订Mixed Methods Research Design for the Built Envi... 建筑环境
¥2353
【3-6周达】Novel Methods for Monitoring and Managing Land and Wa 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Current Methods of Construction Design: Proceedings o 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Numerical Methods for Diffusion Phenomena in Building Ph 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030315764 Author 作者 Mendes Nathan Format 版本 平装-胶订 Pages Number 页数 245页 Publisher 出版社 Springer Nature Switzerland AG Publication Date 出版日期 2021-01-10 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 820g Language 语种 英语 Book Contents 内容简介 This book is the second edition of Numerical methods for diffusion phenomena in building physics: a practical introduction originally published by PUCPRESS (2016). It intends to stimulate research in simulation of diffusion problems in building physics, by providing an overview of mathematical models and numerical techniques such as the finite difference and finite-element methods traditionally used in building simulation tools. Nonconventional methods such as reduced order models, boundary integral approaches and spectral methods are presented, which might be
¥548.00
【预订】Sign-Based Methods in Linear Statistical Models 97808218 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821803714 Author 作者 M. V. Boldin Format 版本 精装 Pages Number 页数 234页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1997-04-22 Language 语种 英语 Book Contents 内容简介 For nonparametric statistics, the last half of this century was the time when rank-based methods originated, were vigorously developed, reached maturity, and received wide recognition. The rank-based approach in statistics consists in ranking the observed values and using only the ranks rather than the original numerical data. In fitting relationships to observed data, the ranks of residuals from the fitted dependence are used. The signed-based approach is based on the assumption that random errors take positive or negative values with equal probabilities. Under this assumption, the sign procedures are distribution-free. These procedures are robust t
¥1863
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车