海外直订Formal Methods for Software Engineering 软件工程的形式化方法
¥740.00
海外直订Korso: Methods, Languages, and Tools for the Constructio
¥662.00
海外直订Oat: Methods and Protocols OAT：方法和协议
¥1605
海外直订Formal Methods for Industrial Critical Systems: 29th Int
¥735.00
【预售 按需印刷】Advanced Methods for Seismic Performance
¥500.00
【预订】Advanced Methods for Geometric Modeling and Numerical Si 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030273330 Author 作者 Giannelli Format 版本 平装-胶订 Pages Number 页数 238页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-09-30 Language 语种 英语 Book Contents 内容简介 This book gathers selected contributions presented at the INdAM Workshop “DREAMS”, held in Rome, Italy on January 2226, 2018. Addressing cutting-edge research topics and advances in computer aided geometric design and isogeometric analysis, it covers distinguishing curve/surface constructions and spline models, with a special focus on emerging adaptive spline constructions, fundamental spline theory and related algorithms, as well as various aspects of isogeometric methods, e.g. efficient quadrature rules and spectral analysis for isogeometric B-spline discretizations. Applications in finite element and boundary element methods are also discussed. Given its sco
¥1533
海外直订Mixed Methods Research Design for the Built Envi... 建筑环境
¥2353
预订 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
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
【3-6周达】Formal Methods for Industrial Critical Systems: 24th 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
海外直订Formal Methods for Embedded Distributed Systems: How to
¥1325
海外直订Modern Methods for Business Research 商业研究的现代方法
¥1135
海外直订NMR Methods for Characterization of Synthetic an... 合成聚合
¥2736
海外直订EEG Methods for the Psychological Sciences 心理科学的脑电图方法
¥3291
海外直订医药图书Methods of Partial Deafness Treatment 部分耳聋的治疗方法
¥1997
海外直订Modern Methods for Business Research 现代商业研究方法
¥2353
【预订】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
【中商原版】Asymptotic Methods In The Theory Of Plates With Mixed IgorAndrianov
¥1673
【3-6周达】Newton Methods for Nonlinear Problems: Affine Invaria 【全球购】进口原版图书，一般3-6周左右到国内
¥868.00
【3-6周达】Formal Methods for Mining Structured Objects [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Cilia: Methods and Protocols [ISBN:9781493937875 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Current Methods in Forensic Gunshot Residue Analysis [ISB 【全球购】进口原版图书，一般5-8周左右到国内
¥2181
海外直订Formal Methods and Testing: An Outcome of the Fortest Ne
¥662.00
【3-6周达】Crispr: Methods and Protocols [ISBN:9781493926862] 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【3-6周达】Dengue: Methods and Protocols [ISBN:9781493943715] 【全球购】进口原版图书，一般3-6周左右到国内
¥1385
海外直订医药图书Methods for Stability Testing of Pharmaceuticals 药品稳
¥1048
预订 按需印刷 Methods, Measures, and Theories in Eyewitness Identi
¥553.35
【预订】Formal Methods in Manufacturing 9781138074293 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138074293 Format 版本 平装-胶订 Publication Date 出版日期 2017-11-22 Language 语种 英语
¥1307
【预订】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
海外直订医药图书Methods for Investigating Localized Clustering of Di
¥598.00
预订 按需印刷 Methods in Chemosensory Research
Written by world experts in the field of neuronal chemoreception, Methods in Chemosensory Research describes new molecular, electrophysiological, genetic, behavioral, psychophysical, and imaging techniques that have recently been adapted to investigate the basic neuronal mechanisms underlying chemoreception: taste, olfaction and chemical-induced irritation. This unique book includes a wide variety of new and innovative imaging methods, electrophysiological methods, methods to investigate development, and various aspects of behavioral testing. Covering the entire spectrum of chemoreception, each section not only describes what information can be obtained by using each method, but also shows how to apply each method to obtain reliable results. The book presents a comprehensive view of how the brain uses information about chemical stimuli that interact with receptors in the nose and tongue. Methods in Chemosensory Research gives you the new tools to learn how chemicals affect activity from the genetic to
¥2047.65
按需印刷Mixed Methods in Criminology 预订，预计下单后2-3周左右发货！
¥1512
按需印刷Kernel Methods and Estimation of Extreme Value Index 预订，预计下单后2-3周左右发货！
¥1067
【预售 按需印刷】Physical Methods in Chemistry and Nano Sc 北京发货，付款后10天内发货
¥693.00
【预售 按需印刷】Numerical Methods for Ordinary
¥2146.25
海外直订Field Methods for Geologists and Hydrogeologists 地质学家和水文
¥1988
海外直订Data, Methods and Theory in the Organizational Sciences:
¥2353
【预订】Research Methods in Language Policy and Planning 9781118 美国库房发货，通常付款后3-5周到货！
¥635.00
海外直订Direct Methods in the Calculus of Variations 变分法中的直接方法
¥1693
【预订】Numerical Methods in Finance and Economics: A MATLAB-Bas 美国库房发货，通常付款后3-5周到货！
¥2213
【预订】Scientific Methods and Cultural Heritage: An Introductio 美国库房发货，通常付款后3-5周到货！
¥1854
【预订】Interval Methods for Systems of Equations 9780521331968 美国库房发货，通常付款后3-5周到货！
¥1520
海外直订Formal Methods in Software and Systems Modeling: Essays
¥662.00
海外直订Vortex Methods: Theory and Practice 旋涡法：理论与实践
¥1849
海外直订Agile Methods. Large-Scale Development, Refactoring, Tes
¥559.00
【预售 按需印刷】Matrices Methods and Applications
¥1213.8
预订 Nuclear Methods in Science and Technology [ISBN:978036745 【全球购】进口原版图书，一般5-8周左右到国内
¥622.00
【预订】Direct Methods 9783030488338 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030488338 Format 版本 精装 Pages Number 页数 243页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-09-07 Language 语种 英语 Book Contents 内容简介 This book provides an overview of direct methods such as limit and shakedown analysis, which are intended to do away with the need for cumbersome step-by-step calculations and determine the loading limits of mechanical structures under monotone, cyclic or variable loading with unknown loading history. The respective contributions demonstrate how tremendous advances in numerical methods, especially in optimization, have contributed to the success of direct methods and their practical applicability to engineering problems in structural mechanics, pavement and general soil mechanics, as well as the design of composite materials.The content reflects the outcomes of the workshop “Direct Methods: Methodol
¥1643
现货Research Methods for Business Students
¥2720
【3-6周达】Modern Methods of Geochemical Analysis, 地质学 [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Methods in Membrane Biology [ISBN:9781475758191] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Software Engineering [ISBN:9783540 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订Research Methods: A Practical Guide for Students and Resea 【全球购】进口原版图书，一般5-8周左右到国内
¥526.00
[预定]Ensemble Methods: Foundations and Algorithms 海外预定商品，预计60-90天发货，非质量问题不支持退货
.
¥1037.4
【预订】Exocytosis Methods 9781493963294 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493963294 Author 作者 Peter Thorn Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 507g Language 语种 英语 Book Contents 内容简介 Bringing together techniques and methods currently being applied to the study of exocytosis, Exocytosis Methods collects chapters from experts in the field, examining this fundamental process essential to functions ranging from protein secretion to hormone release and neurotransmission.? The book begins with a section covering a range of techniques being applied to the study of single-vesicle fusion events, which are key in order to gain insight into the final steps of vesicle fusion.? The volume continues with several model systems that are being employed to unravel the complexiti
¥1150
【预售 按需印刷】Physical Methods in Chemistry and Nano Sc 北京发货，付款后10天内发货
¥570.00
海外直订医药图书Methods in Neuroendocrinology 神经内分泌学方法
¥765.00
【预订】Spectral Methods Using Multivariate Polynomials On The U 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367345471 Author 作者 Kendall Atkinson Format 版本 精装 Pages Number 页数 262页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-11-08 Language 语种 英语 Book Contents 内容简介 Spectral Methods Using Multivariate Polynomials on the Unit Ball is a research level text on a numerical method for the solution of partial differential equations. The authors introduce, illustrate with examples, and analyze ’spectral methods’ that are based on multivariate polynomial approximations.
¥2569
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车