海外直订医药图书Methods for Studying Nucleic Acid/Drug Interactions
¥943.00
海外直订医药图书Methods in Comparative Effectiveness Research 比较有效性研
¥1710
预订 Optical Methods of Engineering Analysis 工程分析的光学方法 9780521 国外库房发货, 通常付款后12-16周到货
¥780.00
【预订】Geometric Methods in Physics XXXVII: Workshop and Summer 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030340742 Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Birkhauser Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 870g Language 语种 其它（含多语）
¥1643
海外直订医药图书Methods in Epidemiology: Population Size Estimation
¥1739
海外直订Linear Methods: A General Education Course 线性方法:通识教育课程
¥1381
海外直订Kernel Methods for Machine Learning with Math and R: 100
¥554.00
【预订】Proteomic Methods in Neuropsychiatric Research 978331952 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319524788 Author 作者 Guest Format 版本 精装 Pages Number 页数 381页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-04-01 Language 语种 英语 Book Contents 内容简介 Due to continuous technical developments and new insights into the high complexity of neurological diseases, there is an increasing need for the application of proteomic technologies which can yield potential biomarker readouts for improved clinical management as well as for the development of new drugs by struggling pharmaceutical companies. This book describes the step-by-step use of proteomic methods such as two-dimensional gel electrophoresis, multiplex immunoassay, liquid chromatography mass spectrometry (LC-MS) and selective reaction monitoring MS, to increase our understanding of these diseases, with the ultimate aim of improving patient care.The volume will be of high interest to
¥1753
【预订】Meshfree Methods for Partial Differential Equations VIII 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319519531 Author 作者 Schweitzer, Marc Alexander Format 版本 精装 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-05-01 Language 语种 英语 Book Contents 内容简介 There have been substantial developments in meshfree methods, particle methods, and generalized finite element methods since the mid 1990s. The growing interest in these methods is in part due to the fact that they offer extremely flexible numerical tools and can be interpreted in a number of ways. For instance, meshfree methods can be viewed as a natural extension of classical finite element and finite difference methods to scattered node configurations with no fixed connectivity. Furthermore, meshfree methods have a number of advantageous features that are especially attractive when dealing with multiscale phenomena: A-priori knowledge about the solution’s particular local behavior can easily be
¥1095
Elementary Methods of Graph Ramsey Theory 9783031127618
Product Details 基本信息 ISBN-13 书号 9783031127618 Author 作者 Li Yusheng Format 版本 精装 Pages Number 页数 346页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.81 Shipping Weight 商品重量 1.50 Language 语种 其它（含多语）
¥1156
【预订】Formal Methods and Software Engineering 9789819975839 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789819975839 Author 作者 Yi Li Format 版本 平装-胶订 Pages Number 页数 288页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-23 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.
¥711.00
【预订】Physical Methods of Chemistry, Investigations of Surface 美国库房发货，通常付款后3-5周到货！
¥6438
【预订】Stochastic Methods in Neuroscience 美国库房发货，通常付款后3-5周到货！
¥1505
【预售 按需印刷】Modern Methods of Teaching
¥981.75
【预订】Iterative Methods in Combinatorial Optimization 97811070 国外库房发货, 通常付款后12-16周到货
¥1110
海外直订Formal Methods. FM 2019 International Workshops: Porto,
¥662.00
海外直订Formal Methods and Software Engineering: 16th Internatio
¥662.00
【预售 按需印刷】Formal Methods for Analyzing Privacy Policies
¥1111.8
【预售 按需印刷】INVERSE METHODS FOR ATMOSPHERIC SOUNDING
¥1173
海外直订Formal Methods for Trustworthy Computer Systems (Fm89):
¥662.00
海外直订Kernel Methods for Machine Learning with Math and Python
¥616.00
【预售 按需印刷】BIOLOGICAL METHODS OF WASTE TREATMENT AND 北京发货，付款后10天内发货
¥1123
海外直订Data, Methods and Theory in the Organizational Sciences:
¥738.00
【预售 按需印刷】Data-Based Methods for Materials Design a
¥950.30
【预订】Meshless Methods and Their Numerical Properties 97811380 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138072312 Author 作者 LI Format 版本 平装-胶订 Pages Number 页数 448页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-03-29 Shipping Weight 商品重量 830g Language 语种 其它（含多语） Book Contents 内容简介 A comprehensive introduction to meshless methods, this book gives complete mathematical formulations for the most important and classical methods, as well as several recently developed by the authors. It also offers a rigorous mathematical treatment of their numerical properties—including consistency, convergence, stability, and adaptivity—to help you choose the method that is best for your needs. The book contains several examples of engineering applications, including the nonlinear fluid-structure analysis of near-bed submarine pipelines and the two-dimensional multiphysics simulation of pH-sensitive hydrogels.
¥1316
【预订】Control Methods for Electrical Machines 9781848210936 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848210936 Author 作者 Rene Husson Format 版本 精装 Pages Number 页数 384页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2009-05-11 Shipping Weight 商品重量 710g Language 语种 英语 Book Contents 内容简介 The type of control system used for electrical machines depends on the use (nature of the load, operating states, etc.) to which the machine will be put. The precise type of use determines the control laws which apply. Mechanics are also very important because they affect performance. Another factor of essential importance in industrial applications is operating safety. Finally, the problem of how to control a number of different machines, whose interactions and outputs must be coordinated, is addressed and solutions are presented
¥2315
【预售 按需印刷】Analytical Methods for Balofloxacin
¥539.75
【预订】Numerical Methods for Metamaterial Design 9789400799226 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789400799226 Author 作者 Kenneth Diest Format 版本 平装-胶订 Pages Number 页数 213页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2015-08-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 361g Language 语种 英语 Book Contents 内容简介 This book describes a relatively new approach for the design of electromagnetic metamaterials.? Numerical optimization routines are combined with electromagnetic simulations to tailor the broadband optical properties of a metamaterial to have predetermined responses at predetermined wavelengths.After a review of both the major efforts within the field of metamaterials and the field of mathematical optimization, chapters covering both gradient-based and derivative-free design methods are considered.? Selected topics including surrogate-base optimization, adaptive mesh sear
¥1643
海外直订New Methods of Polymer Synthesis 高分子合成的新方法
¥662.00
【预订】Current Methods in Muscle Physiology 9780198523970 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780198523970 Author 作者 Sugi Format 版本 精装 Pages Number 页数 384页 Publisher 出版社 Oxford University Press Publication Date 出版日期 1998-01-22 Shipping Weight 商品重量 787g Language 语种 英语 Book Contents 内容简介 Despite extensive physiological, biochemical, and structural studies, the mechanisms of muscle contraction operating in living muscle fibres are still not well understood. This book aims to describe critically various experimental methods currently used in the field of muscle research. For each method discussed, there is a comprehensive de*ion of its advantages, problems, and limitations. Each chapter also contains a summary of the central results to have been obtained using each method. Comprehensively written by experts in their respective fields, this book will be of interest to all investigators with an interest in muscle physiology.
¥2380
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
¥1108
【预订】Mixed Methods for Psychological Measurement: Using Criti 【全球购】进口原版图书，约10-12周到达国内后发出
¥643.00
按需印刷Data, Methods and Theory in the Organizational Sciences: 预订，预计下单后3-4周左右发货！
¥567.00
海外直订New Methods of Food Preservation 食品保鲜新方法
¥1988
【预售 按需印刷】Chemical Methods for Microarray Fabricati
¥922.25
【预售 按需印刷】Research Methods for the Fashion Industry
¥1178.1
【3-6周达】Formal Methods and Software Engineering: 17th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 New Methods for the Study of Biomolecular Complexes [ISBN 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥1983
【3-6周达】Aging: Methods and Protocols (2020) [ISBN:97810716059 【全球购】进口原版图书，一般3-6周左右到国内
¥1298
【3-6周达】Dynein: Methods and Protocols [ISBN:9781071629604] 【全球购】进口原版图书，一般3-6周左右到国内
¥1395
按需印刷Formal Methods in Manufacturing Systems 预订，预计下单后2-3周左右发货！
¥2485
【3-6周达】The Methods of Distances in the Theory of Probability 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
按需印刷Mesh Methods:Numerical Analysis and Experiments 预订，预计下单后2-3周左右发货！
¥496.00
【预售 按需印刷】Innovative Methods for Analyzing and Forecasting Wo
¥1073.55
【预售 按需印刷】Practical Methods of Optimization 2e 北京发货，付款后10天内发货
¥1106.65
【预售 按需印刷】 Modern methods in protein chemistry 北京直发，付款后10日内发货
¥1320
【预售 按需印刷】Research Methods in Language P 北京发货，付款后10天内发货
¥513.46
预订 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
【预订】Computer Methods, Imaging and Visualization in Biomechan 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030431945 Author 作者 Ateshian Format 版本 精装 Pages Number 页数 657页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-01 Language 语种 英语 Book Contents 内容简介 This book gathers selected, extended and revised contributions to the 16th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, and the 4th Conference on Imaging and Visualization (CMBBE 2019), held on August 14-16, 2019, in New York City, USA. It reports on cutting-edge models and algorithms for studying various tissues and organs in normal and pathological conditions; innovative imaging and visualization techniques; and the latest diagnostic tools. Further topics addressed include: numerical methods, machine learning approaches, FEM models, and high-resolution imaging and real-time visualization methods applied for biomedical purposes.
¥1643
【3-6周达】Modern Methods of Geochemical Analysis, 地质学 [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订Research Methods: A Practical Guide for Students and Resea 【全球购】进口原版图书，一般5-8周左右到国内
¥526.00
海外直订Novel Methods in Molecular and Cellular Biochemistry of
¥3976
【3-6周达】Methods in Membrane Biology [ISBN:9781475758191] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Software Engineering [ISBN:9783540 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Kernel Methods for Remote Sensing Data Analysis 美国库房发货，通常付款后3-5周到货！
¥1975
【预订】Wavelet Methods for Elliptic Partial Differential Equati 美国库房发货，通常付款后3-5周到货！
¥2135
【预订】Global Methods for Combinatorial Isoperimetric Problems 国外库房发货, 通常付款后12-16周到货
¥1243
【预订】Many-Body Methods for Atoms, Molecules and Clusters 9783 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319936017 Author 作者 Schirmer Format 版本 精装 Pages Number 页数 359页 Publication Date 出版日期 2018-08-28 Language 语种 英语 Book Contents 内容简介 This book provides an introduction to many-body methods for applications in quantum chemistry. These methods, originating in field-theory, offer an alternative to conventional quantum-chemical approaches to the treatment of the many-electron problem in molecules. Starting with a general introduction to the atomic and molecular many-electron problem, the book then develops a stringent formalism of field-theoretical many-body theory, culminating in the diagrammatic perturbation expansions of many-body Green’s functions or propagators in terms of Feynman diagrams. It also introduces and analyzes practical computational methods, such as the field-tested algebraic-diagrammatic construction (ADC) schemes. The ADC concept can als
¥1861
【预订】Analytical Methods in Petroleum Upstream Applications 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367575946 Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 630g Language 语种 英语 Book Contents 内容简介 Effective measurement of the composition and properties of petroleum is essential for its exploration, production, and refining; however, new technologies and methodologies are not adequately documented in much of the current literature. Analytical Methods in Petroleum Upstream Applications explores advances in the analytical methods and instrumentation that allow more accurate determination of the components, classes of compounds, properties, and features of petroleum and its fractions. Recognized experts explore a host of topics, including:A petroleum molecular composition continuity model as a context for other analytical measurements A modern modular sampling system f
¥766.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车