![[预定]Ensemble Methods: Foundations and Algorithms](http://img3m4.ddimg.cn/90/24/1192623984-1_b_2.jpg)
[预定]Ensemble Methods: Foundations and Algorithms 海外预定商品，预计60-90天发货，非质量问题不支持退货
.
¥1037.4
【预订】Biofilms: Methods for Enzymatic Release of Microorganism 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138557703 Format 版本 平装-胶订 Publication Date 出版日期 2019-01-01 Language 语种 英语
¥524.00
【3-6周达】Agile Methods: 8th Brazilian Workshop, Wbma 2017, Bel 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
海外直订Formal Methods for Industrial Critical Systems: 23rd Int
¥662.00
【3-6周达】Formal Methods in Architecture: Proceedings of the 6t 【全球购】进口原版图书，一般3-6周左右到国内
¥2444
【3-6周达】Formal Methods: Foundations and Applications: 21st Br 【全球购】进口原版图书，一般3-6周左右到国内
¥674.00
海外直订Phasor Methods of AC Circuit Analysis: - Designed Using
¥476.00
【3-6周达】Methods and Applications of Crystal Structure Predict 【全球购】进口原版图书，一般3-6周左右到国内
¥3104
预订 Aging Methods and Protocols [ISBN:9781617370830] 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1424
【3-6周达】New Methods Polymer Synthesis [ISBN:9781468415322] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订Optical Methods for Solid Mechanics: A Full-Field Approach 预订，预计下单后4-6周左右发货
¥2455
海外直订Modern Methods of Igneous Petrology: Understanding Magma
¥719.00
3-6周达 Training Methods to Improve Sports Performance and Hea 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥559.00
【3-6周达】Modern Methods in Forest Genetics, 普通生物学 [ISBN:978366 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Nuclear Methods in Science and Technology [ISBN:978036745 【全球购】进口原版图书，一般5-8周左右到国内
¥622.00
【3-6周达】Modern Methods of Development [ISBN:9786205396643] 【全球购】进口原版图书，一般3-6周左右到国内
¥713.00
【预订】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
海外直订New Methods for Polymer Synthesis 高分子合成的新方法
¥1988
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
海外直订医药图书Methods In Research And Development Of Biomedical De
¥1063
海外直订RNA: Methods and Protocols RNA:方法和协议
¥1988
预订 Models, Methods and Applications of Econometrics 97815578 国外库房发货，通常付款后3-5周到货
¥1010
【预订】Polyhedral Methods in Geosciences 9783030693626 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030693626 Author 作者 Daniele Antonio Di Pietro Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-01-07 Language 语种 其它（含多语） Book Contents 内容简介 The last few years have witnessed a surge in the development and usage of discretization methods supporting general meshes in geoscience applications. The need for general polyhedral meshes in this context can arise in several situations, including the modelling of petroleum reservoirs and basins, CO2and nuclear storage sites, etc. In the above and other situations, classical discretization methods are either not viable or require ad hoc modifications that add to the implementation complexity. Discretization methods able to operate on polyhedral meshes and possibly delivering arbitrary-order approximations constitute in this context a verit
¥1643
【预订】Numerical Methods for Fractal-Fractional Differential Eq 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032415222 Author 作者 Muhammad Altaf Khan and Abdon Atangana Format 版本 精装 Pages Number 页数 432页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-05-04 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 This book is about the simulation and modeling of novel chaotic systems within the frame of fractal-fractional operators. The methods used, their convergence, stability, and error analysis are given, and this is the first book to offer mathematical modeling and simulations of chaotic problems with a wide range of fractal-fractional operators, to find solutions.Numerical Methods for Fractal-Fractional Differential Equations and Engineering: Simulations and Modeling provides details for stability, convergence, and analysis along with numerical methods and their solution procedures for
¥2485
海外直订Formal Methods for Components and Objects: Third Interna
¥662.00
海外直订Formal Methods for Web Services: 9th International Schoo
¥609.00
海外直订Formal Methods in Macro-Biology: First International Con
¥559.00
海外直订医药图书Methods for Computer Design of Diffractive Eleme...
¥2937
海外直订Latest Methods of Construction Design 建筑设计的最新方法
¥1739
【预订】Physical Methods of Chemistry Second Edition 美国库房发货，通常付款后3-5周到货！
¥9378
海外直订Formal Methods Teaching: 5th International Workshop, Fmt
¥728.00
海外直订Action Methods in Group Psychotherapy: Practical Aspects
¥715.00
【预售 按需印刷】Kernel Methods and Estimation of Extreme
¥906.95
【预订】Formal Methods for Industrial Critical Systems 978303058 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030582975 Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 970g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contai
¥548.00
【预订】Antibody Methods and Protocols 9781493959303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493959303 Author 作者 Gabriele Proetzel The Jackson Laboratory Bar Harbor ME U Format 版本 平装-胶订 Pages Number 页数 325页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Product Dimensions 商品尺寸 10 x 7 x 0.7 cm Shipping Weight 商品重量 647g Language 语种 英语 Book Contents 内容简介 The rapidly growing field of antibody research is the result of many advancing technologies allowing current developments to take advantage of molecular engineering to create tailor-made antibodies.? Antibody Methods and Protocols attempts to provide insight into the generation of antibodies using in vitro and in vivo approaches, as well as technical aspects for screening, analysis, and modification of antibodies and antibody fragments.? The detailed volume is focused on basic protocols for isolating antibodies and, at the same time, it
¥1588
海外直订医药图书Methods in Proteome and Protein Analysis 蛋白质组学和蛋白质分析
¥3048
海外直订New Methods of Concurrent Checking 并行检查的新方法
¥1325
预售 按需印刷 Methods for Detecting Alpha and Beta Conta 北京发货，付款后10天内发货
¥804.00
现货Research Methods for Business Students
¥2720
海外直订Modern Methods in Analytical Acoustics: Lecture Notes 分析
¥2220
海外直订Formal Methods and Software Engineering: 17th Internatio
¥662.00
预订 Research Methods for Medical Graduates [ISBN:978103208725 【全球购】进口原版图书，一般5-8周左右到国内
¥663.00
预订 Search Methods in Artificial Intelligence [ISBN:978100928 【全球购】进口原版，一般3-6周左右到国内
¥950.00
【预订】Formal Methods for Safety and Security 9789811041204 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811041204 Author 作者 Jeppu, Yogananda Format 版本 精装 Publisher 出版社 Springer Singapore Publication Date 出版日期 2017-05-01 Language 语种 英语 Book Contents 内容简介 This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
¥1314
Analytical methods for food safety by mass spectrometry 庞国芳
¥721.20定价：¥788.00 (9.16折)
【预订】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
【预售 按需印刷】ABSTRACT METHODS IN INFORMATION THEORY (S
¥1384.65
【预订】Linear Methods for the Liberal Arts 9781138062924 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138062924 Author 作者 HECKER, DAVID | ANDRILLI Format 版本 精装 Pages Number 页数 450页 Publication Date 出版日期 2018-07-20 Language 语种 英语 Book Contents 内容简介 The Linear Methods textbook covers elementary topics in linear algebra with freshman liberal arts majors as the target audience. Although the textbook includes some theoretical topics, these are covered at an elementary level. In this way, students can have some flavor of the abstract nature of linear algebra without the rigorous approach that would be expected of mathematics majors. We also include proofs of several interesting theorems and properties to give students a justification for some of the results that are presented. However, only selected statements are proved.
¥2882
【预订】Hybrid Methods for Modeling and Optimizing Complex Syste 【全球购】进口原版图书，约10-12周到达国内后发出
¥2444
【预订】Revival: Methods of Detection and Identification of Bact 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138560857 Author 作者 Mitruka, B. M.(作者) Format 版本 平装-胶订 Pages Number 页数 270页 Publication Date 出版日期 1800-01-01 Language 语种 英语
¥697.00
海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
¥662.00
【预订】Advanced Methods and Technologies in Metallurgy in Russi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319882222 Format 版本 平装-胶订 Pages Number 页数 214页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2019-06-04 Shipping Weight 商品重量 472g Language 语种 其它（含多语） Book Contents 内容简介 The book provides a comprehensive overview of the most recent and advanced work on metallurgy sciences and technologies--including material characterization of complicated alloys, heat and surface treatment, ferrous metals metallurgy, and energy savings in pyrometallurgy--in the important Ural industrial region of Russia. Until recently, research into scientific and engineering problems within Russia developed along different lines than those in Europe and North America, but nevertheless resulted in remarkable achievements utilizing different tools and methodologies than those used in the West. Many of these achievements - particular
¥1095
海外直订Golgi: Methods and Protocols Golgi: Methods and Protocol
¥2701
按需印刷医药图书Methods in Neuronal Modeling, Second Edition: From I
¥583.00
预订 Formal Methods in Computer Science 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781498775328 Author 作者 Jiacun Wang and William Tepfenhart Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 20190702 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-lev
¥1172
【预订】Numerical Methods and Methods of Approximation in Scienc 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367136727 Author 作者 Karan S. Surana Format 版本 精装 Pages Number 页数 498页 Publication Date 出版日期 2018-11-02 Language 语种 英语 Book Contents 内容简介 This unique textbook focuses on building a theoretical foundation for understanding and applying numerical methods in engineering. Readers will learn to structure sequences of operations into programs in any language; this approach builds a deep understanding of the methods and how best to apply them, backed by numerous examples and problems.
¥2380
预售 按需印刷Methods of Soil Stabilization
¥882.00
【预订】Computer Methods in Structural Analysis 美国库房发货，通常付款后3-5周到货！
¥2023
【预订】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
预订 Ordinal Methods for Behavioral Data Analysis [ISBN:978113 【全球购】进口原版图书，一般5-8周左右到国内
¥706.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车