海外直订Formal Methods and Testing: An Outcome of the Fortest Ne
¥662.00
海外直订Direct Methods in the Calculus of Variations 变分法中的直接方法
¥1693
海外直订Formal Methods for Trustworthy Computer Systems (Fm89):
¥662.00
【预订】Wavelet Methods for Solving Partial Differential Equatio 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138053816 Author 作者 Santanu Saha Ray and Arun Kumar Gupta Format 版本 精装 Pages Number 页数 272页 Publication Date 出版日期 2018-01-24 Language 语种 英语 Book Contents 内容简介 The main focus of the book is to implement wavelet based transform methods for solving problems of fractional order partial differential equations arising in modelling real physical phenomena. It explores analytical and numerical approximate solution obtained by wavelet methods for both classical and fractional order partial differential equations.
¥2229
按需印刷Formal Methods in Computer Science 预订，预计下单后3-4周左右发货！
¥1764
海外直订Novel Methods in Molecular and Cellular Biochemistry of
¥3976
【预订】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
海外直订The Methods and Uses of Anthropological Demography (Isd)
¥3709
海外直订Direct Methods for Limit State of Materials and Structur
¥1872
海外直订Formal Methods for Industrial Critical Systems: 16th Int
¥662.00
海外直订New Methods in Quantum Theory 量子理论的新方法
¥1325
海外直订Lie Methods in Optics II: Proceedings of the Second Work
¥662.00
【预订】Many-Body Methods for Atoms, Molecules and Clusters 9783 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319936017 Author 作者 Schirmer Format 版本 精装 Pages Number 页数 359页 Publication Date 出版日期 2018-08-28 Language 语种 英语 Book Contents 内容简介 This book provides an introduction to many-body methods for applications in quantum chemistry. These methods, originating in field-theory, offer an alternative to conventional quantum-chemical approaches to the treatment of the many-electron problem in molecules. Starting with a general introduction to the atomic and molecular many-electron problem, the book then develops a stringent formalism of field-theoretical many-body theory, culminating in the diagrammatic perturbation expansions of many-body Green’s functions or propagators in terms of Feynman diagrams. It also introduces and analyzes practical computational methods, such as the field-tested algebraic-diagrammatic construction (ADC) schemes. The ADC concept can als
¥1861
【预订】Analytical Methods in Petroleum Upstream Applications 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367575946 Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 630g Language 语种 英语 Book Contents 内容简介 Effective measurement of the composition and properties of petroleum is essential for its exploration, production, and refining; however, new technologies and methodologies are not adequately documented in much of the current literature. Analytical Methods in Petroleum Upstream Applications explores advances in the analytical methods and instrumentation that allow more accurate determination of the components, classes of compounds, properties, and features of petroleum and its fractions. Recognized experts explore a host of topics, including:A petroleum molecular composition continuity model as a context for other analytical measurements A modern modular sampling system f
¥692.00
Kernel Methods and Machine Learning 核方法与机器学习 S. Y. Kung 精装
¥1213
【预订】Natural Methods for Equine Health and Performance 2E 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781405179294 Author 作者 Mary Bromiley Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 Wiley-Blackwell Publication Date 出版日期 2009-02-24 Language 语种 英语 Book Contents 内容简介 New edition of the classic book on the subject. Provides advice on natural horsemanship, contrasting the natural and domestic habitats. Covers a range of holistic methods of treatment, including acupuncture, massage, herbalism and homeopathy. Discusses developmental interaction between a horse and humans.
¥646.00
预售 按需印刷 Methods of Statistical Model Estimation 北京发货，付款后10天内发货
¥993.00
海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
¥662.00
海外直订Mixed Methods Research Design for the Built Envi... 建筑环境
¥2353
【预订】Regression Methods for Medical Research 美国库房发货，通常付款后3-5周到货！
¥828.00
预订 Rice Methods and Protocols 稻米：方法与协议 9781071642061 国外库房发货，通常付款后3-5周到货
¥1839
【预订】Modern Methods in Operator Theory and Harmonic Analysis 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030267476 Author 作者 Karapetyants Format 版本 精装 Pages Number 页数 419页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-11-01 Language 语种 其它（含多语） Book Contents 内容简介 This proceedings volume gathers selected, peer-reviewed papers from the "Modern Methods, Problems and Applications of Operator Theory and Harmonic Analysis VIII" (OTHA 2018) conference, which was held in Rostov-on-Don, Russia, in April 2018.The book covers a diverse range of topics in advanced mathematics, including harmonic analysis, functional analysis, operator theory, function theory, differential equations and fractional analysis – all fields that have been intensively developed in recent decades. Direct and inverse problems arising in mathematical physics are studied and new methods for solving them are presented. Complex multiparameter objects t
¥1643
海外直订New Methods of Polymer Synthesis: Volume 2 高分子合成新方法：第2卷
¥2651
海外直订New Methods of Computing Radial Distribution Functions o
¥1210
现货 Practical Methods for Analysis and Design of HV Installat
Product Details 基本信息 ISBN-13 书号 9780128144602 Author 作者 Popovic, Ljubivoje M. Format 版本 平装-胶订 Pages Number 页数 450页 Publication Date 出版日期 2018-02-22 Language 语种 英语 Book Contents 内容简介 We now have computer programs that allow engineers to simulate, analyze, and optimize the grounding systems of distribution substations. These programs are very powerful, but, without a good understanding of the mutual relationship between the relevant parameters of a complex grounding system, the engineers using these programs can easily make serous errors in their designs procedures. This book helps to prevent these errors. It gives readers a basic understanding of the modeling characteristics of the major components of a complex grounding system. One by one, the author develops and analyses each component as a stand-alone element, then puts them all together and takes into consideration their mutual d
¥1760
【预订】Analytical Methods for the Assessment of Maillard Reacti 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319769226 Author 作者 Singla Format 版本 平装-胶订 Pages Number 页数 54页 Publication Date 出版日期 2018-03-19 Shipping Weight 商品重量 113g Language 语种 英语 Book Contents 内容简介 This Brief provides an overview of different analytical methods and techniques for the qualitative and quantitative evaluation of Maillard Reactions and their reaction products in foods during processing and storage. Reliable methodology for the investigation of Maillard Reactions and their products are of utmost importance in food analysis: since Maillard Reactions can on the one hand be desirable and advantageous, influencing the colors, flavors and odors of food products, they can on the other hand also produce detrimental compounds afflicting the consumers’ health (e.g. furfurals, furosine, or acrylamide). This Brief introduces different analytical methods, which can be
¥548.00
【预订】Formal Methods 9783030908690 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030908690 Author 作者 Marieke Huisman Format 版本 平装-胶订 Pages Number 页数 800页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.6 cm Shipping Weight 商品重量 2480g Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited
¥1205
【预售 按需印刷】ABSTRACT METHODS IN INFORMATION THEORY (S
¥1384.65
【3-6周达】Formal Methods for the Analysis of Biomedical Ontolog 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Formal Methods and Software Engineering: 14th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Test Methods for Explosives [ISBN:9781461269045] 【全球购】进口原版图书，一般3-6周左右到国内
¥3011
按需印刷Sieve Methods, Exponential Sums, and their Applications 预订，预计下单后3-4周左右发货！
¥672.00
【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367579401 Author 作者 James K. Hallenburg Format 版本 平装-胶订 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.89 Language 语种 其它（含多语） Book Contents 内容简介 These three works cover the entire field of formation evaluation, from basic concepts and theories, through standard methods used by the petroleum industry, on to new and exciting applications in environmental science and engineering, hydrogeology, and other fields. Designed to be used individually or as a set, these volumes represent the first comprehensive assessment of all exploration methodologies. No other books offer the breadth of information and range of applications available in this set.
¥692.00
预订 Basic Methods and Protocols on Sourdough 酸面团的基本方法与协议: 978 国外库房发货，通常付款后3-5周到货
¥1314
预订 SUMO: Methods and Protocols 小泛素样修饰蛋白：方法与协议: 9781071647097 国外库房发货，通常付款后3-5周到货
¥1861
【预订】Effective Methods for Software Engineering 9780367458386 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367458386 Author 作者 Boyd L. Summers Format 版本 精装 Pages Number 页数 166页 Publisher 出版社 Auerbach Publications Publication Date 出版日期 2020-06-03 Language 语种 英语 Book Contents 内容简介 Software is important because it is used by a great many people in companies and institutions. This book presents engineering methods for designing and building software. Based on the author’s experience in software engineering as a programmer in the defense and aerospace industries, this book explains how to ensure a software that is programmed operates according to its requirements. It also shows how to develop, operate, and maintain software engineering capabilities by instilling an engineering discipline to support programming, design, builds, and delivery to customers. This book helps software engineers to:Understand the basic concepts, standards, and requirements
¥1153
【预售 按需印刷】INVERSE METHODS FOR ATMOSPHERIC SOUNDING
¥1173
【预售 按需印刷】Data-Based Methods for Materials Design a
¥950.30
【预订】Direct Methods in the Theory of Elliptic Equations [ISBN 【全球购】进口原版图书，一般10-12周左右到国内
¥1298
海外直订Mixed Methods in Criminology 犯罪学中的混合方法
¥2353
【3-6周达】Formal Methods for Components and Objects [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods: Foundations and Applications: 14th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Passive Methods as a Solution for Improving Indoor En 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】The Methods and Materials of Demography [ISBN:9780126419 【全球购】进口原版图书，一般10-12周左右到国内
¥2464
【预订】Numerical Methods for Inverse Problems 9781848218185 美国库房发货，通常付款后3-5周到货！
¥2020
【预订】Geometric Methods in Physics 9783319182117 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods in Manufacturing 9781466561557 美国库房发货，通常付款后3-5周到货！
¥2921
【预订】Zebrafish: Methods and Protocols 9781493937691 美国库房发货，通常付款后3-5周到货！
¥1753
【预订】Design Methods for Reducing Failure Probabilities with E 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031370182 Author 作者 Mona Fuhrl?nder Format 版本 精装 Pages Number 页数 106页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-08-20 Language 语种 其它（含多语） Book Contents 内容简介 This book deals with efficient estimation and optimization methods to improve the design of electrotechnical devices under uncertainty. Uncertainties caused by manufacturing imperfections, natural material variations, or unpredictable environmental influences, may lead, in turn, to deviations in operation. This book describes two novel methods for yield (or failure probability) estimation. Both are hybrid methods that combine the accuracy of Monte Carlo with the efficiency of surrogate models. The SC-Hybrid approach uses stochastic collocation and adjoint error indicators. The non-intrusive GPR-Hybrid approach consists of a Gaussian process regression
¥1643
【预订】Scattering Methods in Complex Fluids 9780521883801 美国库房发货，通常付款后3-5周到货！
¥1256
【预订】The Latest Methods of Construction Design 9783319227610 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Numerical Methods for Ordinary Differential Equations 3E 美国库房发货，通常付款后3-5周到货！
¥1499
【预订】Asymptotic Methods in Mechanics of Solids 9783319386829 美国库房发货，通常付款后3-5周到货！
¥548.00
预售 按需印刷 Methods and Analysis 北京发货，付款后10天内发货
¥944.00
预订 按需印刷 Methods of Historical Analysis in Electronic Media
¥553.35
3-6周达 Sieve Methods, Exponential Sums, and Their Application 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥722.00
【3-6周达】New Methods of Food Preservation [ISBN:9781461358763] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Stochastic Models for Performance 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Applied Methods in Design and Construction of Bridges, Hi 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1253
3-6周达 Novel Methods of Diagnostics of Thyroid and Parathyroi 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥555.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车