【预订】Global Methods in Optimal Control Theory 美国库房发货，通常付款后3-5周到货！
¥3343
【预订】In Vitro Methods in Developmental Toxicology: Use in Def 美国库房发货，通常付款后3-5周到货！
¥2413
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol
¥1072
【预订】Neurons: Methods and Applications for the Cell Biologist 美国库房发货，通常付款后3-5周到货！
¥2026
【预售 按需印刷】Methods of Optimization in Operations Res
¥749.70
【预订】New Methods and Sensors for Membrane and Cell Volume Res 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323911146 Author 作者 Levitan Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Academic Press Publication Date 出版日期 2021-11-29 Shipping Weight 商品重量 450 Language 语种 其它（含多语）
¥2186
【预售 按需印刷】Data-Based Methods for Materials Design a
¥950.30
【预售 按需印刷】INVERSE METHODS FOR ATMOSPHERIC SOUNDING
¥1173
海外直订Formal Methods in Computer-Aided Design: 4th Internation
¥553.00
按需印刷Robust Methods for Data Reduction 预订，预计下单后2-3周左右发货！
¥1197
海外直订Formal Methods and Software Engineering: 10th Internatio
¥553.00
【预订】Advanced methods for fault diagnosis and fault-tolerant 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783662620038 Author 作者 Ding Format 版本 平装-胶订 Pages Number 页数 623页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-16 Language 语种 英语 Book Contents 内容简介 The major objective of this book is to introduce advanced design and (online) optimization methods for fault diagnosis and fault-tolerant control from different aspects. Under the aspect of system types, fault diagnosis and fault-tolerant issues are dealt with for linear time-invariant and time-varying systems as well as for nonlinear and distributed (including networked) systems. From the methodological point of view, both model-based and data-driven schemes are investigated.To allow for a self-contained study and enable an easy implementation in real applications, the necessary knowledge as well as tools in mathematics and control theory are included in this book. The
¥1533
【预订】Analytical Methods for Risk Management 9781584886372 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781584886372 Author 作者 Paul R. Garvey Format 版本 精装 Pages Number 页数 282页 Publication Date 出版日期 2008-10-20 Shipping Weight 商品重量 544g Language 语种 英语 Book Contents 内容简介 This book describes the foundation processes and analytical practices for identifying, analyzing, measuring, and managing risk in traditional systems, systems-of-systems, and enterprise systems. It uses numerous examples and chapter exercises to illustrate how principles are applied to actual engineering systems projects. The author presents a new way, in the form of a supplier–provider framework, to model and measure risk in the engineering of enterprise systems being developed by capabilities-based approaches. He also explores research ideas for the development of advanced risk analysis and management protocols and discusses success factors for managing risk in the engineering of systems.
¥1560
【预售 按需印刷】Formal Methods for Industrial
¥1030.2
【预售 按需印刷】Manual of Methods for Marine Plankton
¥825.35
【预订】Research Methods in Linguistics 9781107014336 美国库房发货，通常付款后3-5周到货！
¥1030
【预售 按需印刷】Matrices Methods and Applications
¥1213.8
预订 Models, Methods, and Morality: Assessing Modern Approache 国外库房发货，通常付款后3-5周到货
¥2595
【预订】Geometric Methods in Physics: XXXI Workshop, Bia Owie A, 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Current Methods in Historical Semantics 美国库房发货，通常付款后3-5周到货！
¥2068
【预订】Nonlinear Methods in Riemannian and Kahlerian Geometry: 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Integral Methods in Science and Engineering Y97805823040 美国库房发货，通常付款后3-5周到货！
¥1658
预订 Arts Methods for the Self-Representation of Undergraduate 国外库房发货，通常付款后3-5周到货
¥558.00
预订 Legal Methods: Understanding and Using Cases and Statutes 国外库房发货，通常付款后3-5周到货
¥3581
预订 Formal Methods: Foundations and Applications: 27th Brazil 国外库房发货，通常付款后3-5周到货
¥635.00
【预订】Evaluation Methods in Biomedical and Health Informatics 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030864521 Author 作者 Charles P. Friedman Format 版本 精装 Pages Number 页数 383页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-02-11 Language 语种 其它（含多语） Book Contents 内容简介 This 3rd edition of Evaluation Methods inBiomedical and Health Informatics has been extensively revised and expanded. It builds on a solid foundation of evaluation theory to explain methods and techniques within health informatics, using many examples, real-world case studies and numerous self-tests with answers. Expanded to 20 rather than 12 chapters, new chapters have been added on qualitative methods, ethics, mixed methods, evidence-based informatics and how to conduct evaluation studies using routine, real-world data. Designed as a practical guide for masters and PhD students, informatics researchers and seasoned professionals seeking a compre
¥876.00
预订Research Methods: Designing and Conducting Research with a 【全球购】进口原版图书，约3-6周到达国内后发出
¥544.00
预订 Corpus Methods for Semantics. Quantitative studies in pol 国外库房发货，通常付款后3-5周到货
¥1278
海外直订Formal Methods in Computer-Aided Design: Third Internati
¥1033
海外直订Modern Methods for Musicology 现代音乐学方法
¥1492
【预订】Research Methods in Human Resource Management: Investiga 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780749498122 Author 作者 Anderson Valerie Format 版本 精装 Pages Number 页数 496页 Publisher 出版社 Cipd - Kogan Page Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 10.00 x 8.00 x 1.50 Shipping Weight 商品重量 2.71 Language 语种 其它（含多语）
¥2261
【预订】Chemical Methods for Processing Nanomaterials 9780367085 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367085889 Format 版本 精装 Pages Number 页数 296页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-03-16 Language 语种 英语 Book Contents 内容简介 This book discusses the latest advancements in the processing of various types of nanomaterials. The main objective of the book is to provide the reader with a comprehensive review of the latest advances in synthesis as well as processing of almost all kinds of nanomaterials using various physical and chemical methods.
¥2305
【3-6周达】Formal Methods and Software Engineering [ISBN:9783031 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 PCR: Methods and Protocols: 9781071633601 国外库房发货，通常付款后3-5周到货
¥1533
预订 KRAS: Methods and Protocols: 9781071638248 国外库房发货，通常付款后3-5周到货
¥1753
预订 Vortex Methods and Vortex Motion 国外库房发货，通常付款后3-5周到货
¥1249
【预订】Global Methods for Combinatorial Isoperimetric Problems 美国库房发货，通常付款后3-5周到货！
¥1243
预订 Krylov Methods for Nonsymmetric Linear Systems 国外库房发货，通常付款后3-5周到货
¥1643
【3-6周达】Research Methods for Criminology and Criminal Justice 【全球购】进口原版图书，一般3-6周左右到国内
¥1821
3-6周达 高被引Methods in Consumer Research, Volume 2: Alternative 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥2269
【3-6周达】Formal Methods in the Methodology of Empirical Scienc 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法
¥1789
【预订】Hedonic Methods in Housing Markets 9781441926388 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441926388 Author 作者 Andrea Baranzini Haute Ecole de Gestion de Genève Economie Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer New York Publication Date 出版日期 2010-10-29 Product Dimensions 商品尺寸 23.4 x 15.6 x 1.6 cm Shipping Weight 商品重量 0.4 kg Language 语种 其它（含多语） Book Contents 内容简介 Cities are growing worldwide and their sprawl is increasingly challenged for its pressure on open spaces and environmental quality. Economic arguments can help to decide about the trade-off between preserving environmental quality and developing housing and business surfaces, provided the benefits of environmental quality are adequately quantified. To this end, this book focuses on the use and advancement of the “hedonic approach”, an economic valuation technique that analyses and quantifies the sources
¥2190
预订 String Methods for Beginners 初学者的字符串方法: 9780367226831 国外库房发货，通常付款后3-5周到货
¥1958
海外直订医药图书Methods and Applications of Inversion 反演方法及应用
¥553.00
预订Research Methods in Criminal Justice and Criminology [ISBN 【全球购】进口原版图书，约3-6周到达国内后发出
¥3246
【预订】Nuclear Methods in Science and Technology 美国库房发货，通常付款后3-5周到货！
¥2713
海外直订piRNA: Methods and Protocols 方法和协议
¥2116
预订 Design Methods for Reducing Failure Probabilities with Ex 国外库房发货，通常付款后3-5周到货
¥1643
【预订】Numerical Methods for Fluid Dynamics: With Applications 美国库房发货，通常付款后3-5周到货！
¥873.00
【预订】Mixing Methods in Psychology: The Integration of Qualita 美国库房发货，通常付款后3-5周到货！
¥648.00
【预订】Kernel Methods for Remote Sensing Data Analysis 美国库房发货，通常付款后3-5周到货！
¥1975
【预订】Formal Methods and Software Engineering 9789819975839 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789819975839 Author 作者 Yi Li Format 版本 平装-胶订 Pages Number 页数 288页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-23 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.
¥711.00
【预订】Wavelet Methods for Elliptic Partial Differential Equati 美国库房发货，通常付款后3-5周到货！
¥2135
【预订】Kernel Methods and Machine Learning 美国库房发货，通常付款后3-5周到货！
¥1137
预订 Key Methods in Geography 地理学的关键方法: 9781529772081 国外库房发货，通常付款后3-5周到货
¥3015
【预订】Formal Methods for Computational Systems Biology 9783540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540688921 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 527页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-20 Shipping Weight 商品重量 819g Language 语种 英语
¥548.00
【预订】Formal Methods in Computer-Aided Design 9783540001164 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540001164 Author 作者 Aagaard Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-10-23 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional verication has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, t
¥548.00
【预订】Formal Methods for Industrial Critical Systems 978354079 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540797067 Author 作者 Stefan Leue Universit?t Konstanz FB Informatik und Konstan Format 版本 平装-胶订 Pages Number 页数 254页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-19 Shipping Weight 商品重量 412g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods an
¥548.00
【3-6周达】Research Methods [ISBN:9780816083169] 【全球购】进口原版图书，一般3-6周左右到国内
¥865.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车