
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书,一般5-8周左右到国内后发出
¥1816
![预订 Scaling Methods in Soil Physics [ISBN:9780849313745]](images/model/guan/url_none.png)
预订 Scaling Methods in Soil Physics [ISBN:9780849313745] 【全球购】进口原版图书,一般5-8周左右到国内
¥2997

海外直订医药图书Methods in Epidemiology: Population Size Estimation
¥1739

海外直订Kernel Methods for Machine Learning with Math and R: 100
¥554.00

【预订】Tools and Methods of Program Analysis 9783031504228 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031504228 Author 作者 Rostislav Yavorskiy Format 版本 平装-胶订 Pages Number 页数 189页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-01-13 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.44 Shipping Weight 商品重量 0.66磅 Language 语种 其它(含多语) Book Contents 内容简介 This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.
¥711.00

英文原版 Sieve Methods Exponential Sums and their Applications i
¥939.00

【预订】Modern Methods of Plant Analysis / Moderne Methoden der 【全球购】进口原版图书,一般10-12周左右到国内
¥1588

【预订】Formal Methods - The Next 30 Years: Third World Congress 【全球购】进口原版图书,一般10-12周左右到国内
¥585.00
![【预订】PCR Methods in Foods [ISBN:9781441939333]](images/model/guan/url_none.png)
【预订】PCR Methods in Foods [ISBN:9781441939333] 【全球购】进口原版图书,一般10-12周左右到国内
¥1105

【预订】Formal Methods and Software Engineering: 22nd Internatio 【全球购】进口原版图书,一般10-12周左右到国内
¥585.00

Research Methods in Second Language Acquisition - a Practic. 国外库房发货, 通常付款后2-3周到货
Product Details 基本信息 ISBN-13 书号 9781444334272 Author 作者 Alison Mackey Format 版本 平装-胶订 Pages Number 页数 334页 Publication Date 出版日期 2011-12-02 Language 语种 英语 Book Contents 内容简介 "Research Methods in Second Language Acquisition: A Practical Guide"is an informative guide to research design and methodology for graduate students and scholars. Each chapter of this volume offers background, step-by-step guidance, and relevant studies t
¥576.00

【预订】Automated Methods in Cryptographic Fault Analysis 978303 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030113322 Author 作者 Breier Format 版本 精装 Pages Number 页数 320页 Publication Date 出版日期 2019-04-14 Language 语种 英语 Book Contents 内容简介 This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automated analysis of symmetric cipher design specifications, software implementations, and hardware circuits. The second part provides automated deployment of countermeasures. The third part provides automated evaluation of countermeasures against fault attacks. Finally, the fourth part focuses on automating fault attack experiments. The presented methods enable software developers, circuit designers, and cryptographers to test and harden their products.
¥1095

【预订】Clustering Methods for Big Data Analytics: Techniques, T 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030074197 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-04-26 Language 语种 英语
¥1643

海外直订Cilia: Methods and Protocols 纤毛:方法和协议
¥616.00

【预订】Padé Methods for Painlevé Equations (2021) [ISBN:9789811 【全球购】进口原版图书,一般10-12周左右到国内
¥722.00

【预订】Ideas and Methods in Quantum and Statistical Physics 978 美国库房发货,通常付款后3-5周到货!
¥2128

【预订】Functional Methods in Quantum Field Theory and Statistic 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780367579265 Author 作者 A.N. Vasiliev Format 版本 平装-胶订 Pages Number 页数 326页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.6 Language 语种 其它(含多语) Book Contents 内容简介 Providing a systematic introduction to the techniques which are fundamental to quantum field theory, this book pays special attention to the use of these techniques in a wide variety of areas, including ordinary quantum mechanics, quantum mechanics in the second-quantized formulation, relativistic quantum field theory, Euclidean field theory, quantum statistics at finite temperature, and the classical statistics of nonideal gas and spin systems. The extended chapter on variational methods and functional Legendre transformations contains completely original mater
¥753.00

按需印刷Modern Methods in Phytomedicine 预订,预计下单后2-3周左右发货!
¥1408

现货Research Methods for Business Students
¥2720

【3-6周达】Methods in the Philosophy of Science:A User's Guide [ 【全球购】进口原版图书,约3-6周到达国内后发出
¥2043

海外直订Formal Methods for Industrial Critical Systems: 14th Int
¥662.00

海外直订Formal Methods: Foundations and Applications: 16th Brazi
¥609.00

【预售 按需印刷】Numerical Methods for Solving Fredholm Eq 北京发货,付款后10天内发货
¥952.00

海外直订Formal Methods for Multicore Programming: 15th Internati
¥559.00

海外直订Modern Methods of Optimization: Proceedings of the Summe
¥662.00

【预售 按需印刷】Counting Methods for Nowhere-Zero Flows 北京发货,付款后10天内发货
¥882.00

海外直订Modern Methods in Collisional-Radiative Modeling of Plas
¥1203

海外直订医药图书Methods of Clinical Epidemiology 临床流行病学方法
¥1325

海外直订Direct Methods for Solving Macromolecular Structures 求解大
¥2651

按需印刷Novel Methods for Solving Linear and Nonlinear Integral 预订,预计下单后2-3周左右发货!
¥1449

【预订】Operator Methods in Quantum Mechanics 9780198539612 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780198539612 Author 作者 de Lange O. L. Format 版本 精装 Pages Number 页数 390页 Publisher 出版社 Oxford University Press Publication Date 出版日期 1991-11-28 Shipping Weight 商品重量 738g Language 语种 英语 Book Contents 内容简介 The purpose of this volume is two-fold; to provide an introduction to the use of operator methods in quantum mechanics and to serve as a reference work on this topic. Although there has been much research on this, many of these results have remained scattered in the literature and therefore somewhat inaccessible to the non-specialist until now.
¥1301

【预订】Semi-Field Methods for the Environmental Risk Assessment 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781138117969 Format 版本 平装-胶订 Pages Number 页数 144页 Publication Date 出版日期 2017-06-14 Language 语种 英语
¥1076

【预订】Numerical Methods 9781108716000 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781108716000 Author 作者 Rajesh Kumar Gupta Format 版本 平装-胶订 Pages Number 页数 750页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2019-04-30 Language 语种 英语 Book Contents 内容简介 Written in an easy-to-understand manner, this comprehensive textbook brings together both basic and advanced concepts of numerical methods in a single volume. Important topics including error analysis, nonlinear equations, systems of linear equations, interpolation and interpolation for Equal intervals and bivariate interpolation are discussed comprehensively. The textbook is written to cater to the needs of undergraduate students of mathematics, computer science, mechanical engineering, civil engineering and information technology for a course on numerical methods/numerical analysis. The text simplifies the understanding of the concepts through exercises
¥966.00

按需印刷医药图书Methods in Neuronal Modeling, Second Edition: From I
¥583.00

预售 按需印刷 Methods for estimating the counterfeiting 北京发货,付款后10天内发货
¥868.00

海外直订Formal Methods for Industrial Critical Systems: 23rd Int
¥662.00

多项式方法和关联理论 英文原版 Polynomial Methods and Incidence Theory 剑桥高等
¥679.00

【预订】Numerical Methods For Solving Partial Differential Equat 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781119316114 Author 作者 George Pinder Format 版本 精装 Pages Number 页数 320页 Publication Date 出版日期 2017-12-22 Language 语种 英语
¥1706

【预订】Modern Methods in Collisional-Radiative Modeling of Plas 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319801582 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-03-18 Language 语种 英语
¥1095

【预订】Modern Methods of Geochemical Analysis, 地质学 [ISBN:978146 【全球购】进口原版图书,一般10-12周左右到国内
¥1105

预订 Ordinal Methods for Behavioral Data Analysis [ISBN:978113 【全球购】进口原版图书,一般5-8周左右到国内
¥706.00

【预订】Integral Methods in Science and Engineering, Volume 1 97 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319866130 Author 作者 Christian Constanda The University of Tulsa Tulsa OK USA Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2018-08-10 Language 语种 其它(含多语) Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. ?The first of two volumes, this work focuses on the construction of theoretical integral methods. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Integral equations ? Homogenization ? Duality methods ? Optimal design ? Conformal techniques This collection
¥1095

【预订】Digital Methods in Developing Textile Products for Peopl 【全球购】进口原版图书,一般10-12周左右到国内
¥797.00

【预订】Robust Methods for Dense Monocular Non-Rigid 3D Reconstr 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783658305666 Author 作者 Golyanik Format 版本 平装-胶订 Pages Number 页数 352页 Publisher 出版社 Vieweg+Teubner / Springer Fachmedien Wiesbaden Publication Date 出版日期 2020-06-05 Product Dimensions 商品尺寸 8.2 x 5.8 x 0.7 cm Shipping Weight 商品重量 990g Language 语种 英语 Book Contents 内容简介 Vladislav Golyanik proposes several new methods for dense non-rigid structure from motion (NRSfM) as well as alignment of point clouds. The introduced methods improve the state of the art in various aspects, i.e. in the ability to handle inaccurate point tracks and 3D data with contaminations. NRSfM with shape priors obtained on-the-fly from several unoccluded frames of the sequence and the new gravitational class of methods for point set alignment represent the primary contributions of this book.About the Author:Vladislav Golyanik is currently a post
¥985.00

海外直订Formal Methods and Software Engineering: 20th Internatio
¥662.00

【预订】Formal Methods and Software Engineering [ISBN:9783540474 【全球购】进口原版图书,一般10-12周左右到国内
¥1105

预订Research Methods: A Practical Guide for Students and Resea 【全球购】进口原版图书,一般5-8周左右到国内
¥526.00

海外直订HPLC Methods for Clinical Pharmaceutical Analysis - A Us
¥793.00

【预订】Symmetry Methods for Differential Equations: A Beginner' 美国库房发货,通常付款后3-5周到货!
¥1520

【预订】Applied Methods of Cost-Effectiveness Analysis in Health 美国库房发货,通常付款后3-5周到货!
¥994.00

【预订】Numerical Methods for Nonlinear Elliptic Differential Eq 美国库房发货,通常付款后3-5周到货!
¥1505

【预订】Numerical Methods for Solving Discrete Event Systems: Wi 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031100840 Author 作者 Grassmann Winfried Format 版本 平装-胶订 Pages Number 页数 362页 Publisher 出版社 Springer Publication Date 出版日期 2023-11-19 Language 语种 其它(含多语)
¥658.00

【预订】Formal Methods in Outer Space 9783030873479 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030873479 Author 作者 Ezio Bartocci Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-28 Language 语种 其它(含多语) Book Contents 内容简介 This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the
¥603.00

海外直订Matrix Methods for Optical Layout 光学布图的矩阵方法
¥703.00

【预订】Regression Methods for Medical Research 美国库房发货,通常付款后3-5周到货!
¥828.00

预订 Research Methods for Medical Graduates [ISBN:978103208725 【全球购】进口原版图书,一般5-8周左右到国内
¥663.00

海外直订Recent Methods from Statistics and Machine Learning for
¥496.00

预订 序列求和方法 Methods for the Summation of Series [ISBN:97810321 【全球购】进口原版图书,一般5-8周左右到国内
¥820.00

预订 SUMO: Methods and Protocols 小泛素样修饰蛋白:方法与协议: 9781071647097 国外库房发货,通常付款后3-5周到货
¥1861

海外直订DNA Methods in Food Safety DNA方法在食品安全中的应用
¥2149