【预订】Spectral Methods Using Multivariate Polynomials On The U 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367345471 Author 作者 Kendall Atkinson Format 版本 精装 Pages Number 页数 262页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-11-08 Language 语种 英语 Book Contents 内容简介 Spectral Methods Using Multivariate Polynomials on the Unit Ball is a research level text on a numerical method for the solution of partial differential equations. The authors introduce, illustrate with examples, and analyze ’spectral methods’ that are based on multivariate polynomial approximations.
¥2569
【预订】Formal Methods: Foundations and Applications 97830306388 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030638818 Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-20 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic S
¥711.00
海外直订Formal Methods - The Next 30 Years: Third World Congress
¥662.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
海外直订Modern Methods of Speech Processing 现代语音处理方法
¥1988
海外直订医药图书Methods of Protein Microcharacterization: A Practica
¥1325
【3-6周达】高被引New Methods of Celestial Mechanics [ISBN:978160805 【全球购】进口原版图书，一般3-6周左右到国内
¥1028
预订 Modern Methods of Valuation [ISBN:9781138503519] 【全球购】进口原版图书，一般5-8周左右到国内
¥786.00
【3-6周达】Oat: Methods and Protocols [ISBN:9781493966806 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【3-6周达】Optical Methods in Dynamics of Fluids and Solids: Pro 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Novel Methods in Electrical Stimulation with Surface Elec 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥743.00
预订Research Methods for the Behavioral Sciences [ISBN:9781544 【全球购】进口原版图书，约3-6周到达国内后发出
¥1303
【预订】Advanced methods for fault diagnosis and fault-tolerant 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783662620038 Author 作者 Ding Format 版本 平装-胶订 Pages Number 页数 623页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-16 Language 语种 英语 Book Contents 内容简介 The major objective of this book is to introduce advanced design and (online) optimization methods for fault diagnosis and fault-tolerant control from different aspects. Under the aspect of system types, fault diagnosis and fault-tolerant issues are dealt with for linear time-invariant and time-varying systems as well as for nonlinear and distributed (including networked) systems. From the methodological point of view, both model-based and data-driven schemes are investigated.To allow for a self-contained study and enable an easy implementation in real applications, the necessary knowledge as well as tools in mathematics and control theory are included in this book. The
¥1533
【预订】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
【预订】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.
¥2578
【预售 按需印刷】Innovative Methods for Analyzing and Forecasting Wo
¥1073.55
【预售 按需印刷】Advanced Methods for Seismic Performance
¥500.00
【预订】Geometric Methods in Physics XXXVII: Workshop and Summer 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030340742 Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Birkhauser Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 870g Language 语种 其它（含多语）
¥1643
海外直订医药图书Methods in Medical Informatics 医学信息学方法
¥971.00
【预订】Asymptotic Methods in the Theory of Plates with Mixed Bo 美国库房发货，通常付款后3-5周到货！
¥1646
【预订】Meshfree Methods 9781138372702 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138372702 Format 版本 平装-胶订 Pages Number 页数 792页 Publisher 出版社 CRC Press Publication Date 出版日期 2018-09-28 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 MFree2Dc is freely available for download online.
¥1033
【预订】Research Methods in Language Policy and Planning 9781118 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781118308387 Author 作者 Francis Hult Format 版本 精装 Pages Number 页数 280页 Publisher 出版社 Wiley-Blackwell Publication Date 出版日期 2015-05-11 Shipping Weight 商品重量 590g Language 语种 英语 Book Contents 内容简介 Language policy and planning (LPP) is one of the fastest growing sub-disciplines of applied linguistics. This book is the first volume that is exclusively devoted to research methods in language policy and planning. As in other areas of applied linguistic
¥1342
海外直订Formal Methods for Industrial Critical Systems 工业关键系统的形式
¥559.00
按需印刷Mixed Methods:Interviews, Surveys, and Cross-Cultural Co 预订，预计下单后2-3周左右发货！
¥1252
【预订】Advanced Methods for Processing and Visualizing the Rene 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811586088 Format 版本 平装-胶订 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-10-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.3 cm Shipping Weight 商品重量 540g Language 语种 其它（含多语） Book Contents 内容简介 This book is a collection of research work conducted by researchers at Centre for Smart Grid Energy Research (CSMER), Institute of Autonomous System, Universiti Teknologi PETRONAS (UTP), and Seismic Modelling and Inversion Group, King Abdullah University of Science and Technology (KAUST), Saudi Arabia. The book covers topics in the field of renewable energy where visualization, artificial neural network and deep learning techniques have been applied to optimize the performance of various applications in energy-related industries. These examples include a natural gas vehicle (NGV), a s
¥1753
海外直订Direct Methods for Solving Macromolecular Structures 求解大
¥2651
【预订】Integral Methods in Science and Engineering 978303134098 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031340987 Author 作者 Christian Constanda Format 版本 精装 Pages Number 页数 390页 Publisher 出版社 Birkh?user Publication Date 出版日期 2023-09-07 Language 语种 其它（含多语） Book Contents 内容简介 This volume contains a collection of articles on state-of-the-art developments in 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 Seventeenth International Conference on Integral Methods in Science and Engineering, held virtually in July 2022, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical, electrical, and petroleum engineering, as well as graduate students in these disciplines and other professionals for whom integration is an
¥2409
【预订】Formal Methods: Foundations and Applications 97830314934 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031493416 Author 作者 Haniel Barbosa Format 版本 平装-胶订 Pages Number 页数 153页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-12-19 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.38 Shipping Weight 商品重量 0.56磅 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
¥603.00
预售 英文预定 Methods of Algebraic Geometry: Volume 2 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥855.72
【预订】Formal Methods for Software Engineering 9783030387990 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030387990 Author 作者 Markus Roggenbach Format 版本 精装 Pages Number 页数 528页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-16 Language 语种 其它（含多语） Book Contents 内容简介 Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the
¥821.00
【3-6周达】piRNA: Methods and Protocols [ISBN:9781071623794] 【全球购】进口原版图书，一般3-6周左右到国内
¥2444
【3-6周达】Pirna: Methods and Protocols [ISBN:9781071623824] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Modern Methods of Plant Analysis / Moderne Methoden d 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Modern Methods of Analytical Mechanics and Their Applicat 【全球购】进口原版图书，约3-6周到达国内后发出
¥536.00
【3-6周达】Krylov Methods for Nonsymmetric Linear Systems [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Prions: Methods and Protocols [ISBN:9781493972425 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Design Methods for Reducing Failure Probabilities wit 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Direct Methods for Limit State of Materials and Struc 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
预订 Key Methods in Geography [ISBN:9781529772081] 【全球购】进口原版图书，一般10-12周左右到国内后发出
¥2173
【3-6周达】New Methods of Thought and Procedure: Contributions t 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】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
海外直订Extraction Methods in Organic Analysis 有机分析中的萃取方法
¥2020
【预订】Mixed Methods for Psychological Measurement: Using Criti 【全球购】进口原版图书，约10-12周到达国内后发出
¥643.00
【预订】Meshless Methods and Their Numerical Properties 97811380 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138072312 Author 作者 LI Format 版本 平装-胶订 Pages Number 页数 448页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-03-29 Shipping Weight 商品重量 830g Language 语种 其它（含多语） Book Contents 内容简介 A comprehensive introduction to meshless methods, this book gives complete mathematical formulations for the most important and classical methods, as well as several recently developed by the authors. It also offers a rigorous mathematical treatment of their numerical properties—including consistency, convergence, stability, and adaptivity—to help you choose the method that is best for your needs. The book contains several examples of engineering applications, including the nonlinear fluid-structure analysis of near-bed submarine pipelines and the two-dimensional multiphysics simulation of pH-sensitive hydrogels.
¥1316
【预订】Hypoxia: Methods and Protocols 9781493985388 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493985388 Format 版本 平装-胶订 Pages Number 页数 302页 Publication Date 出版日期 2019-02-24 Language 语种 英语
¥932.00
【预订】Xenopus: Methods and Protocols 9781493993918 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493993918 Format 版本 平装-胶订 Pages Number 页数 302页 Publisher 出版社 Humana Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1861
【预订】Formal Methods in Manufacturing 9781138074293 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138074293 Format 版本 平装-胶订 Publication Date 出版日期 2017-11-22 Language 语种 英语
¥1307
【预订】Numerical Methods in Finance and Economics: A MATLAB-Bas 美国库房发货，通常付款后3-5周到货！
¥2213
【预订】Scientific Methods and Cultural Heritage: An Introductio 美国库房发货，通常付款后3-5周到货！
¥1854
【预订】Interval Methods for Systems of Equations 9780521331968 国外库房发货, 通常付款后12-16周到货
¥1520
预订 Optical Methods of Engineering Analysis 工程分析的光学方法 9780521 国外库房发货, 通常付款后12-16周到货
¥780.00
海外直订Formal Methods for Real-Time and Probabilistic Systems:
¥662.00
海外直订EEG Methods for the Psychological Sciences 心理科学的脑电图方法
¥892.00
海外直订Formal Methods and Software Engineering: 4th Internation
¥1325
【预售 按需印刷】Topics and Methods in q-Series
¥1581
预订 按需印刷 Methods in Cellular Immunology
¥1881.9
【预订】Fuzzy Methods for Assessment and Decision Making [ISBN:9 【全球购】进口原版图书，约10-12周到达国内后发出
¥1614
预订Research Methods for Clinical and Health Psychology [ISBN: 【全球购】进口原版图书，约10-12周到达国内后发出
¥756.00
【预售 按需印刷】Efficient Methods for Symbolic Analysis o 北京发货，付款后10天内发货
¥780.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车