【3-6周达】Testing Methods for Fault Detection in Electronic Cir 【全球购】进口原版图书，一般3-6周左右到国内
¥953.00
【3-6周达】Modern Methods in Collisional-Radiative Modeling of P 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Numerical Methods for Chemical Engineers Using Excel, VB 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466575349 Author 作者 Victor J. Law Format 版本 精装 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2013-03-05 Shipping Weight 商品重量 544g Language 语种 英语 Book Contents 内容简介 Since many practical engineering problems must be solved numerically, this text provides instruction on using numerical methods and Excel?/VBA for chemical and biomolecular engineering problems, covering a broad range of application areas. It also includes an introduction to MATLAB? that is made easier to learn after studying the programming tools in previous chapters. Each chapter contains examples that show in detail how a particular numerical method or programming methodology can be implemented. The chapters also contain end-of-chapter exercises, with solutions provided.
¥1316
【预订】Microarray Methods and Protocols 9781420046656 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781420046656 Author 作者 Robert S. Matson Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-01-20 Shipping Weight 商品重量 408g Language 语种 英语 Book Contents 内容简介 With insight into present and future uses for microarray technology, this volume provides an overview of companies that provide arrays, the type of arrays available, array construction processes, substrate chemistry, array printing, and quality control. It focuses on nucleic acid microarrays of biomedical relevance, microarrays in drug discovery, and the application of gene expression arrays to identify drug targets and predict potential drug toxicity problems. Finally, it looks at the relatively new field of protein microarray technology, discussing its technical challenges and practical solutions.
¥2405
海外直订New Methods and Results in Non-Linear Field Equations: P
¥662.00
按需印刷DGYT Methods in Empirical Prosody Research 预订，预计下单后3-6周左右发货！
¥1552
【3-6周达】Agile Methods. Large-Scale Development, Refactoring, 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
¥662.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
【预订】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
¥818.00
【预订】Formal Methods in Manufacturing 9781138074293 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138074293 Format 版本 平装-胶订 Publication Date 出版日期 2017-11-22 Language 语种 英语
¥1307
【预订】Ideas and Methods in Quantum and Statistical Physics 978 国外库房发货, 通常付款后12-16周到货
¥2128
【预订】Formal Methods for an Informal World 9783031436772 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031436772 Author 作者 Antonio Cerone Format 版本 平装-胶订 Pages Number 页数 171页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-20 Language 语种 其它（含多语） Book Contents 内容简介 This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understandi
¥548.00
预订 Formal Methods Teaching 7th Formal Methods Teaching Works 国外库房发货，通常付款后3-5周到货
¥575.00
【预订】Vortex Methods: Theory and Practice Y9780521621861 国外库房发货, 通常付款后12-16周到货
¥1520
【预订】Bayesian Methods: An Analysis for Statisticians and Inte 国外库房发货, 通常付款后12-16周到货
¥1124
【预订】Rank-Based Methods for Shrinkage and Selection 978111962 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119625391 Author 作者 A.K. Md. Ehsanes Saleh Format 版本 精装 Pages Number 页数 480页 Publisher 出版社 Wiley Publication Date 出版日期 2022-02-28 Product Dimensions 商品尺寸 15.24 x 22.86 cm. Language 语种 其它（含多语） Book Contents 内容简介 The book aims to accumulate the different theory and methods for selection and shrinkage estimation based on rank order. These theories are intended to be systematically organized to serve as a guide for researchers in this field. Ridge regression and LASSO are at the center of all penalty estimators in a range of standard models that are used in many applied statistical analysis and machine learning. Written by noted experts in this field, this book contains a through introduction to robust rank-based penalty and shrinkage estimations and explores role of ridge, LASSO and Elastic Net play in the computer intu
¥1589
【预售 按需印刷】Numerical Methods in Finance 2
¥1782.22
【3-6周达】高被引NMR Methods for the Investigation of Structure and 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
海外直订Formal Methods and Software Engineering: 9th Internation
¥662.00
【预订】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
【预订】Research Methods in Occupational Epidemiology 美国库房发货，通常付款后3-5周到货！
¥1035
海外直订Mixed Methods Research in the Movement Sciences 运动科学中的混合
¥2353
【3-6周达】Toyota Methods and Operating Models: Achieve Business 【全球购】进口原版图书，一般3-6周左右到国内
¥685.00
海外直订Formal Methods for Software Engineering: Languages, Meth
¥936.00
海外直订Metric Methods for Analyzing Partially Ranked Data 部分排序数
¥2253
海外直订Formal Methods for Open Object-Based Distributed Systems
¥2651
【预售 按需印刷】Laboratory methods of soil testing in Con 北京发货，付款后10天内发货
¥1980
海外直订Formal Methods and Software Engineering: 23rd Internatio
¥662.00
海外直订Tracer Methods in Hormone Research 激素研究中的示踪方法
¥1325
【3-6周达】Formal Methods: Foundations and Applications: 20th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【预订】Numerical Methods for Partial Differential Equations - a 美国库房发货，通常付款后3-5周到货！
¥1170
【预订】Modern Methods Of Polymer Characterization 美国库房发货，通常付款后3-5周到货！
¥4994
【预订】Simulation Methods for Polymers 美国库房发货，通常付款后3-5周到货！
¥3842
【预订】Advanced Methods Of Biomedical Signal Processing 美国库房发货，通常付款后3-5周到货！
¥1623
【预订】Integral Methods in Science and Engineering, Volume 1 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319593838 Author 作者 Constanda Format 版本 精装 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2017-09-18 Shipping Weight 商品重量 707g 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 will be of interest to researcher
¥1095
【预订】Formal Methods Teaching 9783030324407 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030324407 Author 作者 Brijesh Dongol Format 版本 平装-胶订 Pages Number 页数 245页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-16 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers werecarefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
¥548.00
【预订】Formal Methods for Distributed Processing: A Survey 国外库房发货, 通常付款后12-16周到货
¥1783
海外直订Formal Methods for Safety and Security 安全与保安的正式方法
¥1337
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
海外直订Modern Methods of Speech Processing 现代语音处理方法
¥1988
海外直订医药图书Methods of Protein Microcharacterization: A Practica
¥1325
【3-6周达】Methods for studying nonlinear boundary value problem 【全球购】进口原版图书，一般3-6周左右到国内
¥676.00
【预订】Design Methods and Applications for Distributed Embedded 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
预订 Nuclear Methods in Science and Technology [ISBN:978036745 【全球购】进口原版图书，一般5-8周左右到国内
¥622.00
【预订】Automatic Methods for the Refinement of System Models 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319414799 Author 作者 Julia Seiter Verden Germany Format 版本 平装-胶订 Pages Number 页数 94页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-07-11 Shipping Weight 商品重量 174g Language 语种 英语 Book Contents 内容简介 This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single de*ion for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated de*ions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement
¥548.00
海外直订NMR Methods for Characterization of Synthetic an... 合成聚合
¥2736
海外直订Modern Methods for Business Research 商业研究的现代方法
¥1135
海外直订EEG Methods for the Psychological Sciences 心理科学的脑电图方法
¥3291
海外直订医药图书Methods of Partial Deafness Treatment 部分耳聋的治疗方法
¥1997
海外直订Modern Methods for Business Research 现代商业研究方法
¥2353
海外直订Modern Methods in Analytical Morphology 现代分析形态学方法
¥662.00
预订 Basic Methods in Protein Purification and Analysis: A Lab 【全球购】进口原版图书，一般5-8周左右到国内
¥764.00
海外直订Formal Methods for Embedded Distributed Systems: How to
¥1325
按需印刷Mixed Methods Research for Improved Scientific Study 预订，预计下单后2-3周左右发货！
¥2483
海外直订Modern Methods of Construction and Innovative Materials
¥752.00
海外直订Mixed Methods in Criminology 犯罪学中的混合方法
¥2353
海外直订New Methods in Reading Comprehension Research 阅读理解研究的新方法
¥529.00
海外直订医药图书Methods for Studying Nucleic Acid/Drug Interactions
¥943.00
海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法
¥2651
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车