
【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781566702614 Author 作者 James K. Hallenburg Format 版本 精装 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 1997-12-29 Shipping Weight 商品重量 907g Language 语种 英语 Book Contents 内容简介 Non-Hydrocarbon Methods of Geophysical Formation Evaluation discusses uses of formation evaluation in environmental science and engineering, hydrogeology, and other fields outside the petroleum industry, and demonstrates how the standard methods can be adapted to these non-hydrocarbon purposes. It presents step-by-step instructions for photon, magnetic, nuclear, and acoustic methods of exploration, and gives special attention to the analytical techniques used in non-hydrocarbon exploration.
¥2561

【预订】Field Methods for Petroleum Geologists: A Guide to Compu 【全球购】进口原版图书,一般10-12周左右到国内
¥1105

【预订】Newton Methods for Nonlinear Problems: Affine Invariance 【全球购】进口原版图书,一般10-12周左右到国内
¥1202

预订 Research Methods: Concepts, Methodologies, Tools, and App 【全球购】进口原版图书,一般10-12周左右到国内后发出
¥6018
![预订 Formal Methods in Computer Science [ISBN:9781498775328]](images/model/guan/url_none.png)
预订 Formal Methods in Computer Science [ISBN:9781498775328] 【全球购】进口原版图书,一般5-8周左右到国内
¥1052

海外直订医药图书Methods in Neuroendocrinology 神经内分泌学方法
¥765.00

预订Research Methods:A Practical Guide for the Social Sciences 预订,预计下单后2-3周左右发货!
¥858.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.
¥2306

【预订】Formal Methods: Foundations and Applications 97830306388 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030638818 Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-20 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic S
¥711.00

海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法
¥1988

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

海外直订piRNA: Methods and Protocols 方法和协议
¥2713

【预订】Level Set Methods for Fluid-Structure Interaction 978303 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031086588 Author 作者 Georges-Henri Cottet Format 版本 精装 Pages Number 页数 196页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-21 Language 语种 其它(含多语) Book Contents 内容简介 This monograph is devoted to the study of Eulerian models for fluid-structure interaction from the original point of view of level set methods.In the last 15 years, Eulerian models have become popular tools for studying fluid-structure interaction problems. One major advantage compared to more conventional methods such as ALE methods is that they allow the use of a single grid and a single discretization method for the different media. Level set methods in addition provide a general framework to follow the fluid-solid interfaces, to represent the elastic stresses of solids, and to model the contact forces between solids.This book offers a combina
¥1095

【预订】Research Methods in Building Science and Technology 9783 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030736941 Author 作者 Rahman Azari Format 版本 平装-胶订 Pages Number 页数 180页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-10 Language 语种 其它(含多语) Book Contents 内容简介 This book covers the range of methodological approaches, methods and tools currently used in various areas of building science and technology research and addresses the current lack of research-method literature in this field. The book covers the use of measurement-based methods in which data is collected by measuring the properties and their variations in ‘actual’ physical systems, simulation-based methods which work with ‘models’ of systems or processes to describe, examine and analyze their behaviors, performances and operations, and data-driven methodologies in which data is collected via measurement or simulation to identify and exami
¥2409

【预订】Formal Methods for Software Engineering: Languages, Meth 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030388027 Author 作者 Roggenbach Markus Format 版本 平装-胶订 Pages Number 页数 524页 Publisher 出版社 Springer Publication Date 出版日期 2023-07-07 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.13 Shipping Weight 商品重量 1.70 Language 语种 其它(含多语)
¥603.00

【预订】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

【预售 按需印刷】Research Methods for Education in the Digital Age
¥1203.6

海外直订Novel Methods in Soft Matter Simulations 软物质模拟的新方法
¥662.00

海外直订Asymptotic Methods in Statistical Decision Theory 统计决策理论
¥4374

海外直订Formal Methods: 22nd International Symposium, FM 2018, H
¥1070

海外直订Extraction Methods in Organic Analysis 有机分析中的萃取方法
¥2020

海外直订PCR Methods in Foods 食品中的PCR方法
¥1325

海外直订New Methods Polymer Synthesis 高分子合成新方法
¥662.00

【预订】Advanced Methods in Structural Biology 9784431567585 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9784431567585 Author 作者 Toshiya Senda High Energy Accelerator Research Organization Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-06-07 Language 语种 英语 Book Contents 内容简介 This book provides practical information on a whole set of protein experiments for advanced structural biology, such as X-ray crystallography, NMR, electron microscopy, advanced mass spectroscopy, and surface plasmon resonance, as well as a wide variety of expression systems including eukaryotic and in vitro expression. In the past decade, structural genomics studies have pushed forward the development of automated methods in the field of structural biology, however there is an increasing need for the structural analysis of difficult targets, such as large protein complexes and membrane proteins, which are hard to achieve using conventional automa
¥1095

【预订】Applied Methods of Cost-Benefit Analysis in Health Care 【全球购】进口原版图书,一般10-12周左右到国内
¥922.00

【预订】Formal Methods for Industrial Critical Systems: 12th Int 【全球购】进口原版图书,一般10-12周左右到国内
¥585.00
![【预订】New Methods of Concurrent Checking [ISBN:9781402084195]](images/model/guan/url_none.png)
【预订】New Methods of Concurrent Checking [ISBN:9781402084195] 【全球购】进口原版图书,一般10-12周左右到国内
¥1105

预订 Dynamic Methods and Process Advancements in Mec [ISBN:978 【全球购】进口原版图书,一般5-8周左右到国内
¥2381
![【预订】Phloem: Methods and Protocols [ISBN:9781493995615]](images/model/guan/url_none.png)
【预订】Phloem: Methods and Protocols [ISBN:9781493995615] 【全球购】进口原版图书,一般10-12周左右到国内
¥2924

【预订】Counting Methods for Nowhere-Zero Flows [ISBN:9783844324 【全球购】进口原版图书,一般10-12周左右到国内
¥651.00

预订 Modern Methods in Scientific Computing and Applications [ 【全球购】进口原版图书,一般10-12周左右到国内后发出
¥1213

预订 Formal Methods: Industrial Use from Model to the Code [IS 【全球购】进口原版图书,预计10-12周左右到国内
¥1708

【预订】Modern Methods in the Calculus of Variations [ISBN:97814 【全球购】进口原版图书,一般10-12周左右到国内
¥585.00

【预订】Geometric Methods in Physics XXXVIII 9783030533045 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030533045 Author 作者 Kielanowski Format 版本 精装 Pages Number 页数 390页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2021-01-05 Language 语种 其它(含多语) Book Contents 内容简介 The book consists of articles based on the XXXVIII Biaowie?a Workshop on Geometric Methods in Physics, 2019. The series of Bia?owie?a workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. The works in this book, based on presentations given at the workshop, are previously unpublished, at the cutting edge of current research, typically grounded in geometry and analysis, with applications to classical and quantum physics.For the past eight years, the Bia?owie?a Workshops have been complemented by a School on Geometry and Physics, comprising series of advanced lectures for graduate stu
¥1753

海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的
¥1422

海外直订Modern Methods for Musicology 现代音乐学方法
¥807.00

海外直订Matrix Methods of Structural Analysis 结构分析的矩阵法
¥1915

【预订】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

海外直订Formal Methods for the Design of Real-Time Systems: Inte
¥662.00

海外直订Agile Methods: 9th Brazilian Workshop, Wbma 2018, Campin
¥662.00

海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法
¥2651

海外直订Formal Methods and Models for System Design: A System Le
¥2120

Research Methods for the Behavioral Sciences 行为科学研究方法 第6版 英文
¥664.00

海外直订Formal Methods for Industrial Critical Systems: 19th Int
¥636.00

海外直订Modern Methods in Scientific Computing and Applications
¥1337

【预订】Numerical Methods for Time-Resolved Quantum Nanoelectron 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319876153 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-05-18 Language 语种 英语 Book Contents 内容简介 This thesis develops novel numerical techniques for simulating quantum transport in the time domain and applies them to pertinent physical systems such as flying qubits in electronic interferometers and superconductor/semiconductor junctions hosting Majorana bound states (the key ingredient for topological quantum computing). In addition to exploring the rich new physics brought about by time dependence, the thesis also develops software that can be used to simulate nanoelectronic systems with arbitrary geometry and time dependence, offering a veritable toolbox for exploring this rapidly growing domain.
¥1095

预订 Numerical Methods for Fluid Dynamics 9781441964113 国外库房发货,通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781441964113 Author 作者 Durran Format 版本 精装 Pages Number 页数 516页 Publication Date 出版日期 2010-09-23 Shipping Weight 商品重量 955g Language 语种 英语
¥1034

【预订】Numerical Methods and Applications 9783030106911 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030106911 Author 作者 Nikolov Format 版本 平装-胶订 Pages Number 页数 500页 Publication Date 出版日期 2019-01-18 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Numerical Methods and Applications, NMA 2018, held in Borovets, Bulgaria, in August 2018.The 56 revised regular papers presented were carefully reviewed and selected from 61 submissions for inclusion in this book. The papers are organized in the following topical sections: numerical search and optimization; problem-driven numerical method: motivation and application, numerical methods for fractional diffusion problems; orthogonal polynomials and numerical quadratures; and Monte Carlo and Quasi-Monte Carlo methods.
¥548.00

【预订】Formal Methods for Safety and Security: Case Studies for 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811350542 Format 版本 平装-胶订 Pages Number 页数 132页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1205

【预订】Research Methods in Kinesiology and the Health Sciences 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780781797740 Author 作者 Hall Format 版本 精装 Pages Number 页数 385页 Publisher 出版社 Lippincott Williams & Wilkins (LWW) Publication Date 出版日期 2014-02-24 Shipping Weight 商品重量 1600g Language 语种 英语 Book Contents 内容简介 Wolters Kluwer Health is pleased to introduce this innovative first edition by acclaimed authors Susan Hall and Nancy Getchell aimed at helping students learn vital research skills in an accessible manner.? Designed for introductory research methods courses at the beginning graduate and undergraduate levels; Research Methods in Kinesiology includes all major topics conventionally addressed in introductory research methods texts. Taking a practical approach; this book focuses on topics directly related to development of research proposals; since these topics are most relevant to beginning researchersWith unique chapters on r
¥1175

预订 按需印刷 Methods of Mathematical Modelling
¥509.15

【预订】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

海外直订Latest Methods of Construction Design 建筑设计的最新方法
¥1739

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

【预订】Formal Methods for the Analysis of Biomedical Ontologies 【全球购】进口原版图书,一般10-12周左右到国内
¥722.00
![【预订】Test Methods for Explosives [ISBN:9781461269045]](images/model/guan/url_none.png)
【预订】Test Methods for Explosives [ISBN:9781461269045] 【全球购】进口原版图书,一般10-12周左右到国内
¥3011

【预订】Research Methods and Solutions to Current Transport Prob 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030276867 Format 版本 平装-胶订 Pages Number 页数 494页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2019-10-03 Language 语种 英语 Book Contents 内容简介 The book is dedicated as an auxiliary literature for academic staff of universities, research institutes, as well as for students of transport teaching. The aim of the conference was to present the achievements of national and foreign research and scientific centers dealing with the issues of rail, road, air and sea transport in technical and technological aspects, as well as organization and integration of the environment conducting research and education in the discipline of civil engineering and transport. International Scientific Conference Transport of the 21st Century was held in Ryn, Poland, in the 9th–12th of June 2019.The research areas of the conference were as follows:? tran
¥1643

【预订】Wavelet Methods for Solving Partial Differential Equatio 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781138053816 Author 作者 Santanu Saha Ray and Arun Kumar Gupta Format 版本 精装 Pages Number 页数 272页 Publication Date 出版日期 2018-01-24 Language 语种 英语 Book Contents 内容简介 The main focus of the book is to implement wavelet based transform methods for solving problems of fractional order partial differential equations arising in modelling real physical phenomena. It explores analytical and numerical approximate solution obtained by wavelet methods for both classical and fractional order partial differential equations.
¥2229

【预订】Numerical Methods for Two-phase Incompressible Flows 978 美国库房发货,通常付款后3-5周到货!
¥1095