【预订】Integral Methods in Science and Engineering, Volume 1 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319593838 Author 作者 Constanda Format 版本 精装 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2017-09-18 Shipping Weight 商品重量 707g Language 语种 英语 Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. ?The first of two volumes, this work focuses on the construction of theoretical integral methods. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Integral equations ? Homogenization ? Duality methods ? Optimal design ? Conformal techniques This collection will be of interest to researcher
¥1095
【预订】Formal Methods Teaching 9783030324407 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030324407 Author 作者 Brijesh Dongol Format 版本 平装-胶订 Pages Number 页数 245页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-16 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers werecarefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
¥548.00
【预订】Ecological Methods, 4E 9781118895283 美国库房发货，通常付款后3-5周到货！
¥1000
【3-6周达】Formal Methods: 25th International Symposium, FM 2023 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Advanced Methods and Technologies in Metallurgy in Russi 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319663531 Author 作者 Syngellakis Format 版本 精装 Pages Number 页数 214页 Publisher 出版社 Springer Publication Date 出版日期 2018-01-04 Product Dimensions 商品尺寸 9.6 x 6.4 x 0.6 cm Shipping Weight 商品重量 509g Language 语种 英语 Book Contents 内容简介 The book provides a comprehensive overview of the most recent and advanced work on metallurgy sciences and technologies--including material characterization of complicated alloys, heat and surface treatment, ferrous metals metallurgy, and energy savings in pyrometallurgy--in the important Ural industrial region of Russia. Until recently, research into scientific and engineering problems within Russia developed along different lines than those in Europe and North America, but nevertheless resulted in remarkable achievements utilizing different tools and methodologies than those used in the West. Many of these ach
¥1095
【预订】Advanced Methods of Continuum Mechanics for Materials an 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811092947 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-06-03 Language 语种 英语
¥1643
预订 按需印刷 Methods for Solving Inverse Problems in Mathematical
¥3320.1
预订 按需印刷 Methods for Neural Ensemble Recordings
¥1992.4
按需印刷Diary Methods 预订，预计下单后2-3周左右发货！
¥832.00
【3-6周达】Design Methods in Architecture & Planning. "Design is 【全球购】进口原版图书，一般3-6周左右到国内
¥530.00
【3-6周达】Advanced Methods and Technologies in Metallurgy in Ru 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
海外直订Research Methods for Science 科学研究方法
¥559.00
海外直订Soft Methods for Integrated Uncertainty Modelling 集成不确定度
¥1988
【预订】Linear Methods for the Liberal Arts 9781138049215 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138049215 Author 作者 HECKER Format 版本 平装-胶订 Pages Number 页数 450页 Publication Date 出版日期 2018-07-20 Language 语种 英语 Book Contents 内容简介 The Linear Methods textbook covers elementary topics in linear algebra with freshman liberal arts majors as the target audience. Although the textbook includes some theoretical topics, these are covered at an elementary level. In this way, students can have some flavor of the abstract nature of linear algebra without the rigorous approach that would be expected of mathematics majors. We also include proofs of several interesting theorems and properties to give students a justification for some of the results that are presented. However, only selected statements are proved.
¥1407
海外直订医药图书Methods in Neuroendocrinology 神经内分泌学方法
¥765.00
海外直订Formal Methods and Software Engineering: 17th Internatio
¥662.00
【预订】Lysosomes: Methods and Protocols (Softcover Reprint of t 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493983438 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-07-20 Language 语种 英语
¥1643
【3-6周达】Dynamic Methods for Damage Detection in Structures [I 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Meshless Methods for 3D Fracture Modelling with Level Set 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥891.00
海外直订Formal Methods for Industrial Critical Systems: 29th Int
¥735.00
预订 Advanced Methods for Seismic Performance Evaluation of Bu 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥559.00
【3-6周达】Modern Methods in Analytical Morphology, 植物学 [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Modern Methods in Operator Theory and Harmonic Analys 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】高被引NMR Methods for the Investigation of Structure and 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】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
预订 Optical Methods of Engineering Analysis 工程分析的光学方法 9780521 国外库房发货, 通常付款后12-16周到货
¥780.00
【预订】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
预订 Robust Methods In Biostatistics 生物统计学健全方法 9780470027264 国外库房发货，通常付款后3-5周到货
¥1477
【预售 按需印刷】Practical Methods for Improving the Motio
¥953.70
【预售 按需印刷】Mitigation Methods of Wind Acceleration f 北京发货，付款后10天内发货
¥862.00
【3-6周达】Formal Methods and Software Engineering: 24th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【预订】Hybrid Methods for Modeling and Optimizing Complex Syste 【全球购】进口原版图书，约10-12周到达国内后发出
¥2444
预订 Global Methods for Combinatorial Isoperimetric Problems 组 国外库房发货, 通常付款后12-16周到货
¥634.00
预订 Modern Methods in Complex Analysis The Princeton Conferen 国外库房发货，通常付款后3-5周到货
¥1051
【3-6周达】Digital Methods in Developing Textile Products for Pe 【全球购】进口原版图书，一般3-6周左右到国内
¥797.00
按需印刷Mixed Methods Research for Improved Scientific Study 预订，预计下单后2-3周左右发货！
¥2483
海外直订Formal Methods: Foundations and Applications: 21st Brazi
¥768.00
【预订】Iterative Methods and Preconditioning for Large and Spar 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781498764162 Author 作者 Daniele Bertaccini and Fabio Durastante Format 版本 精装 Pages Number 页数 350页 Publication Date 出版日期 2018-02-13 Language 语种 英语 Book Contents 内容简介 This book describes, in a basic way, the most useful and effective iterative solvers and appropriate preconditioning techniques for some of the most important classes of large and sparse linear systems.The solution of large and sparse linear systems is the most time-consuming part for most of the scientific computing simulations. Indeed, mathematical models become more and more accurate by including a greater volume of data, but this requires the solution of larger and harder algebraic systems. In recent years, research has focused on the efficient solution of large sparse and/or structured systems generated by the discretization of numerical models by using iterative solvers.
¥2569
¥2269.5
预订 Interval Methods For Uncertain Power System Analysis 9781 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781119855040 Author 作者 Alfredo Vaccaro Format 版本 精装 Pages Number 页数 144页 Publisher 出版社 Wiley-IEEE Press Publication Date 出版日期 2023-07-06 Language 语种 其它（含多语） Book Contents 内容简介 This book explores the mathematical foundations of range analysis, and its deployment in solving traditional power system operation problems in the presence of strong and correlated uncertainties. It addresses many relevant topics ranging from interval methods for uncertainty representation and management to various application examples. This book not only focuses on methodological breakthroughs and roadmaps in implementing the mathematical methodologies, but also presents the much needed sharing of best practices. The problems currently faced by possible readers are related to the sparsity of information on this topic, scattered between many self-consistent pa
¥1537
【预订】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
【3-6周达】Lectin Methods and Protocols [ISBN:978161737024 【全球购】进口原版图书，一般3-6周左右到国内
¥1675
【预订】Numerical Methods for Elliptic and Parabolic Partial Dif 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030793845 Author 作者 Peter Knabner Format 版本 精装 Pages Number 页数 802页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-24 Language 语种 其它（含多语） Book Contents 内容简介 This graduate-level text provides an application oriented introduction to the numerical methods for elliptic and parabolic partial differential equations. It covers finite difference, finite element, and finite volume methods, interweaving theory and applications throughout. The book examines modern topics such as adaptive methods, multilevel methods, and methods for convection-dominated problems and includes detailed illustrations and extensive exercises. For students with mathematics major it is an excellent introduction to the theory and methods, guiding them in the selection of methods and helping them to understand and pursue finite element program
¥985.00
【预订】Formal Methods 9783031274800 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031274800 Format 版本 平装-胶订 Pages Number 页数 659页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-20 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
¥1094
预订 Protein Methods, 2Nd Edition 蛋白质方法 第2版 9780471118374 国外库房发货，通常付款后3-5周到货
¥2477
【预订】Design Methods 美国库房发货，通常付款后3-5周到货！
¥1487
按需印刷100 Methods for Total Quality Management 预订，预计下单后2-3周左右发货！
¥740.00
预订 New Methods in Computational Quantum Mechanic/Advances in 国外库房发货，通常付款后3-5周到货
¥6708
【预订】Plastids: Methods and Protocols 9781493993550 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493993550 Format 版本 平装-胶订 Pages Number 页数 409页 Publisher 出版社 Humana Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1861
海外直订NMR Methods for Characterization of Synthetic an... 合成聚合
¥2736
海外直订Modern Methods for Business Research 商业研究的现代方法
¥1135
海外直订EEG Methods for the Psychological Sciences 心理科学的脑电图方法
¥3291
海外直订医药图书Methods of Partial Deafness Treatment 部分耳聋的治疗方法
¥1997
海外直订Modern Methods for Business Research 现代商业研究方法
¥2353
【预订】Numerical Methods for Time-Resolved Quantum Nanoelectron 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319636900 Author 作者 Weston, Joseph Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2017-09-22 Language 语种 英语
¥1095
海外直订Formal Methods for Embedded Distributed Systems: How to
¥1325
【预售 按需印刷】Research Methods for Pedagogy
¥1203.6
【预售 按需印刷】Data-Based Methods for Materials Design a
¥1140.7
【3-6周达】Formal Methods for Multicore Programming: 15th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车