海外直订Formal Methods: Foundations and Applications: 17th Brazi
¥530.00
【预订】Numerical Methods in Astrophysics: An Introduction (Seri 美国库房发货，通常付款后3-5周到货！
¥1537
海外直订医药图书Methods in Vitamin B-6 Nutrition: Analysis and Statu
¥662.00
【预订】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
海外直订Agile Methods: 9th Brazilian Workshop, Wbma 2018, Campin
¥662.00
海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法
¥2651
海外直订Formal Methods and Models for System Design: A System Le
¥2120
预订 Survey Methods In Multinational, Multiregional, and Multi 国外库房发货，通常付款后3-5周到货
¥1370
【预订】Integral Methods in Science and Engineering 978303016076 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030160760 Author 作者 Christian Constanda Format 版本 精装 Pages Number 页数 432页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2019-07-12 Language 语种 英语 Book Contents 内容简介 This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. The chapters in this book are based on talks given at the Fifteenth International Conference on Integral Methods in Science and Engineering, held July 16-20, 2018 at the University of Brighton, UK, and are written by internationally recognized researchers. The topics addressed are wide ranging, and include:Asymptotic analysisBoundary-domain integral equationsViscoplastic fluid flowStationary wavesInterior Neumann shape optimizationSelf-configuring neu
¥1314
【预订】Assessment Methods for Soil Carbon 9781566704618 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781566704618 Format 版本 精装 Pages Number 页数 696页 Publication Date 出版日期 2000-12-28 Shipping Weight 商品重量 1365g Language 语种 英语 Book Contents 内容简介 The Kyoto Protocols heightened interest in soil carbon pools and their effect on carbon fluxes. In Assessment Methods for Soil Carbon, leading researchers show that the technology exists to measure, monitor, and verify changes to soil carbon. The book establishes the need for standardized methods, and sheds light on the link between the pedosphere (soils) and the atmosphere. It shows the importance of developing links between the economics of carbon sequestration and the amounts sequestered and highlights the need for scientists and policy makers to interact to ensure that policies fit within the scope of present technologies.
¥2561
海外直订New Methods and Results in Non-Linear Field Equations: P
¥662.00
预订 Search Methods in Artificial Intelligence [ISBN:978100928 【全球购】进口原版，一般3-6周左右到国内
¥950.00
【预售 按需印刷】Methods of Optimization in Operations Res
¥749.70
海外直订Formal Methods and Software Engineering: 9th Internation
¥662.00
海外直订Formal Methods for Software Engineering: Languages, Meth
¥936.00
海外直订New Methods of Computing Radial Distribution Functions o
¥859.00
【预订】Golgi: Methods and Protocols [ISBN:9781071626412] 【全球购】进口原版图书，一般10-12周左右到国内
¥2444
【预订】Kernel Methods for Machine Learning with Math and Python 【全球购】进口原版图书，一般10-12周左右到国内
¥535.00
【预订】Schwarz Methods and Multilevel Preconditioners for Bound 【全球购】进口原版图书，一般10-12周左右到国内
¥1974
海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法
¥616.00
海外直订Tracer Methods in Hormone Research 激素研究中的示踪方法
¥1325
预订 Novel Methods in Molecular and Cellular Biochem [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥2722
【预订】Soft Methods in Probability, Statistics and Data Analysi 【全球购】进口原版图书，一般10-12周左右到国内
¥771.00
【预订】Myelin: Methods and Protocols (Softcover Reprint of the 【全球购】进口原版图书，一般10-12周左右到国内
¥1974
【预订】Formal Methods: Foundations and Applications 97830300304 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030030438 Author 作者 Massoni Format 版本 平装-胶订 Pages Number 页数 271页 Publication Date 出版日期 2018-10-24 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 21st BrazilianSymposium on Formal Methods, SBMF 2018, which took place in Salvador,Brazil, in November 2018.The 16 regular papers presented in this book were carefullyreviewed and selected from 30 submissions. The papers are organized in topical sections such as:techniques and methodologies; specification and modeling languages; theoretical foundations;verification and validation; experience reports regarding teaching formal methods; and applications.Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
¥635.00
【预订】Advanced Methods for Human Biometrics 9783030819842 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030819842 Author 作者 Nabil Derbel Format 版本 平装-胶订 Pages Number 页数 303页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-30 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.66 Shipping Weight 商品重量 0.98 Language 语种 其它（含多语） Book Contents 内容简介 The book highlights recent developments in human biometrics, covering a wide range of methods based on biological signals, image processing, and measurements of human characteristics such as fingerprints and iris or medical characteristics. Human Biometrics is becoming increasingly crucial in forensics security and medicine. They provide a solid basis for identifying individuals based on unique physical characteristics or diseases based on characteristic biomedical measurements. As such, the book offers an essential reference guide about biometry metho
¥1314
预订 Lattice Methods for Multiple Integration 晶格多个集成的方法 978019 国外库房发货，通常付款后3-5周到货
¥1552
海外直订Direct Methods for Solving the Boltzmann Equation and St
¥1458
预订 Formal Methods in Manufacturing [ISBN:9781466561557] 【全球购】进口原版图书，一般5-8周左右到国内
¥2793
【预订】Modern Methods of Construction [ISBN:9783639255577] 【全球购】进口原版图书，一般10-12周左右到国内
¥782.00
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1043
【预订】Applied Methods of Structural Reliability (Softcover Rep 【全球购】进口原版图书，一般10-12周左右到国内
¥2156
【预订】Numerical Methods of Mathematics Implemented in Fortran 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811371134 Author 作者 Bose Format 版本 精装 Pages Number 页数 467页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-06-09 Language 语种 英语 Book Contents 内容简介 This book systematically classifies the mathematical formalisms of computational models that are required for solving problems in mathematics, engineering and various other disciplines. It also provides numerical methods for solving these problems using suitable algorithms and for writing computer codes to find solutions. For discrete models, matrix algebra comes into play, while for continuum framework models, real and complex analysis is more suitable. The book clearly describes the method–algorithm–code approach for learning the techniques of scientific computation and how to arrive at accurate solutions by applying the procedures presented. It not only provides instruc
¥658.00
海外直订医药图书Methods in Biomedical Informatics: A Pragmatic Appro
¥1463
【预订】Visual Methods with Children and Young People: Academics 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
【预订】Formal Methods and Software Engineering [ISBN:9783642169 【全球购】进口原版图书，一般10-12周左右到国内
¥1105
【预订】Entropy Methods for Diffusive Partial Differential Equat 【全球购】进口原版图书，一般10-12周左右到国内
¥868.00
预售 按需印刷Methods of Soil Stabilization
¥882.00
预订 Design Methods for Reducing Failure Probabilities with Ex 国外库房发货，通常付款后3-5周到货
¥1643
【预售 按需印刷】DIRECT METHODS IN THE CALCULUS OF VARIATIONS 北京发货，付款后10天内发货
¥1559.88
海外直订Formal Methods for Components and Objects: Second Intern
¥662.00
【预订】Analytical Methods in Nonlinear Oscillations: Approaches 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789402416527 Author 作者 Esmailzadeh Ebrahim Format 版本 平装-胶订 Pages Number 页数 286页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1643
【预订】Models, Methods, and Tools for Complex Chip Design 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319348230 Author 作者 Jan Haase Format 版本 平装-胶订 Pages Number 页数 221页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 440g Language 语种 英语 Book Contents 内容简介 This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
¥1643
预订 Direct Methods for Sparse Matrices 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9780198508380 Author 作者 DuffI.S. Pages Number 页数 464页 Publisher 出版社 Oxford University Press Publication Date 出版日期 20170126 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 The subject of sparse matrices has its root in such diverse fields as management science, power systems analysis, surveying, circuit theory, and structural analysis. Efficient use of sparsity is a key to solving large problems in many fields. This book provides both insight and answers for those attempting to solve these problems.
¥1553
【预订】Prediction Methods for Blood Glucose Concentration 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319259116 Author 作者 Kirchsteiger Format 版本 精装 Pages Number 页数 265页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-11-25 Shipping Weight 商品重量 584g Language 语种 英语 Book Contents 内容简介 This book tackles the problem of overshoot and undershoot in blood glucose levels caused by delay in the effects of carbohydrate consumption and insulin administration. The ideas presented here will be very important in maintaining the welfare of insulin-dependent diabetics and avoiding the damaging effects of unpredicted swings in blood glucose – accurate prediction enables the implementation of counter-measures. The glucose prediction algorithms described are also a key and critical ingredient of automated insulin delivery systems, the so-called “artificial pancreas”.The authors address the topic of blood-glucose p
¥1095
【预订】Optical Methods of Measurement 9781138115491 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138115491 Author 作者 Sirohi, Rajpal Format 版本 平装-胶订 Pages Number 页数 316页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-06-14 Language 语种 其它（含多语）
¥1153
海外直订Formal Methods: 24th International Symposium, FM 2021, V
¥1337
海外直订Formal Methods. FM 2019 International Workshops: Porto,
¥662.00
海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法
¥616.00
【预订】Diagnostic Methods in the Cardiac Catheterization Labora 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138114111 Author 作者 || Format 版本 平装-胶订 Pages Number 页数 306页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-06-07 Language 语种 英语 Book Contents 内容简介 This premier reference guide discusses the specialized conditions that every interventional cardiologist encounters in the cardiac catheterization lab and examines advanced clinical approaches to diagnosis and treatment. It provides the tools necessary for correctly identifying complex coronary lesions and plaques as well as the information needed to accurately recognize rare disease progression and patterns. Exploring all the essential diagnostic modalities needed in the lab, the book covers intracardiac ultrasonography, multidetecter computed tomography, pre-procedure planning, guidance of stent deployment, and stent thrombosis treatment.
¥1076
海外直订Energy Methods for Free Boundary Problems: Applications
¥1988
海外直订Formal Methods in Computer-Aided Design: 5th Internation
¥662.00
海外直订Modern Methods in the Calculus of Variations: L^p Spaces
¥616.00
海外直订Direct Methods: Methodological Progress and Engineering
¥1739
预订 Ordinal Methods for Behavioral Data Analysis [ISBN:978113 【全球购】进口原版图书，一般5-8周左右到国内
¥706.00
【预订】Geometric Methods in Physics XXXV 9783319635934 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319635934 Author 作者 Kielanowski Format 版本 精装 Pages Number 页数 282页 Publication Date 出版日期 2018-02-11 Shipping Weight 商品重量 613g Language 语种 英语 Book Contents 内容简介 This book features a selection of articles based on the XXXV Biaowie?a Workshop on Geometric Methods in Physics, 2016. The series of Bia?owie?a workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. The works in this book, based on presentations given at the workshop, are previously unpublished, at the cutting edge of current research, typically grounded in geometry and analysis, and with applications to classical and quantum physics. In 2016 the special session? ’Integrability and Geometry’ in particular attracted pioneers and leading specialists in the field. Traditionally, the Bia?owie?a Workshop is fo
¥1095
预订 【】Formal Methods for Discrete-Time Dynamical Systems (Sof 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9783319844855 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-21 Language 语种 英语
¥1954
海外直订Mixed-Methods Research in Wellbeing and Health 幸福与健康的混合方
¥715.00
【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781498772655 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 376页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-09-02 Language 语种 英语 Book Contents 内容简介 The bookprovides an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.
¥2306
【预订】Formal Methods for Industrial Critical Systems: 16th Int 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车