
海外直订Formal Methods and Software Engineering: 21st Internatio
¥534.00

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

【预订】Modern Methods for Affordable Clinical Gait Analysis 978 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780323852456 Author 作者 Nandy Anup Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Academic Press Publication Date 出版日期 2021-07-30 Product Dimensions 商品尺寸 9.25 x 7.50 x 0.41 Shipping Weight 商品重量 0.76 Language 语种 其它(含多语)
¥1066

【预订】Numerical Methods in Geotechnical Engineering: (Numge 20 美国库房发货,通常付款后3-5周到货!
¥5085

【预订】Research Methods in Sport Studies and Sport Management: 美国库房发货,通常付款后3-5周到货!
¥2637

【预订】Regression Methods in Biostatistics 9781461413523 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781461413523 Author 作者 Vittinghoff Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer New York Publication Date 出版日期 2011-09-01 Product Dimensions 商品尺寸 23.9 x 16.3 x 3.8 cm Shipping Weight 商品重量 0.9 kg Language 语种 其它(含多语) Book Contents 内容简介 This new book provides a unified, in-depth, readable introduction to the multipredictor regression methods most widely used in biostatistics: linear models for continuous outcomes, logistic models for binary outcomes, the Cox model for right-censored survival times, repeated-measures models for longitudinal and hierarchical outcomes, and generalized linear models for counts and other outcomes. Treating these topics together takes advantage of all they have in common. The authors point out the many-shared elements in the methods they present for selecting, estimati
¥1205

【预订】Formal Methods in Architecture 9783030575113 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030575113 Author 作者 Sara Eloy Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-01-05 Product Dimensions 商品尺寸 11.00 x 8.25 x 0.72 Shipping Weight 商品重量 1.73 Language 语种 其它(含多语) Book Contents 内容简介 This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in
¥1698

海外直订Modern Methods in Forest Genetics 森林遗传学的现代方法
¥1789

海外直订Fusion Methods for Unsupervised Learning Ensembles 无监督学习
¥1087

【预售 按需印刷】Advanced Methods for Seismic Performance
¥500.00

【预订】Modern Methods of Analytical Mechanics and Their Applica 美国库房发货,通常付款后3-5周到货!
¥758.00

【预订】Vortex Methods in Two-Dimensional Fluid Dynamics 9783540 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Formal Methods: State of the Art and New Directions 9781 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Optical Methods in Engineering Metrology 9789401046831 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Energy Methods in Time-Varying System Stability and Inst 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Preventive Methods for Coastal Protection 9783319004396 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Algebraic Methods in Pattern Recognition: Course Held at 美国库房发货,通常付款后3-5周到货!
¥758.00

【预订】Low-Cost Methods for Molecular Characterization of Mutan 美国库房发货,通常付款后3-5周到货!
¥675.00

海外直订医药图书Methods of Cancer Diagnosis, Therapy, and Prognosis:
¥3101
![预订 Formal Methods in Manufacturing [ISBN:9781466561557]](images/model/guan/url_none.png)
预订 Formal Methods in Manufacturing [ISBN:9781466561557] 【全球购】进口原版图书,一般5-8周左右到国内
¥2793

预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书,一般5-8周左右到国内后发出
¥1043

【3-6周达】Applied Methods of Structural Reliability (Softcover 【全球购】进口原版图书,一般3-6周左右到国内
¥2156

Research Methods 研究方法 精装第9版 心理学教材 英文原版
¥739.00

预订 Arts Methods for the Self-Representation of Undergraduate 国外库房发货,通常付款后3-5周到货
¥1809

【预订】New Methods and Sensors for Membrane and Cell Volume Res 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780323911146 Author 作者 Levitan Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Academic Press Publication Date 出版日期 2021-11-29 Shipping Weight 商品重量 450 Language 语种 其它(含多语)
¥2186

【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780367579401 Author 作者 James K. Hallenburg Format 版本 平装-胶订 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.89 Language 语种 其它(含多语) Book Contents 内容简介 These three works cover the entire field of formation evaluation, from basic concepts and theories, through standard methods used by the petroleum industry, on to new and exciting applications in environmental science and engineering, hydrogeology, and other fields. Designed to be used individually or as a set, these volumes represent the first comprehensive assessment of all exploration methodologies. No other books offer the breadth of information and range of applications available in this set.
¥611.00

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

【预订】Weighting Methods and their Effects on Multi-Criteria De 美国库房发货,通常付款后3-5周到货!
¥658.00

【3-6周达】Visual Methods with Children and Young People: Academ 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

【3-6周达】Formal Methods and Software Engineering [ISBN:9783642 【全球购】进口原版图书,一般3-6周左右到国内
¥1105

【预订】Modern Methods in Analytical Morphology 9780306448386 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780306448386 Author 作者 Gu Jiong Format 版本 精装 Pages Number 页数 460页 Publisher 出版社 Kluwer Academic Publishers Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 10.00 x 7.00 x 1.00 Shipping Weight 商品重量 2.22 Language 语种 其它(含多语)
¥1475

【预订】Advanced Methods for Human Biometrics 9783030819811 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030819811 Author 作者 Nabil Derbel Format 版本 精装 Pages Number 页数 331页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-29 Language 语种 其它(含多语) Book Contents 内容简介 The book highlights recent developments in human biometrics, covering a wide range of methods based on biological signals, image processing, and measurements of human characteristics such as fingerprints and iris or medical characteristics. Human Biometrics is becoming increasingly crucial in forensics security and medicine. They provide a solid basis for identifying individuals based on unique physical characteristics or diseases based on characteristic biomedical measurements. As such, the book offers an essential reference guide about biometry methods for students, engineers, designers, and technicians.
¥1314

【预订】Optical Methods in Dynamics of Fluids and Solids: Procee 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Numerical Methods in Computational Electrodynamics: Line 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】Production Methods: Behind the Scenes of Virtual Inhabit 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Passive Methods as a Solution for Improving Indoor Envir 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Advanced Methods of Solid Oxide Fuel Cell Modeling Y9781 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Research Methods for the Behavioral Sciences Y9781412975 美国库房发货,通常付款后3-5周到货!
¥921.00

【预订】Modern Methods in Scientific Computing and Applications 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781402007811 Author 作者 Bourlioux Format 版本 精装 Pages Number 页数 516页 Publisher 出版社 Kluwer Academic Publishers Publication Date 出版日期 2002-09-30 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.13 Shipping Weight 商品重量 1.97 Language 语种 其它(含多语) Book Contents 内容简介 The influence of scientific computing has become very wide over the last few decades: almost every area of science and engineering is greatly influenced by simulations - image processing, thin films, mathematical finance, electrical engineering, moving interfaces and combustion, to name but a few. One half of this book focuses on the techniques of scientific computing: domain decomposition, the absorption of boundary conditions and one-way operators, convergence analysis of multi-grid methods and other multi-grid techniques,
¥1767

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

【预订】Physical Methods in Chemistry and Nano Science. Volume 4 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781838008574 Author 作者 Barron Andrew Format 版本 平装-胶订 Pages Number 页数 330页 Publisher 出版社 Midas Green Innovations, Ltd Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.86 Shipping Weight 商品重量 1.35 Language 语种 其它(含多语)
¥1328

【预售 按需印刷】Fourier Methods in Imaging
¥1935.45

海外直订Mixed Methods Research in the Movement Sciences 运动科学中的混合
¥1615

【预订】Kernel Methods and Hybrid Evolutionary Algorithms in Ene 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783038972921 Author 作者 Hong, Wei-Chiang(Guest Editor) Format 版本 平装-胶订 Pages Number 页数 186页 Publisher 出版社 Mdpi AG Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.6 x 6.6 x 0.5 cm Shipping Weight 商品重量 900g Language 语种 英语
¥587.00

海外直订Hybrid Methods of Molecular Modeling 分子模拟的混合方法
¥5169

【预订】Numerical Methods with Chemical Engineering Applications 美国库房发货,通常付款后3-5周到货!
¥1057

【预订】Numerical Methods for the Simulation of Multi-Phase and 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Essential Methods for Design Based Sample Surveys 978044 美国库房发货,通常付款后3-5周到货!
¥916.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

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

海外直订Modern Methods in Orchid Conservation 兰花保护的现代方法
¥515.00

海外直订Metric Methods for Analyzing Partially Ranked Data 部分排序数
¥1757

【预售 按需印刷】Laboratory methods of soil testing in Con 北京发货,付款后10天内发货
¥1980

海外直订Formal Methods and Software Engineering: 23rd Internatio
¥534.00

【预订】Sampling Methods, Remote Sensing and GIS Multiresource F 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642068980 Author 作者 K?hl Format 版本 平装-胶订 Pages Number 页数 373页 Publication Date 出版日期 2010-11-30 Language 语种 英语 Book Contents 内容简介 When we talk about forests, we talk about 30% of our planet’s land surface 6 area. In 2000 there was an estimated 3 870×10 ha of forest worldwide, of which 1 5% is in forest plantations and 95% in natural forests (FAO 2003). Forests are not only a source for timber; they also generate significant nonwood goods and services, mitigate climate change, conserve biological diversity, provide prot- tion from natural hazards, and not least: provide recreational areas for an increasingly urbanized world population. The availability of timber and n- wood goods and services is waning as deforestation and degradation of tro- cal forests continue. While forest area has stabilized or is slightly increasing in the boreal and tempera
¥2190

【预订】Continuum Methods of Physical Modeling 9783642058318 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642058318 Author 作者 Hutter Format 版本 平装-胶订 Pages Number 页数 636页 Publication Date 出版日期 2010-11-30 Language 语种 英语 Book Contents 内容简介 This book is a considerable outgrowth of lecture notes on Mechanics of en? vironmentally related systems I, which I hold since more than ten years in the Department of Mechanics at the Darmstadt University of Technology for upper level students majoring in mechanics, mathematics, physics and the classical engineering sciences. These lectures form a canon of courses over three semesters in which I present the foundations of continuum physics (first semester), those of physical oceanography and limnology (second semester) and those of soil, snow and ice physics in the geophysical context (third semester). The intention is to build an understanding of the mathemati? cal foundations of the mentioned geophysical research fie
¥1126

【预订】Numerical Methods for Elliptic and Parabolic Partial Dif 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781441930040 Author 作者 Kbner Format 版本 平装-胶订 Pages Number 页数 426页 Publication Date 出版日期 2010-12-01 Language 语种 英语 Book Contents 内容简介 Mathematics is playing an ever more important role in the physical and biological sciences, provoking a blurring of boundaries between scientific disciplines and a resurgence of interest in the modern as well as the classical techniques of applied mathematics. This renewal of interest, both in - search and teaching, has led to the establishment of the series Texts in Applied Mathematics (TAM). The development of new courses is a natural consequence of a high level of excitement on the research frontier as newer techniques, such as nume- cal and symbolic computer systems, dynamical systems, and chaos, mix with and reinforce the traditional methods of applied mathematics. Thus, the purpose of this textbook series is to mee
¥1232

【预订】Dynamic Methods for Damage Detection in Structures 97832 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783211999318 Author 作者 Morassi Format 版本 平装-胶订 Pages Number 页数 221页 Publication Date 出版日期 2010-10-19 Language 语种 英语 Book Contents 内容简介 Non destructive testing aimed at monitoring, structural identification and di- nostics is of strategic importance in many branches of civil and mechanical - gineering. This type of tests is widely practiced and directly affects topical issues regarding the design of new buildings and the repair and monitoring of existing ones. The load bearing capacity of a structure can now be evaluated using well established mechanical modelling methods aided by computing facilities of great capability. However, to ensure reliable results, models must be calibrated with - curate information on the characteristics of materials and structural components. To this end, non destructive techniques are a useful tool from several points of v
¥2274

【预订】Numerical Methods in Finance 9783642257452 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642257452 Author 作者 Carmona Format 版本 精装 Pages Number 页数 474页 Publication Date 出版日期 2012-03-26 Shipping Weight 商品重量 895g Language 语种 英语 Book Contents 内容简介 Numerical methods in finance have emerged as a vital field at the crossroads of probability theory, finance and numerical analysis. Based on presentations given at the workshop Numerical Methods in Finance held at the INRIA Bordeaux (France) on June 1-2, 2010, this book provides an overview of the major new advances in the numerical treatment of instruments with American exercises. Naturally it covers the most recent research on the mathematical theory and the practical applications of optimal stopping problems as they relate to financial applications. By extension, it also provides an original treatment of Monte Carlo methods for the recursive computation of conditional expectations an
¥1533