【预订】Formal Methods in Manufacturing 9781466561557 美国库房发货，通常付款后3-5周到货！
¥3247
【预订】Scattering Methods in Complex Fluids 9780521883801 国外库房发货, 通常付款后12-16周到货
¥1256
【预订】The Latest Methods of Construction Design 9783319227610 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Numerical Methods for Ordinary Differential Equations 3E 美国库房发货，通常付款后3-5周到货！
¥1499
海外直订Formal Methods: 25th International Symposium, FM 2023, L
¥1203
海外直订Formal Methods and Stochastic Models for Performance Eva
¥662.00
Analytical methods for food safety by mass spectrometry 庞国芳
¥721.20定价：¥788.00 (9.16折)
【预订】Level Set Methods for Fluid-Structure Interaction 978303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031086618 Author 作者 Cottet Georges-Henri Format 版本 平装-胶订 Pages Number 页数 197页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.44 Shipping Weight 商品重量 0.66磅 Language 语种 其它（含多语）
¥1095
【预售 按需印刷】PRACTICAL METHODS FOR SUCCESSFUL CLASSROO 北京发货，付款后10天内发货
¥905.00
海外直订Key Methods in Geography 地理学关键方法
¥2476
【预订】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
预订 神经遗传学方法Methods in Genomic Neuroscience [ISBN:978084932397 【全球购】进口原版图书，一般5-8周左右到国内
¥2589
【预订】Linguistic Methods Under Fuzzy Information in System Saf 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030933517 Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer Nature Switzerland AG Publication Date 出版日期 2022-03-11 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.56 Shipping Weight 商品重量 1.06 Language 语种 其它（含多语） Book Contents 内容简介 This book reviews and presents a number of approaches to Fuzzy/based system safety and reliability assessment. For each proposed approach, it provides case studies demonstrating their applicability, which will enable readers to implement them into their own risk analysis process. The book begins by giving a review of using linguistic terms in system safety and reliability analysis methods and their extension by fuzzy sets. It then progresses in a logical fashion, dedicating a chapter to each approach, including the 2/tuple fuzzy/based linguistic term set approach, fuzzy bow/tie analysi
¥1533
海外直订Direct Methods in the Calculus of Variations 变分法中的直接法
¥2253
海外直订Hybrid Methods of Molecular Modeling 分子模型的混合方法
¥6628
按需印刷Mixed Methods in Criminology 预订，预计下单后2-3周左右发货！
¥1512
按需印刷Kernel Methods and Estimation of Extreme Value Index 预订，预计下单后2-3周左右发货！
¥1067
【预订】Serpins: Methods and Protocols 9781493993529 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493993529 Format 版本 平装-胶订 Pages Number 页数 276页 Publisher 出版社 Humana Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1753
【预订】Prediction Methods for Blood Glucose Concentration 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319372983 Author 作者 Harald Kirchsteiger Johannes Kepler University Linz Linz Format 版本 平装-胶订 Pages Number 页数 265页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 433g 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 pancr
¥1095
预订Research Methods:A Practical Guide for the Social Sciences 预订，预计下单后2-3周左右发货！
¥858.00
【预售 按需印刷】Research Methods in Applied Linguistics
¥1907.4
海外直订New Methods of Computing Radial Distribution Functions o
¥854.71
海外直订New Methods for Polymer Synthesis 高分子合成的新方法
¥1988
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol
¥1233
海外直订Formal Methods: Applications and Technology: 11th Intern
¥662.00
海外直订Formal Methods and Object Technology 形式化方法与对象技术
¥1325
【预订】Advanced Methods of Structural Analysis 9783030443931 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030443931 Author 作者 Karnovsky Igor A. Format 版本 精装 Pages Number 页数 1336页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-04-01 Language 语种 其它（含多语） Book Contents 内容简介 This revised and significantly expanded edition contains a rigorous examination of key concepts, new chapters and discussions within existing chapters, and added reference materials in the appendix, while retaining its classroom-tested approach to helping readers navigate through the deep ideas, vast collection of the fundamental methods of structural analysis. The authors show how to undertake the numerous analytical methods used in structural analysis by focusing on the principal concepts, detailed procedures and results, as well as taking into account the advantages and disadvantages of each method and sphere of their effective application. The
¥3042
预订 Novel Methods and Applications for Mineral Exploration, V 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥823.00
预订Research Methods for Clinical and Health Psychology [ISBN: 【全球购】进口原版图书，约10-12周到达国内后发出
¥756.00
海外直订Extraction Methods in Organic Analysis 有机分析中的萃取方法
¥2020
预订 按需印刷 Methods in Cellular Immunology
¥1881.9
预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥704.00
【预订】Formal Methods for Discrete-Time Dynamical Systems 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319507620 Author 作者 Gol, Ebru Aydin Format 版本 精装 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-15 Language 语种 英语 Book Contents 内容简介 This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is
¥1861
海外直订Formal Methods for Distributed Processing: A Survey of O
¥2171
海外直订Modern Methods of Construction 现代施工方法
¥829.00
海外直订Key Methods and Concepts in Condensed Matter Physics: Gr
¥1146
海外直订医药图书Methods in Chemosensory Research 化学感觉研究方法
¥2873
海外直订Formal Methods in Computer-Aided Design: Second Internat
¥662.00
【预订】Research Methods in Language Policy and Planning 9781118 美国库房发货，通常付款后3-5周到货！
¥635.00
海外直订Cilia: Methods and Protocols 纤毛：方法和协议
¥591.00
海外直订Formal Methods in Programming and Their Applications: In
¥662.00
【预订】Advanced Methods in Structural Biology 9784431567585 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9784431567585 Author 作者 Toshiya Senda High Energy Accelerator Research Organization Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-06-07 Language 语种 英语 Book Contents 内容简介 This book provides practical information on a whole set of protein experiments for advanced structural biology, such as X-ray crystallography, NMR, electron microscopy, advanced mass spectroscopy, and surface plasmon resonance, as well as a wide variety of expression systems including eukaryotic and in vitro expression. In the past decade, structural genomics studies have pushed forward the development of automated methods in the field of structural biology, however there is an increasing need for the structural analysis of difficult targets, such as large protein complexes and membrane proteins, which are hard to achieve using conventional automa
¥1095
【预订】Bayesian Methods for Interaction and Design 978110883499 国外库房发货, 通常付款后12-16周到货
Product Details 基本信息 ISBN-13 书号 9781108834995 Author 作者 John H. Williamson Format 版本 精装 Pages Number 页数 400页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2022-08-01 Product Dimensions 商品尺寸 229 x 152 mm Language 语种 其它（含多语） Book Contents 内容简介 Intended for researchers and practitioners in interaction design, this book shows how Bayesian models can be brought to bear on problems of interface design and user modelling. It introduces and motivates Bayesian modelling and illustrates how powerful these ideas can be in thinking about human-computer interaction, especially in representing and manipulating uncertainty. Bayesian methods are increasingly practical as computational tools to implement them become more widely available, and offer a principled foundation to reason about interaction design. The book opens with a self-contained tutorial
¥1243
【预订】Research Methods for Massage and Holistic Therapies 国外库房发货, 通常付款后12-16周到货
¥672.00
【预售 按需印刷】Topics and Methods in q-Series
¥1581
【3-6周达】Malaria Methods and Protocols [ISBN:9780896038233] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Bayesian Methods In Finance 美国库房发货，通常付款后3-5周到货！
¥919.00
海外直订PCR Methods in Foods 食品中的PCR方法
¥1325
海外直订New Methods Polymer Synthesis 高分子合成新方法
¥662.00
【预订】In Vitro Methods in Toxicology 国外库房发货, 通常付款后12-16周到货
¥661.00
【预订】Numerical Methods for Fluid Dynamics IV 美国库房发货，通常付款后3-5周到货！
¥783.00
【预订】Modern Methods Of Particle Size Analysis 美国库房发货，通常付款后3-5周到货！
¥4994
【预订】Formal Methods in Human-Computer Interaction 国外库房发货, 通常付款后12-16周到货
¥595.00
海外直订Modern Methods in Operator Theory and Harmonic Analysis:
¥1739
【预订】Direct Methods 9783030488338 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030488338 Format 版本 精装 Pages Number 页数 243页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-09-07 Language 语种 英语 Book Contents 内容简介 This book provides an overview of direct methods such as limit and shakedown analysis, which are intended to do away with the need for cumbersome step-by-step calculations and determine the loading limits of mechanical structures under monotone, cyclic or variable loading with unknown loading history. The respective contributions demonstrate how tremendous advances in numerical methods, especially in optimization, have contributed to the success of direct methods and their practical applicability to engineering problems in structural mechanics, pavement and general soil mechanics, as well as the design of composite materials.The content reflects the outcomes of the workshop “Direct Methods: Methodol
¥1643
预订Research Methods for the Behavioral Sciences [ISBN:9781544 【全球购】进口原版图书，约3-6周到达国内后发出
¥1303
【预订】Asymptotic Methods in Equations of Mathematical Physics 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9782881246647 Author 作者 B Vainberg Format 版本 精装 Pages Number 页数 498页 Publisher 出版社 CRC Press Publication Date 出版日期 1989-02-25 Shipping Weight 商品重量 825g Language 语种 英语 Book Contents 内容简介 Provides a single source for both students and advanced researchers on asymptotic methods employed in the linear problems of mathematical physics.
¥3562
海外直订Novel Methods in Soft Matter Simulations 软物质模拟中的新方法
¥662.00
海外直订医药图书Methods for Stability Testing of Pharmaceuticals 药品稳
¥1480
预订 Formal Methods Teaching 7th Formal Methods Teaching Works 国外库房发货，通常付款后3-5周到货
¥575.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车