【预订】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
【预订】New Sinc Methods of Numerical Analysis 9783030497156 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030497156 Author 作者 Baumann Format 版本 精装 Pages Number 页数 420页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2021-01-10 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume honors the 80th birthday of Frank Stenger who established new Sinc methods in numerical analysis.The contributions, written independently from each other, show the new developments in numerical analysis in connection with Sinc methods and approximations of solutions for differential equations, boundary value problems, integral equations, integrals, linear transforms, eigenvalue problems, polynomial approximations, computations on polyhedra, and many applications. The approximation methods are exponentially converging compared with standard methods and save resources in computation. They are applicable in many fields of science including
¥1424
海外直订Direct Methods in the Theory of Elliptic Equations 椭圆方程理
¥1590
【预订】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 for Dynamical Systems: 13th International
¥559.00
海外直订医药图书Methods in Biological Oxidative Stress 生物氧化应激的研究方法
¥1325
【预订】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
【预订】Numerical Methods for Fractional Calculus 9780367658793 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367658793 Author 作者 Changpin Li and Fanhai Zeng Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-09-30 Shipping Weight 商品重量 560g Language 语种 英语 Book Contents 内容简介 Numerical Methods for Fractional Calculus presents numerical methods for fractional integrals and fractional derivatives, finite difference methods for fractional ordinary differential equations (FODEs) and fractional partial differential equations (FPDEs), and finite element methods for FPDEs.The book introduces the basic definitions and properties of fractional integrals and derivatives before covering numerical methods for fractional integrals and derivatives. It then discusses finite difference methods for both FODEs and FPDEs, including the Euler and linear multistep methods. The final chapter shows how to so
¥761.00
【3-6周达】Methods in the Philosophy of Science:A User's Guide [ 【全球购】进口原版图书，约3-6周到达国内后发出
¥2043
【预订】Visual Methods in Marketing and Consumer Research [ISBN: 【全球购】进口原版图书，约10-12周到达国内后发出
¥600.00
按需印刷Fuzzy Methods for Customer Relationship Management and M 预订，预计下单后2-3周左右发货！
¥2355
【预订】Formal Methods Applied to Industrial Complex Systems: Im 美国库房发货，通常付款后3-5周到货！
¥2566
【预订】Formal Methods Teaching 9783030915490 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030915490 Author 作者 Jo?o F. Ferreira Format 版本 平装-胶订 Pages Number 页数 147页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-19 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021.The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.
¥603.00
【预订】Numerical Methods for Engineers 9781584884019 美国库房发货，通常付款后3-5周到货！
¥2305
海外直订Symmetry Methods for Differential Equations: A Beginner'
¥825.00
海外直订Simple Methods to Study Pedology and Edaphology of India
¥986.00
【预订】Numerical Methods in Computational Finance 9781119719670 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119719670 Author 作者 Daniel Duffy Format 版本 精装 Pages Number 页数 544页 Publisher 出版社 Wiley Publication Date 出版日期 2022-02-10 Product Dimensions 商品尺寸 16.83 x 24.45 cm. Language 语种 其它（含多语） Book Contents 内容简介 Numerical Methods in Computational Finance: A Partial Differential Equation (PDE/FDM) Approach defines a repeatable process to introduce PDEs in finance, analyse them mathematically, devise robust and accurate numerical algorithms to approximate these PDEs and then map these algorithms to C++ and C#. Written in an incremental way in order to facilitate a range of readers at various skill levels and experience, each chapter contains hands-on exercises and projects that form an integral part of the text. The book consists of eight parts. Each part contains several chapters and deals with a single autonomous topic: PDEs (g
¥1079
【预订】Computer Methods in Chemical Engineering 9780367765255 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367765255 Author 作者 Ghasem Format 版本 精装 Pages Number 页数 490页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-11-24 Language 语种 其它（含多语） Book Contents 内容简介 While various software packages have become essential for performing unit operations and other kinds of processes in chemical engineering, the fundamental theory and methods of calculation must also be understood to effectively test the validity of these packages and verify the results. Computer Methods in Chemical Engineering, Second Edition presents the most used simulation software along with the theory involved. It covers chemical engineering thermodynamics, fluid mechanics, material and energy balances, mass transfer operations, reactor design, and computer applications in chemical engineering. The highly anticipated Second Edition is thoroughly updated to reflect the lat
¥2581
海外直订Mixed Methods in Ethnographic Research: Historical Persp
¥715.00
预售 按需印刷 Methods and Innovations for Multimedia Dat多媒体数据库的内容管 北京发货，付款后10天内发货
¥1457.25
3-6周达 Operator Methods for Boundary Value Problems [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥624.00
预订 Formal Methods in Architecture and Urbanism, Volume 2 [IS 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥932.00
【3-6周达】Kernel Methods and Hybrid Evolutionary Algorithms in 【全球购】进口原版图书，一般3-6周左右到国内
¥554.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
海外直订Formal Methods Applied to Complex Systems 复杂系统的形式化方法
¥2507
【3-6周达】Formal Methods and Software Engineering [ISBN:9783030 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods: Foundations and Applications: 24th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥626.00
预订 Borel’s Methods of Summability Theory and Applications Bo 国外库房发货，通常付款后3-5周到货
¥1243
【3-6周达】Formal Methods and Hybrid Real-Time Systems [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Matrix Methods of Structural Analysis 9780367571269 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367571269 Author 作者 Praveen Nagarajan Format 版本 平装-胶订 Pages Number 页数 368页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 680g 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. The remaining text deals with the analysis of framed structures using flexibility, stiffness and direct stiffness methods. Simple programs using MATLAB for the analysis of structures are included in the appendix.Key FeaturesExplores matrix methods of structural analysis for linearly elastic framed structures Introduces key concepts in the development of
¥782.00
预订 Formal Methods and Software Engineering 26th Internationa 国外库房发货，通常付款后3-5周到货
¥850.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
【3-6周达】Formal Methods and Software Engineering: 24th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Lectin Methods and Protocols [ISBN:978161737024 【全球购】进口原版图书，一般3-6周左右到国内
¥1675
【预售 按需印刷】Physical Methods in Chemistry and Nano Sc 北京发货，付款后10天内发货
¥570.00
预订 Modern Methods of Organic Synthesis 9780521778305 国外库房发货, 通常付款后12-16周到货
¥1149
预订 Rice Methods and Protocols 大米：方法与协议 9781071642030 国外库房发货，通常付款后3-5周到货
¥2528
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内
¥1974
【预订】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
按需印刷Design Methods of Safety-Critical Electronic Automotive 预订，预计下单后2-3周左右发货！
¥957.00
【3-6周达】Models, Methods and Decision Support for Management: 【全球购】进口原版图书，预计3-6周左右到国内
¥1273
【3-6周达】DNA Methods in Clinical Microbiology [ISBN:9789048154 【全球购】进口原版图书，一般3-6周左右到国内
¥2333
【3-6周达】Direct Methods for Limit and Shakedown Analysis of St 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Formal Methods in Manufacturing [ISBN:9781466561557] 【全球购】进口原版图书，一般5-8周左右到国内
¥2793
【3-6周达】Visual Methods with Children and Young People: Academ 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1043
【3-6周达】Formal Methods and Software Engineering [ISBN:9783642 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Applied Methods of Structural Reliability (Softcover 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【预订】Numerical Methods for Nonlinear Engineering Models 97894 美国库房发货，通常付款后3-5周到货！
¥2738
【预售 按需印刷】 Modern Methods in Protein and Nucleic Aci 北京直发，付款后10日内发货
¥2278
【3-6周达】Direct Methods: Methodological Progress and Engineeri 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Sol-Gel Methods for Materials Processing: Focus [ISBN 【全球购】进口原版图书，一般3-6周左右到国内
¥2339
海外直订Formal Methods for Hardware Verification: 6th Internatio
¥662.00
海外直订Oat: Methods and Protocols OAT：方法和协议
¥1726
【3-6周达】Prions: Methods and Protocols [ISBN:9781493984282] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Mixed Methods Research: Research Methods [ISBN:978135027 【全球购】进口原版图书，约10-12周到达国内后发出
¥689.00
【3-6周达】Formal Methods for Components and Objects: 9th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Modern Methods in Solid-State NMR: A Practitioner's Guide 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥2090
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车