海外直订Formal Methods for Executable Software Models: 14th Inte
¥553.00
按需印刷New Methods in Cognitive Psychology 预订，预计下单后3-4周左右发货！
¥593.00
【3-6周达】Basic Methods and Protocols on Sourdough [ISBN:978107 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【预订】Formal Methods: Foundations and Applications 97836424107 美国库房发货，通常付款后3-5周到货！
¥504.00
【预订】Microlocal Methods in Mathematical Physics and Global An 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Ultrasonic Methods in Evaluation of Inhomogeneous Materi 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Advanced Methods for Groundwater Pollution Control 97832 美国库房发货，通常付款后3-5周到货！
¥1516
【预订】Numerical Methods for Inverse Problems 9781848218185 美国库房发货，通常付款后3-5周到货！
¥2020
【预订】Analytical Methods for Milk and Milk Products 9781774913 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781774913079 Format 版本 精装 Pages Number 页数 410页 Publisher 出版社 Apple Academic Press Publication Date 出版日期 2024-02-20 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 Here is a new three-volume set that comprehensively illustrates a wide range of analytical techniques and methodologies for assessing the physical, chemical, and microbiological properties of milk and milk products to ensure nutritional and technological quality and safety of milk and milk products.This volume presents the main analytical techniques and methodologies and their application to the compounds involved in nutritional and technological quality of milk and milk products. It covers the sampling methods and chemical analysis of milk, highlighting the standard methods used for calibration of different glassware, sampling p
¥2216
【预订】Geometric Methods in Physics 9783319182117 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods for Black-Box Software in Computationa 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783111317298 Author 作者 Martynenko Format 版本 平装-胶订 Pages Number 页数 136页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2023-10-10 Language 语种 其它（含多语） Book Contents 内容简介 The organization of the material is presented as follows: This introductory chapter I represents a theoretical analysis of the computational algorithms for a numerical solution of the basic equations in continuum mechanics. In this chapter, the general requirements for computational grids, discretization, and iterative methods for black-box software are examined. Finally, a concept of a two-grid algorithm for (de-)coupled solving multidimensional non-linear (initial-)boundary value problems in continuum mechanics (multiphysics simulation) in complex domains is presented. Chapter II contains descriptions of the sequential Robust Multigrid Technique which is
¥729.00
【预订】Numerical Methods in Matrix Computations 9783319050881 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Optical Methods in Mechanics of Solids: Held at the Univ 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods in Manufacturing 9781466561557 美国库房发货，通常付款后3-5周到货！
¥2577
【预订】Geometric Methods in Bio-Medical Image Processing 978364 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods for Stiff Equations and Singular Pertu 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Computer Methods for Circuit Analysis and Design 9781441 美国库房发货，通常付款后3-5周到货！
¥2738
【预订】Zebrafish: Methods and Protocols 9781493937691 美国库房发货，通常付款后3-5周到货！
¥1753
预订 Costing methods and budget management: With case studies 国外库房发货，通常付款后3-5周到货
¥1047
【预订】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
【预订】Analytical Methods in Rotor Dynamics, 2/e 9789400759046 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods for Dynamical Systems 9783642388736 美国库房发货，通常付款后3-5周到货！
¥504.00
【预订】Optical Methods in Experimental Solid Mechanics 97832118 美国库房发货，通常付款后3-5周到货！
¥2274
【预订】Scattering Methods in Complex Fluids 9780521883801 美国库房发货，通常付款后3-5周到货！
¥1256
【预订】Analytic Methods in Interdisciplinary Applications 97833 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】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
预订 Rapid methods for biological and chemical contaminants in 国外库房发货，通常付款后3-5周到货
¥1809
【预订】Integral Methods in Science and Engineering: Analytic an 美国库房发货，通常付款后3-5周到货！
¥548.00
海外直订Mtor: Methods and Protocols 方法和协议
¥1672
海外直订Formal Methods for Industrial Critical Systems: 18th Int
¥494.00
海外直订Mixed Methods: Interviews, Surveys, and Cross-Cultural C
¥1438
【3-6周达】Research Methods [ISBN:9780816083169] 【全球购】进口原版图书，一般3-6周左右到国内
¥865.00
预订Research Methods in Criminal Justice and Criminology [ISBN 【全球购】进口原版图书，约3-6周到达国内后发出
¥3246
【预售 按需印刷】Methods Biochem Analysis V35
¥5239
预订 按需印刷 Methods of Analysis for Functional Foods and Nutrace
¥2047.65
【预售 按需印刷】Research Methods in Sign Langu
¥1065.05
【预订】Theory and Methods of Metallurgical Process Integration 美国库房发货，通常付款后3-5周到货！
¥2132
【预订】Neutrophil Methods and Protocols 9781617377792 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Formal Methods Applied to Industrial Complex Systems 978 美国库房发货，通常付款后3-5周到货！
¥2441
【预订】Energy Methods in Continuum Mechanics: Proceedings of th 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Oogenesis: Methods and Protocols 9781493937936 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Abstract Methods in Information Theory, 2/e 978981475923 美国库房发货，通常付款后3-5周到货！
¥1660
【预订】Nuclease Methods and Protocols 9781617371301 美国库房发货，通常付款后3-5周到货！
¥1643
预订Research Methods For Business, Eighth EMEA Edition 预订，预计下单后2-3周左右发货！
¥788.00
【预订】Numerical Methods and Modelling for Engineering 97833197 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319793313 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-06-06 Language 语种 英语
¥624.00
【预售 按需印刷】Matrices Methods and Applications
¥1213.8
【预订】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
【预订】Formal Methods for Web Services 9783642019173 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642019173 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 341页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-05-12 Shipping Weight 商品重量 539g Language 语种 英语
¥504.00
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540729198 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 317页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-05-25 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions.
¥548.00
【预订】Classical Methods of Statistics 9783540211150 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540211150 Author 作者 Kardaun Format 版本 精装 Pages Number 页数 388页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-16 Language 语种 英语 Book Contents 内容简介 Classical Methods of Statistics is a guidebook combining theory and practical methods. It is especially conceived for graduate students and scientists who are interested in the applications of statistical methods to plasma physics. Thus it provides also concise information on experimental aspects of fusion-oriented plasma physics. In view of the first three basic chapters it can be fruitfully used by students majoring in probability theory and statistics. The first part deals with the mathematical foundation and framework of the subject. Some attention is given to the historical background. Exercises are added to help readers understand the underlying concepts. In the secon
¥1095
【3-6周达】Methods for Analyzing Large Neuroimaging Datasets [IS 【全球购】进口原版图书，约3-6周到达国内后发出
¥614.00
【预订】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
【预订】Numerical Methods and Applications 9783540006084 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540006084 Author 作者 Dimov Format 版本 平装-胶订 Pages Number 页数 580页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-01-31 Language 语种 英语
¥1095
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540688624 Author 作者 Gilles Barthe Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-29 Shipping Weight 商品重量 427g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of
¥548.00
【预订】Formal Methods and Testing 9783540789161 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540789161 Author 作者 Robert M. Hierons Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-04-08 Shipping Weight 商品重量 593g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal
¥548.00
【3-6周达】Beyond Methods: Macrostrategies for Language Teaching 【全球购】进口原版图书，一般3-6周左右到国内
¥1004
预订 Field Methods in Archaeology: Seventh Edition [ISBN:97815 【全球购】进口原版图书，一般5-8周左右到国内
¥1120
【3-6周达】Formal Methods and Software Engineering: 13th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车