【预订】Formal Methods and Software Engineering [ISBN:9783540474 【全球购】进口原版图书，一般10-12周左右到国内
¥1105
预订Research Methods: A Practical Guide for Students and Resea 【全球购】进口原版图书，一般5-8周左右到国内
¥526.00
按需印刷New Methods of Teaching and Learning in Libraries 预订，预计下单后2-3周左右发货！
¥862.00
【预订】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
【预订】Direct Methods in the Theory of Elliptic Equations [ISBN 【全球购】进口原版图书，一般10-12周左右到国内
¥1298
预订 土壤酶学方法Methods Of Soil Enzymology [ISBN:9780891188544] 【全球购】进口原版图书，预计10-12周左右到国内
¥1202
【预订】Newton Methods for Nonlinear Problems: Affine Invariance 【全球购】进口原版图书，一般10-12周左右到国内
¥1202
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
¥2572
海外直订医药图书Methods for Analysing and Reporting EQ-5D Data EQ-5D
¥596.00
预订 New Methods of Celestial Mechanics 国外库房发货，通常付款后3-5周到货
¥4368
海外直订医药图书Methods and Folklore 方法与民俗
¥930.00
海外直订Formal Methods in Programming and Their Applications: In
¥662.00
海外直订Cilia: Methods and Protocols 纤毛：方法和协议
¥591.00
【预售 按需印刷】 Bispectral Methods of Signal Processing 北京直发，付款后10日内发货
¥2004
预售 按需印刷 Methods and Applications for Advancing Dis推进远程教育技术的方 北京发货，付款后10天内发货
¥1495.5
【预订】Allostery: Methods and Protocols 9781071611562 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071611562 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2021-12-16 Language 语种 其它（含多语）
¥1205
按需印刷Robust Methods for Data Reduction 预订，预计下单后2-3周左右发货！
¥1197
【预订】Numerical Methods in Engineering 9781009211802 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781009211802 Author 作者 Amiya K. Jana Format 版本 平装-胶订 Pages Number 页数 600页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-08-01 Product Dimensions 商品尺寸 242 x 155 mm Language 语种 其它（含多语） Book Contents 内容简介 Numerical methods are a cornerstone of modern engineering. This lucid textbook strikes a balance between theory and analysis of numerical methods and their practical applications in engineering. Each chapter starts with the formulation and graphical representation of the numerical method. This is followed by the algorithms required to create computer assisted solutions and simulations, which are then applied on real-world examples and case studies to show how exactly they are used. Finally, the strengths and weaknesses of the numerical method under discussion is explained, thus helping the reader
¥991.00
【预订】Lie Methods in Deformation Theory 9789811911842 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811911842 Author 作者 Marco Manetti Format 版本 精装 Pages Number 页数 548页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-06-12 Language 语种 其它（含多语） Book Contents 内容简介 This book furnishes a comprehensive treatment of differential graded Lie algebras, L-infinity algebras, and their use in deformation theory. We believe it is the first textbook devoted to this subject, although the first chapters are also covered in other sources with a different perspective.Deformation theory is an important subject in algebra and algebraic geometry, with an origin that dates back to Kodaira, Spencer, Kuranishi, Gerstenhaber, and Grothendieck. In the last 30 years, a new approach, based on ideas from rational homotopy theory, has made it possible not only to solve long-standing open problems, but also to clarify the general theory and
¥1643
海外直订Cilia: Methods and Protocols 纤毛：方法和协议
¥616.00
【预订】Formal Methods and Software Engineering: 20th Internatio 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
【预订】Formal Methods for Industrial Critical Systems: 23rd Int 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
预订 New Methods and Paradigms for Modeling Dynamic Processes 【全球购】进口原版图书，一般5-8周左右到国内
¥2002
预订 Wavelet Methods for Dynamical Problems: With Application 【全球购】进口原版图书，一般5-8周左右到国内
¥786.00
海外直订医药图书Methods in Medical Informatics 医学信息学方法
¥971.00
海外直订Maize: Methods and Protocols 玉米：方法和协议
¥1739
【预售 按需印刷】Formal Methods in Automated Design Debugg 北京发货，付款后10天内发货
¥1008
海外直订Formal Methods and Software Engineering: 7th Internation
¥662.00
海外直订Soft Methods in Probability, Statistics and Data Analysi
¥662.00
海外直订Formal Methods and Models for System Design: A System Le
¥2120
海外直订医药图书Methods of Clinical Epidemiology 临床流行病学方法
¥1325
【预售 按需印刷】Research Methods for Education in the Digital Age
¥1203.6
【预订】Ray Methods for Nonlinear Waves in Fluids and Plasmas 【全球购】进口原版图书，预计5-8周左右到国内
¥618.00
【预售 按需印刷】Efficient methods for the CELP speech cod 北京发货，付款后10天内发货
¥905.00
海外直订医药图书Methods in Pharmacology: Molecular and Cellular Biol
¥1988
【预订】Adaptive Methods For Variational Inequalities [ISBN:9783 【全球购】进口原版图书，一般10-12周左右到国内
¥1047
预订 Formal Methods for Distributed System Development: Forte 【全球购】进口原版图书，一般5-8周左右到国内
¥1916
预订 Formal Methods and Software Engineering [ISBN:97835400002 【全球购】进口原版图书，一般5-8周左右到国内
¥1282
【预订】Visual Methods in Marketing and Consumer Research [ISBN: 【全球购】进口原版图书，约10-12周到达国内后发出
¥600.00
【预订】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
预订 按需印刷 Methods of Mathematical Modelling
¥509.15
【预订】Numerical Methods for Initial Value Problems in Physics 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031335556 Author 作者 Francisco S. Guzmán Format 版本 精装 Pages Number 页数 392页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-07-29 Language 语种 其它（含多语） Book Contents 内容简介 This textbook is a comprehensive overview of the construction, implementation, and application of important numerical methods for the solution of Initial Value Problems (IVPs). Beginning with IVPs involving Ordinary Differential Equations (ODEs) and progressing to problems with Partial Differential Equations (PDEs) in 1+1 and 3+1 dimensions, it provides readers with a clear and systematic progression from simple to complex concepts.The numerical methods selected in this textbook can solve a considerable variety of problems and the applications presented cover a wide range of topics, including population dynamics, chaos, celestial mechanics, geoph
¥906.00
【预售 按需印刷】Physical Methods in Chemistry and Nano Sc 北京发货，付款后10天内发货
¥507.00
【预售 按需印刷】Iterative Methods for Solving Nonlinear E
¥1078
【预售 按需印刷】Topics and Methods in q-Series
¥1112
【预售 按需印刷】Molecular Methods in Diagnostic Pathology 北京发货，付款后10天内发货
¥620.00
预售 按需印刷 Methods in Floristic and Phytosociological 北京发货，付款后10天内发货
¥1105
预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103222 【全球购】进口原版图书，一般5-8周左右到国内
¥685.00
【预订】Numerical Methods with Chemical Engineering Applications 美国库房发货，通常付款后3-5周到货！
¥1057
【预订】Numerical Methods for Fractional Calculus 9781482253801 美国库房发货，通常付款后3-5周到货！
¥1614
【预订】Cilia: Methods and Protocols 9781071635063 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071635063 Format 版本 精装 Pages Number 页数 280页 Publisher 出版社 Humana Publication Date 出版日期 2023-11-04 Language 语种 其它（含多语）
¥2190
按需印刷New Methods in Cognitive Psychology 预订，预计下单后3-4周左右发货！
¥593.00
【预订】Asymptotic Methods in the Theory of Plates with Mixed Bo 美国库房发货，通常付款后3-5周到货！
¥1646
预售 按需印刷 Methods, Models, and Computation for Medic对于医学信息的方法、 北京发货，付款后10天内发货
¥1878.75
【预售 按需印刷】Aims and Methods of Vegetation Ecology 北京发货，付款后10天内发货
¥993.00
海外直订医药图书Methods in Mammary Gland Biology and Breast Cancer R
¥2407
海外直订Mixed Methods in Ethnographic Research: Historical Persp
¥715.00
【预售 按需印刷】Formal Methods for Industrial
¥1030.2
【预售 按需印刷】Manual of Methods for Marine Plankton
¥825.35
【预订】Functional Methods in Quantum Field Theory and Statistic 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789056990350 Author 作者 A.N. Vasiliev Format 版本 精装 Pages Number 页数 320页 Publisher 出版社 CRC Press Publication Date 出版日期 1998-07-28 Shipping Weight 商品重量 696g Language 语种 其它（含多语） Book Contents 内容简介 This text pays special attention to the use of those techniques which are fundamental to quantum field theory, in a wide variety of areas, including ordinary quantum mechanics, Euclidean field theory and quantum statistics at finite temperature.
¥2613
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车