海外直订Formal Methods: Foundations and Applications: 13th Brazi
¥662.00
【预售 按需印刷】Analytical methods for studying the stabi 北京发货，付款后10天内发货
¥855.00
【3-6周达】Formal Methods and Hybrid Real-Time Systems [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】The Methods of the Synthesis of Finite Element Model 【全球购】进口原版图书，一般3-6周左右到国内
¥821.00
【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Revival: Methods of Detection and Identification of Bact 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138560857 Author 作者 Mitruka, B. M.(作者) Format 版本 平装-胶订 Pages Number 页数 270页 Publication Date 出版日期 1800-01-01 Language 语种 英语
¥697.00
预订 Research Methods for Medical Graduates [ISBN:978103208725 【全球购】进口原版图书，一般5-8周左右到国内
¥663.00
海外直订Novel Methods in Computational Finance 计算金融中的新方法
¥2120
【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030549961 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 575页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2
¥548.00
海外直订医药图书Methods in Epidemiology: Population Size Estimation
¥1739
湿地生物地球化学方法 Methods In Biogeochemistry Of Wetlands 英文原版 R DeL 农业科学RDeLaune
¥2074
海外直订Soft Methods for Data Science 数据科学的软方法
¥2651
【3-6周达】Padé Methods for Painlevé Equations (2021) [ISBN:9789 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【预售 按需印刷】Quantum Methods in Social Science
¥933.30
【3-6周达】Entropy Methods for the Boltzmann Equation: Lectures 【全球购】进口原版图书，一般3-6周左右到国内
¥486.00
【3-6周达】Robust Methods for Dense Monocular Non-Rigid 3D Recon 【全球购】进口原版图书，一般3-6周左右到国内
¥1013
【3-6周达】Direct Methods: Methodological Progress and Engineeri 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Modern Methods in Operator Theory and Harmonic Analysis 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030267476 Author 作者 Karapetyants Format 版本 精装 Pages Number 页数 419页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-11-01 Language 语种 其它（含多语） Book Contents 内容简介 This proceedings volume gathers selected, peer-reviewed papers from the "Modern Methods, Problems and Applications of Operator Theory and Harmonic Analysis VIII" (OTHA 2018) conference, which was held in Rostov-on-Don, Russia, in April 2018.The book covers a diverse range of topics in advanced mathematics, including harmonic analysis, functional analysis, operator theory, function theory, differential equations and fractional analysis – all fields that have been intensively developed in recent decades. Direct and inverse problems arising in mathematical physics are studied and new methods for solving them are presented. Complex multiparameter objects t
¥1643
【预订】Biofilms: Methods for Enzymatic Release of Microorganism 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138557703 Format 版本 平装-胶订 Publication Date 出版日期 2019-01-01 Language 语种 英语
¥524.00
海外直订Novel Methods in Molecular and Cellular Biochemistry of
¥3976
【预订】Ray Methods for Nonlinear Waves in Fluids and Plasmas 【全球购】进口原版图书，预计5-8周左右到国内
¥618.00
【3-6周达】Asthma: Methods and Protocols [ISBN:9781071623633] 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【3-6周达】Methods and Applications of Inversion [ISBN:978354065 【全球购】进口原版图书，一般3-6周左右到国内
¥768.00
预订 Analytic Methods of Systems and Software Testing [ISBN:97 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1495
Analytical methods for food safety by mass spectrometry 庞国芳
¥721.20定价：¥788.00 (9.16折)
研究方法基础知识 英文原版 Research Methods The Essential Knowledge Base
¥751.00
【预订】Numerical Methods for Nonlinear Engineering Models 97894 美国库房发货，通常付款后3-5周到货！
¥2738
现货Research Methods for Business Students
¥2720
海外直订Modern Methods of Construction 现代施工方法
¥829.00
按需印刷Novel Methods for Solving Linear and Nonlinear Integral 预订，预计下单后2-3周左右发货！
¥1449
【预订】Direct Methods 9783030488369 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030488369 Author 作者 Aurora Angela Pisano Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-07-17 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.55 Shipping Weight 商品重量 0.81 Language 语种 其它（含多语） Book Contents 内容简介 This book provides an overview of direct methods such as limit and shakedown analysis, which are intended to do away with the need for cumbersome step-by-step calculations and determine the loading limits of mechanical structures under monotone, cyclic or variable loading with unknown loading history. The respective contributions demonstrate how tremendous advances in numerical methods, especially in optimization, have contributed to the success of direct methods and their practical applicability to engineering problems in structural mechanics
¥1643
【预订】Integral Methods in Science and Engineering 978303016079 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030160791 Author 作者 Constanda Format 版本 平装-胶订 Pages Number 页数 478页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2020-08-14 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. The chapters in this book are based on talks given at the Fifteenth International Conference on Integral Methods in Science and Engineering, held July 16-20, 2018 at the University of Brighton, UK, and are written by internationally recognized researchers. The topics addressed are wide ranging, and include:Asymptotic analysisBoundary-domain integral equationsViscoplastic fluid flowStationary wavesInterior Neumann shape optimizationSelf-con
¥932.00
【预订】Wavelet Methods for Solving Partial Differential Equatio 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138053816 Author 作者 Santanu Saha Ray and Arun Kumar Gupta Format 版本 精装 Pages Number 页数 272页 Publication Date 出版日期 2018-01-24 Language 语种 英语 Book Contents 内容简介 The main focus of the book is to implement wavelet based transform methods for solving problems of fractional order partial differential equations arising in modelling real physical phenomena. It explores analytical and numerical approximate solution obtained by wavelet methods for both classical and fractional order partial differential equations.
¥2590
【预售 按需印刷】Research Methods in Social Relations
¥1615.85
【预售 按需印刷】Web Mining Methods for the Detection of A
¥673.20
【预售 按需印刷】Numerical Methods for Fractal Fractional Differenti 北京直发，付款后10日内发货
Simulations and Modeling
¥1606.5
海外直订医药图书Methods and Folklore 方法与民俗
¥930.00
海外直订医药图书Methods of Clinical Epidemiology 临床流行病学方法
¥1325
海外直订Cilia: Methods and Protocols 纤毛：方法和协议
¥616.00
【预订】Numerical Methods in Mechanics of Materials 978036788625 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367886257 Author 作者 Ken Chong Format 版本 平装-胶订 Pages Number 页数 296页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-03-31 Language 语种 英语 Book Contents 内容简介 In the dynamic digital age, the widespread use of computers has transformed engineering and science. A realistic and successful solution of an engineering problem usually begins with an accurate physical model of the problem and a proper understanding of the assumptions employed. With computers and appropriate software we can model and analyze complex physical systems and problems.However, efficient and accurate use of numerical results obtained from computer programs requires considerable background and advanced working knowledge to avoid blunders and the blind acceptance of computer results. This book provides the background and knowledge necessary to avoid these pitfalls, especi
¥686.00
预订 Search Methods in Artificial Intelligence 人工智能中的搜索方法 9781 国外库房发货, 通常付款后12-16周到货
¥792.00
预订 Rice Methods and Protocols 稻米：方法与协议 9781071642061 国外库房发货，通常付款后3-5周到货
¥1839
【预售 按需印刷】Lattice Methods for Quantum Chromodynamics 北京发货，付款后10天内发货
¥1182.89
【预订】Regression Methods for Medical Research 美国库房发货，通常付款后3-5周到货！
¥828.00
按需印刷Diary Methods 预订，预计下单后2-3周左右发货！
¥832.00
【预订】Visual Methods in Marketing and Consumer Research [ISBN: 【全球购】进口原版图书，约10-12周到达国内后发出
¥600.00
【预订】Analytical Methods in Marine Hydrodynamics 9781107179691 国外库房发货, 通常付款后12-16周到货
Product Details 基本信息 ISBN-13 书号 9781107179691 Author 作者 Ioannis K. Chatjigeorgiou Format 版本 精装 Pages Number 页数 528页 Publication Date 出版日期 2018-09-01 Language 语种 英语 Book Contents 内容简介 The value of analytical solutions relies on the rigorous formulation, and a strong mathematical background. This comprehensive volume unifies the most important geometries, which allow for the development of analytical solutions for hydrodynamic boundary value problems. It offers detailed explanations of the Laplance domain and numerical results associated with such problems, providing deep insight into the theory of hydrodynamics. Extended numerical calculations are provided and discussed, allowing the reader to use them as benchmarks for their own computations and making this an invaluable resource for specialists in in various disciplines, including hydrodynamics, acoustics, optics, electrostatics, and br
¥2326
【预订】Matrix Methods of Structural Analysis 9780815381501 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780815381501 Author 作者 Praveen Nagarajan Format 版本 精装 Pages Number 页数 344页 Publication Date 出版日期 2018-08-22 Language 语种 英语 Book Contents 内容简介 This book deals with matrix methods of structural analysis for linearly elastic framed structures. It starts with background of matrix analysis of structures followed by procedure to develop force-displacement relation for a given structure using flexibility and stiffness coefficients.
¥2019
【预订】Formal Methods for Industrial Critical Systems 978303085 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030852474 Author 作者 Alberto Lluch Lafuente Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-08-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.55 Shipping Weight 商品重量 0.82 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Va
¥548.00
预订 Various Methods for the Analysis of PDEs 偏微分方程分析的各种方法 978 国外库房发货，通常付款后3-5周到货
¥2298
【3-6周达】Current Methods in Historical Semantics [ISBN:9783110 【全球购】进口原版图书，一般3-6周左右到国内
¥2745
【预订】Aging: Methods and Protocols 9781071605912 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071605912 Author 作者 Sean P Curran Format 版本 精装 Pages Number 页数 300页 Publisher 出版社 Humana Press Publication Date 出版日期 2020-05-14 Language 语种 英语 Book Contents 内容简介 This volume details the impact of aging on biological system and to understand the basis of this diversity with the goal of elucidating mechanisms to optimize health. Chapters guide readers through different animal models and methodologies to examine aging at the organism, tissue, cellular, and molecular levels across the lifespan. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls. Authoritative and cutting-edge, Aging: Methods and Protoco
¥1753
【3-6周达】Rapid Methods and Automation in Microbiology and Immu 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Rapid Methods for Analysis of Edible Oils and Fats by 【全球购】进口原版图书，一般3-6周左右到国内
¥1052
【3-6周达】New Methods of Sensory Visual Testing [ISBN:978146138 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Merged Methods: A Rationale for Full Integration [ISBN:97 【全球购】进口原版图书，约10-12周到达国内后发出
¥2170
【预订】Classical Methods in Ordinary Differential Equations 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821846940 Author 作者 Stuart P. Hastings Format 版本 精装 Pages Number 页数 373页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2011-12-15 Language 语种 英语 Book Contents 内容简介 This text emphasizes rigorous mathematical techniques for the analysis of boundary value problems for ODEs arising in applications. The emphasis is on proving existence of solutions, but there is also a substantial chapter on uniqueness and multiplicity questions and several chapters which deal with the asymptotic behavior of solutions with respect to either the independent variable or some parameter. These equations may give special solutions of important PDEs, such as steady state or traveling wave solutions. Often two, or even three, approaches to the same problem are described. The advantages and disadvantages of different methods are discu
¥1118
【3-6周达】Formal Methods in Macro-Biology: First International 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Software Engineering [ISBN:9783540 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预售 按需印刷】Research Methods in Usability and Interac 北京发货，付款后10天内发货
¥818.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车