海外直订Formal Methods Applied to Complex Systems 复杂系统的形式化方法
¥2507
预订 Research Methods for Forensic Psychologists: A Guide to C 【全球购】进口原版图书，一般5-8周左右到国内
¥2385
【预订】Physical Methods in Chemistry and Nano Science. Volume 6 【全球购】进口原版图书，一般10-12周左右到国内
¥967.00
【预订】Novel Methods in Computational Finance [ISBN:97833198704 【全球购】进口原版图书，一般10-12周左右到国内
¥1781
【预订】Agile Methods: 10th Brazilian Workshop, Wbma 2019, Belo 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
【预订】Design Methods of Safety-Critical Electronic Automotive 【全球购】进口原版图书，一般10-12周左右到国内
¥782.00
按需印刷Diary Methods 预订，预计下单后2-3周左右发货！
¥832.00
【预订】Visual Methods in Social Research [ISBN:9781446269756] 【全球购】进口原版图书，预计10-12周左右到国内
¥669.00
【预订】Formal Methods for Components and Objects: 9th Internati 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
按需印刷医药图书Methods in Neuronal Modeling, Second Edition: From I
¥583.00
【预售 按需印刷】Research Methods in Accounting
¥627.30
【预订】Fourier Methods In Imaging 美国库房发货，通常付款后3-5周到货！
¥2315
按需印刷Mixed Methods Research for Improved Scientific Study 预订，预计下单后2-3周左右发货！
¥2483
现货 Bayesian Methods For Structural Dynamics And Civilenginee 国外库房发货, 通常付款后2-3周到货
Product Details 基本信息 ISBN-13 书号 9780470824542 Author 作者 Ka-Veng Yuen Format 版本 精装 Pages Number 页数 312页 Publisher 出版社 Wiley Publication Date 出版日期 2010-03-11 Shipping Weight 商品重量 690g Language 语种 其它（含多语） Book Contents 内容简介 Bayesian methods are a powerful tool in many areas of science and engineering, especially statistical physics, medical sciences, electrical engineering, and information sciences. They are also ideal for civil engineering applications, given the numerous types of modeling and parametric uncertainty in civil engineering problems. For example, earthquake ground motion cannot be predetermined at the structural design stage. Complete wind pressure profiles are difficult to measure under operating conditions. Material properties can be
¥1476
预售 按需印刷New Methods 北京发货，付款后10天内发货
¥1132
社会网络分析模型与方法 英文原版 Models and Methods in Social Network Analys
¥615.00
【预订】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
预订 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
【预售 按需印刷】Training Methods for Older Adults
¥754.80
[预定]Ensemble Methods: Foundations and Algorithms 海外预定商品，预计60-90天发货，非质量问题不支持退货
.
¥1037.4
海外直订The Methods of Distances in the Theory of Probability an
¥2006
海外直订Mixed Methods Research: A Guide to the Field 混合方法研究：领域指南
¥1024
【预订】Algebraic Methods and \(q\)-Special Functions 9780821820 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821820261 Author 作者 Jan Felipe van Diejen Format 版本 平装-胶订 Pages Number 页数 276页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1999-08-16 Language 语种 英语 Book Contents 内容简介 There has been revived interest in recent years in the study of special functions. Many of the latest advances in the field were inspired by the works of R. A. Askey and colleagues on basic hypergeometric series and I. G. Macdonald on orthogonal polynomials related to root systems. Significant progress was made by the use of algebraic techniques involving quantum groups, Hecke algebras, and combinatorial methods. The CRM organized a workshop for key researchers in the field to present an overview of current trends. This volume consists of the contributions to that workshop. Topics include basic hypergeometric functions, algebraic and
¥1219
预订 Formal Methods and Software Engineering 26th Internationa 国外库房发货，通常付款后3-5周到货
¥850.00
预订 Borel’s Methods of Summability Theory and Applications Bo 国外库房发货，通常付款后3-5周到货
¥1243
【预售 按需印刷】Research Methods and Techniques
¥802.40
预订 Modern Methods of Street Cleaning [ISBN:9785518634541] 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥498.00
预订 New Methods, Reflections and Application Domains in Trans 【全球购】进口原版图书，预计10-12周左右到国内后发出
¥2019
【预订】PCR: Methods and Protocols [ISBN:9781493983810] 【全球购】进口原版图书，一般10-12周左右到国内
¥1105
【预订】Formal Methods for Autonomous Systems [ISBN:978163828272 【全球购】进口原版图书，一般10-12周左右到国内
¥1214
预订 Formal Methods in Computer Science [ISBN:9780367225704] 【全球购】进口原版图书，一般5-8周左右到国内
¥2249
【预订】Formal Methods for Industrial Critical Systems: 19th Int 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
【预订】Hybrid Methods for Modeling and Optimizing Complex Syste 【全球购】进口原版图书，约10-12周到达国内后发出
¥2444
【预订】Testing Methods for Fault Detection in Electronic Circui 【全球购】进口原版图书，一般10-12周左右到国内
¥953.00
【预订】Field Methods for Geologists and Hydrogeologist [ISBN:97 【全球购】进口原版图书，一般10-12周左右到国内
¥1684
【预订】New Methods of Food Preservation [ISBN:9781441951922] 【全球购】进口原版图书，一般10-12周左右到国内
¥1684
【预订】Modern Methods in Collisional-Radiative Modeling of Plas 【全球购】进口原版图书，一般10-12周左右到国内
¥1105
【预订】Difference Methods for Singular Perturbation Problems 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367386825 Author 作者 Grigory I. Shishkin and Lidia P. Shishkina Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-08-30 Language 语种 英语 Book Contents 内容简介 This book presents a systematic, detailed development of approaches to construct uniformly convergent finite difference schemes for wide classes of singularly perturbed boundary value problems. The first part of the book explores boundary value problems for elliptic and parabolic reaction-diffusion and convection-diffusion equations in n-dimensional domains with smooth and piecewise-smooth boundaries. Containing material published mainly in the last four years, the second section focuses on problems with boundary layers and additional singularities generated by nonsmooth data, unboundedness of the domain, and the perturbation vector par
¥922.00
预订 Linking Methods in Critical Point Theory [ISBN:9780817640 【全球购】进口原版图书，约3-6周到达国内后发出
¥921.00
【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367235482 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 322页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-09-20 Language 语种 英语 Book Contents 内容简介 The book provides an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.
¥2306
【预订】New Methods of Polymer Synthesis [ISBN:9789401095549] 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
【预订】Hedonic Methods in Housing Markets: Pricing Environmenta 【全球购】进口原版图书，一般10-12周左右到国内
¥2156
【预订】Novel Methods in Soft Matter Simulations, 化学 [ISBN:97836 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
预订 Key Methods in Geography [ISBN:9781529772098] 【全球购】进口原版图书，一般10-12周左右到国内后发出
¥772.00
【预订】Concepts, Methods and Applications of Quantum Systems in 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319745817 Author 作者 Wang Format 版本 精装 Pages Number 页数 446页 Publication Date 出版日期 2018-05-05 Language 语种 英语 Book Contents 内容简介 This edited, multi-author volume contains selected, peerreviewed contributions based on the presentations given at the 21th International Workshop on Quantum Systems in Chemistry, Physics, and Biology (QSCP-XXI), held in?Vancouver, Canada, in July 2016.?This book is primarily aimed at scholars, researchers and graduate students working at universities and scientific laboratories and interested in the structure, properties, dynamics and spectroscopy of atoms, molecules, biological systems and condensed matter.
¥1643
海外直订Formal Methods: Foundations and Applications: 13th Brazi
¥662.00
【预售 按需印刷】Analytical methods for studying the stabi 北京发货，付款后10天内发货
¥855.00
【预订】Formal Methods: 24th International Symposium, FM 2021, V 【全球购】进口原版图书，一般10-12周左右到国内
¥1202
预订 Inverse Methods in Physical Oceanography: - Inverse Metho 【全球购】进口原版图书，一般10-12周左右到国内后发出
¥1432
【预订】Formal Methods: 22nd International Symposium, FM 2018, H 【全球购】进口原版图书，一般10-12周左右到国内
¥1013
海外直订Novel Methods in Computational Finance 计算金融中的新方法
¥2120
【预订】Organic Methods of Pest Management for Coffee [ISBN:9783 【全球购】进口原版图书，一般10-12周左右到国内
¥476.00
【预订】Formal Methods for Industrial Critical Systems: 17th Int 【全球购】进口原版图书，一般10-12周左右到国内
¥535.00
【预订】Modern Methods in Collisional-Radiative Modeling of Plas 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319801582 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-03-18 Language 语种 英语
¥1095
【预订】Numerical Methods for Partial Differential Equations - a 美国库房发货，通常付款后3-5周到货！
¥1170
【预订】Iterative Methods in Combinatorial Optimization 美国库房发货，通常付款后3-5周到货！
¥621.00
【预订】Computer Methods in Structural Analysis 美国库房发货，通常付款后3-5周到货！
¥1768
【预订】Numerical Methods in Fluid Dynamics: Initial and 美国库房发货，通常付款后3-5周到货！
¥661.00
【预订】Modern Methods & Applications In Analysis Of 美国库房发货，通常付款后3-5周到货！
¥3792
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车