【预售 按需印刷】Comparison Methods for Stochastic Models
¥2223.6
海外直订Modern Methods for Affordable Clinical Gait Analysis: Th
¥1626
【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030549961 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 575页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2
¥548.00
【预订】Iterative Methods for the Solution of Equations 97808284 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780828403122 Author 作者 J. F. Traub Format 版本 精装 Pages Number 页数 310页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1982-01-01 Language 语种 英语 Book Contents 内容简介 From the Preface (1964): "This book presents a general theory of iteration algorithms for the numerical solution of equations and systems of equations. The relationship between the quantity and the quality of information used by an algorithm and the efficiency of the algorithm is investigated. Iteration functions are divided into four classes depending on whether they use new information at one or at several points and whether or not they reuse old information. Known iteration functions are systematized and new classes of computationally effective iteration functions are introduced. Our interest in the efficient use of information is influenced by th
¥779.00
【预订】Modern Methods in Carbohydrate Synthesis 9783718659210 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783718659210 Author 作者 Shaheer H. Khan Format 版本 平装-胶订 Pages Number 页数 576页 Publication Date 出版日期 1996-03-01 Shipping Weight 商品重量 1288g Language 语种 英语
¥2311
3-6周达 Thermal Methods [ISBN:9780128219331] 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥2019
【预订】Kernel Methods for Machine Learning with Math and Python 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811904004 Author 作者 Joe Suzuki Format 版本 平装-胶订 Pages Number 页数 208页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-05-24 Language 语种 其它（含多语） Book Contents 内容简介 The most crucial ability for machine learning and data science is mathematical logic for grasping their essence rather than relying on knowledge or experience. This textbook addresses the fundamentals of kernel methods for machine learning by considering relevant math problems and building Python programs. The book’s main features are as follows:The content is written in an easy-to-follow and self-contained style.The book includes 100 exercises, which have been carefully selected and refined. As their solutions are provided in the main text, readers can solve all of the exercises by reading the book.The mathematical premises of kernels are proven
¥492.00
预订 SUMO: Methods and Protocols 小泛素样修饰蛋白：方法与协议: 9781071647097 国外库房发货，通常付款后3-5周到货
¥1861
海外直订医药图书Methods in Cell Biology: Volume 158 细胞生物学方法:第158卷
¥2847
海外直订医药图书Methods in Methane Metabolism, Part a: Methanogenesi
¥3416
预订 Standard Methods for the Examination of Water and Wastewa 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥7476
海外直订Matrix Methods: Theory, Algorithms And Applications - De
¥2494
【3-6周达】Methods for Detection of Dehalogenase [ISBN:978365932 【全球购】进口原版图书，约3-6周到达国内后发出
¥1008
【3-6周达】Formal Methods for Model-Driven Engineering: 12th Int 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Mesh Methods for Boundary-Value Problems and Applicat 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Optical Methods in Engineering Metrology [ISBN:978940 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Formal Methods Applied to Complex Systems: Implementat 【全球购】进口原版图书，预计3-6周左右到国内
¥2097
【3-6周达】Modern Methods of Food Analysis [ISBN:9789401173810] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Coring Methods and Systems, 能源与动力工程 [ISBN:97833197773 【全球购】进口原版图书，一般3-6周左右到国内
¥1395
【3-6周达】Ampk: Methods and Protocols [ISBN:9781493992492] 【全球购】进口原版图书，一般3-6周左右到国内
¥1771
【3-6周达】Design Methods for Digital Systems [ISBN:978364286189 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】The Methods of Radius-Estimating Techniques for Horiz 【全球购】进口原版图书，一般3-6周左右到国内
¥782.00
【3-6周达】Linking Methods in Critical Point Theory [ISBN:978146 【全球购】进口原版图书，一般3-6周左右到国内
¥1517
【3-6周达】Formal Methods and Software Engineering: 18th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Inverse Methods in Physical Oceanography: - Inverse Me 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥661.00
【3-6周达】Oat: Methods and Protocols [ISBN:9781493982714 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【3-6周达】Sumo: Methods and Protocols [ISBN:9781493981755 【全球购】进口原版图书，一般3-6周左右到国内
¥1385
【3-6周达】Formal Methods: An Appetizer [ISBN:9783030051556 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Mixed-Methods Research in Wellbeing and Health [ISBN:9780 【全球购】进口原版图书，一般5-8周左右到国内
¥630.00
3-6周达 Matrix Methods in the Design Analysis of Mechanisms an 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥796.00
【3-6周达】RNA: Methods and Protocols (2011) [ISBN:9781588299130 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Biomass: Methods for Volume Calculation and Energy Valori 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1515
海外直订Modern Methods in Scientific Computing and Applications
¥1325
¥1199
海外直订Formal Methods for Components and Objects
¥662.00
预订 SNAREs: Methods and Protocols 可溶解的N-乙基马来酰亚胺敏感因子附着蛋白受体：方法与 国外库房发货，通常付款后3-5周到货
¥2190
【预订】Comparison Methods and Stability Theory 9781138413320 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138413320 Author 作者 Liu Format 版本 精装 Pages Number 页数 383页 Publication Date 出版日期 2017-08-02 Language 语种 英语 Book Contents 内容简介 Based on the International Symposium on Comparison Methods and Stability Theory held in Waterloo, Ontario, Canada, this title presents advances in comparison methods and stability theory in a wide range of nonlinear problems, covering a variety of topics such as ordinary, functional, integro-, partial, and uncertain differential equations.
¥2017
海外直订New Methods of Computing Radial Distribution Functions o
¥1210
【预订】Numerical Methods in Computational Finance 9781119719670 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119719670 Author 作者 Daniel Duffy Format 版本 精装 Pages Number 页数 544页 Publisher 出版社 Wiley Publication Date 出版日期 2022-02-10 Product Dimensions 商品尺寸 16.83 x 24.45 cm. Language 语种 其它（含多语） Book Contents 内容简介 Numerical Methods in Computational Finance: A Partial Differential Equation (PDE/FDM) Approach defines a repeatable process to introduce PDEs in finance, analyse them mathematically, devise robust and accurate numerical algorithms to approximate these PDEs and then map these algorithms to C++ and C#. Written in an incremental way in order to facilitate a range of readers at various skill levels and experience, each chapter contains hands-on exercises and projects that form an integral part of the text. The book consists of eight parts. Each part contains several chapters and deals with a single autonomous topic: PDEs (g
¥1079
【预售 按需印刷】Research Methods in the Health Sciences
¥745.45
【预售 按需印刷】Multigrid Methods on GPUs 北京发货，付款后10天内发货
¥765.00
【预售 按需印刷】Hybrid Methods in Feature Selection 北京发货，付款后10天内发货
¥901.00
【预售 按需印刷】Practical Methods in Ecology
¥1017.45
海外直订Formal Methods and Software Engineering: 6th Internation
¥1325
海外直订Formal Methods for Software Engineering 软件工程的形式化方法
¥740.00
海外直订Korso: Methods, Languages, and Tools for the Constructio
¥662.00
【预订】Computer Methods in Chemical Engineering 9780367765255 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367765255 Author 作者 Ghasem Format 版本 精装 Pages Number 页数 490页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-11-24 Language 语种 其它（含多语） Book Contents 内容简介 While various software packages have become essential for performing unit operations and other kinds of processes in chemical engineering, the fundamental theory and methods of calculation must also be understood to effectively test the validity of these packages and verify the results. Computer Methods in Chemical Engineering, Second Edition presents the most used simulation software along with the theory involved. It covers chemical engineering thermodynamics, fluid mechanics, material and energy balances, mass transfer operations, reactor design, and computer applications in chemical engineering. The highly anticipated Second Edition is thoroughly updated to reflect the lat
¥2581
【预售 按需印刷】Asymptotic Methods for Integrals
¥1680.45
【预售 按需印刷】Methods of Soil and Plant Analysis
¥473.45
【预售 按需印刷】Modular Methods in the Supervisory Contro
¥996.20
【预订】Vortex Methods: Theory and Practice Y9780521621861 国外库房发货, 通常付款后12-16周到货
¥1520
【预订】Bayesian Methods: An Analysis for Statisticians and Inte 国外库房发货, 通常付款后12-16周到货
¥1124
【预售 按需印刷】Numerical Methods in Finance 2
¥1782.22
预订 Direct Methods for Limit State of Materials and Structure 国外库房发货，通常付款后3-5周到货
¥1753
预售 按需印刷Methods for the Summation of Series
¥2102.05
【预订】Research Methods in Occupational Epidemiology 美国库房发货，通常付款后3-5周到货！
¥1035
【预订】Genetic Methods and Tools for Managing Crop Pests 978981 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811902666 Author 作者 A. K. Chakravarthy Format 版本 平装-胶订 Pages Number 页数 669页 Publisher 出版社 Springer Singapore Publication Date 出版日期 2023-08-22 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.39 Shipping Weight 商品重量 2.10磅 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume aims at bringing together all the genetic engineering tools for managing various types of crop pests. The main focus of this book is to explore the application of these tools in pest management. Major pest groups covered in this book are insects, mites and nematodes.The first section covers all major genetic tools and molecular approaches. The second section deals with genetic tools for of beneficial containing three chapters involving honey bees, silkworms and natural enemies. Next section deals with genetic interactions again
¥1643
【预订】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
多项式方法和关联理论 英文原版 Polynomial Methods and Incidence Theory 剑桥高等
¥679.00
预订 Basic Methods and Protocols on Sourdough 酸面团的基本方法与协议: 978 国外库房发货，通常付款后3-5周到货
¥1314
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车