【预订】Formal Methods and Testing 9783540789161 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540789161 Author 作者 Robert M. Hierons Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-04-08 Shipping Weight 商品重量 593g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal
¥548.00
【预订】The Quincy Methods Illustrated: Pen Photographs from the 美国库房发货，通常付款后3-5周到货！
¥513.00
【3-6周达】Formal Methods and Software Engineering: 10th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Kernel Methods and Machine Learning [ISBN:978110702496 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1016
【预订】Exocytosis Methods 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Robust Methods for Dense Monocular Non-Rigid 3D Reconstr 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783658305666 Author 作者 Golyanik Format 版本 平装-胶订 Pages Number 页数 352页 Publisher 出版社 Vieweg+Teubner / Springer Fachmedien Wiesbaden Publication Date 出版日期 2020-06-05 Product Dimensions 商品尺寸 8.2 x 5.8 x 0.7 cm Shipping Weight 商品重量 990g Language 语种 英语 Book Contents 内容简介 Vladislav Golyanik proposes several new methods for dense non-rigid structure from motion (NRSfM) as well as alignment of point clouds. The introduced methods improve the state of the art in various aspects, i.e. in the ability to handle inaccurate point tracks and 3D data with contaminations. NRSfM with shape priors obtained on-the-fly from several unoccluded frames of the sequence and the new gravitational class of methods for point set alignment represent the primary contributions of this book.About the Author:Vladislav Golyanik is currently a post
¥985.00
预订 Research Methods for Health Care Practice [ISBN:978141293 【全球购】进口原版图书，一般5-8周左右到国内
¥2181
【预售 按需印刷】Analytical Methods for Balofloxacin
¥539.75
【预订】Modern Methods for Business Research 美国库房发货，通常付款后3-5周到货！
¥1055
【预订】Physical Methods in Food Analysis 美国库房发货，通常付款后3-5周到货！
¥1576
【预订】Detection Methods in Precision Medicine 9781788017619 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781788017619 Format 版本 精装 Pages Number 页数 370页 Publisher 出版社 Royal Society of Chemistry (RSC) Publication Date 出版日期 2020-12-18 Product Dimensions 商品尺寸 9.30 x 6.20 x 1.10 Shipping Weight 商品重量 1.60 Language 语种 其它（含多语） Book Contents 内容简介 Precision medicine is a topical subject that attracts tremendous attention from scientific and medical communities, being set to transform health care in the future. This book will be among the first to cover the detection methods for precision medicine. The first section provides an overview of the biomarkers used for precision medicine, such as proteins, nucleic acids, and metabolites. The coverage then turns to sequencing techniques and their applications, and other bioanalytical techniques, including mass spectrometry for proteome and phosphoproteome analysis, immunological methods
¥2253
【预订】Effective Methods for Software Engineering 9781032474359 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032474359 Author 作者 Boyd Summers Format 版本 平装-胶订 Pages Number 页数 182页 Publisher 出版社 Auerbach Publications Publication Date 出版日期 2023-01-09 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 Software is important because it is used by a great many people in companies and institutions. This book presents engineering methods for designing and building software. Based on the author’s experience in software engineering as a programmer in the defense and aerospace industries, this book explains how to ensure a software that is programmed operates according to its requirements. It also shows how to develop, operate, and maintain software engineering capabilities by instilling an engineering discipline to support programming, design, builds, and delivery to customers. This book hel
¥648.00
3-6周达 Inverse Methods in Global Biogeochemical Cycles [ISBN: 【全球购】进口原版图书，预计3-6周左右到国内
¥848.00
【预订】Research Methods and Communication in the Social Science 美国库房发货，通常付款后3-5周到货！
¥816.00
【预订】Mobile Methods 美国库房发货，通常付款后3-5周到货！
¥1958
【预订】In Silico Methods for Predicting Drug Toxicity 978149393 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Algebraic Methods and \(q\)-Special Functions 9780821820 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821820261 Author 作者 Jan Felipe van Diejen Format 版本 平装-胶订 Pages Number 页数 276页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1999-08-16 Language 语种 英语 Book Contents 内容简介 There has been revived interest in recent years in the study of special functions. Many of the latest advances in the field were inspired by the works of R. A. Askey and colleagues on basic hypergeometric series and I. G. Macdonald on orthogonal polynomials related to root systems. Significant progress was made by the use of algebraic techniques involving quantum groups, Hecke algebras, and combinatorial methods. The CRM organized a workshop for key researchers in the field to present an overview of current trends. This volume consists of the contributions to that workshop. Topics include basic hypergeometric functions, algebraic and
¥1219
【3-6周达】Lie Methods in Deformation Theory [ISBN:9789811911842 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Lie Methods in Optics: Proceedings of the Cifmo-CIO W 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Analytical Methods for Food and Dairy Powders 美国库房发货，通常付款后3-5周到货！
¥2430
海外直订Simple Methods to Study Pedology and Edaphology of India
¥1233
【预订】Particle Methods for Multi-Scale and Multi-Physics 97898 美国库房发货，通常付款后3-5周到货！
¥1744
【预订】Energy Methods in Dynamics 美国库房发货，通常付款后3-5周到货！
¥1767
【预订】Models and Methods Used in the Analysis of 美国库房发货，通常付款后3-5周到货！
¥1384
【预订】Seismic Methods 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods for Components and Objects: 9th 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】TOPICS AND METHODS IN Q-SERIES 9789813224179 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789813224179 Author 作者 MC LAUGHLIN JAMES Format 版本 精装 Pages Number 页数 400页 Publication Date 出版日期 2017-09-22 Language 语种 英语 Book Contents 内容简介 The book provides a comprehensive introduction to the many aspects of the subject of basic hypergeometric series. The book essentially assumes no prior knowledge but eventually provides a comprehensive introduction to many important topics. After developing a treatment of historically important topics such as the q-binomial theorem, Heine’s transformation, the Jacobi triple product identity, Ramanujan’s 1-psi-1 summation formula, Bailey’s 6-psi-6 summation formula and the Rogers-Fine identity, the book goes on to delve more deeply into important topics such as Bailey- and WP-Bailey pairs and chains, q-continued fractions, and mock theta functions. There are also chapters on other topics such as Lambert series
¥1660
【预订】Theories, Methods, and Applications in Ergonomics and Pr 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781522552345 Author 作者 Juan Luis Hernández Arellano^^Aide Aracely Maldonado Macias^ Format 版本 精装 Pages Number 页数 350页 Publication Date 出版日期 2018-04-30 Language 语种 英语 Book Contents 内容简介 Product design is an important field where ergonomics and human factors should be applied. To achieve this goal, effective strategies for process improvement must be researched and implemented.Theories, Methods, and Applications in Ergonomics and Product Design is a critical scholarly resource that provides new theories, methodologies, and applications of ergonomics and product design and redesign. Featuring a broad range of topics such as additive manufacturing, product analysis, and sustainable packing development, this book is geared towards academicians, practitioners, and researchers seeking current research on new theories, methods, and applications related to ergono
¥2011
【预订】Formal Methods for Industrial Critical Systems: 23rd Int 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030002435 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-08-30 Language 语种 英语
¥548.00
【预订】Innovative Methods for Rare Disease Drug Development 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367502904 Author 作者 Shein-Chung Chow Format 版本 平装-胶订 Pages Number 页数 296页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-11-11 Product Dimensions 商品尺寸 234x220 mm Language 语种 其它（含多语） Book Contents 内容简介 In the United States, a rare disease is defined by the Orphan Drug Act as a disorder or condition that affects fewer than 200,000 persons. For the approval of "orphan" drug products for rare diseases, the traditional approach of power analysis for sample size calculation is not feasible because there are only limited number of subjects available for clinical trials. In this case, innovative approaches are needed for providing substantial evidence meeting the same standards for statistical assurance as drugs used to treat common conditions. Innovative Methods for Rare Disease Drug Development focuses o
¥611.00
【预订】Formal Methods 9783319955810 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319955810 Author 作者 Havelund Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-12 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 22nd InternationalSymposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefullyreviewed and selected from 110 submissions. They presentformal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
¥985.00
【预订】Cilia: Methods and Protocols (Softcover Reprint of the O 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493981397 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-06-09 Language 语种 英语
¥548.00
【预订】Stochastic Methods in Fluid Mechanics 9783709117620 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783709117620 Author 作者 Sergio Chibbaro Université Pierre et Marie Curie Paris Fr Format 版本 平装-胶订 Pages Number 页数 165页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2015-08-21 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.3 cm Shipping Weight 商品重量 279g Language 语种 英语 Book Contents 内容简介 Since their first introduction in natural sciences through the work of Einstein on Brownian motion in 1905 and further works, in particular by Langevin, Smoluchowski and others, stochastic processes have been used in several areas of science and technology. For example, they have been applied in chemical studies, or in fluid turbulence and for combustion and reactive flows. The articles in this book provide a general and unified framework in which stochastic processes are presented as modeling tools for various issues
¥1516
【预订】Bayesian Methods for the Physical Sciences 9783319367835 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319367835 Author 作者 Stefano Andreon Osservatorio Astronomico di Brera Milano Format 版本 平装-胶订 Pages Number 页数 238页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-10-13 Shipping Weight 商品重量 460g Language 语种 英语 Book Contents 内容简介 Statistical literacy is critical for the modern researcher in Physics and Astronomy. This book empowers researchers in these disciplines by providing the tools they will need to analyze their own data. Chapters in this book provide a statistical base from which to approach new problems, including numerical advice and a profusion of examples. The examples are engaging analyses of real-world problems taken from modern astronomical research. The examples are intended to be starting points for readers as they learn to approach their own data and research questions. Acknowledging
¥1424
海外直订On Methods of Music Theory and (Ethno-) Musicology: From
¥1300
【预订】Adaptive Methods in Underwater Acoustics 9789401088640 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】Analytic Methods for Design Practice 美国库房发货，通常付款后3-5周到货！
¥1126
按需印刷New Methods in Cognitive Psychology 预订，预计下单后2-3周左右发货！
¥1638
【预订】Research Methods in Neurochemistry: Volume 2 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Analytic Methods in Sports: Using Mathematics and Statis 美国库房发货，通常付款后3-5周到货！
¥758.00
【预订】Integrated Methods for Optimization 9781489989949 美国库房发货，通常付款后3-5周到货！
¥548.00
【预售 按需印刷】Advanced Methods for Seismic Performance
¥500.00
预订Research Methods: A Tool for Life [ISBN:9781108470841] 【全球购】进口原版图书，约3-6周到达国内后发出
¥1184
【预订】Direct Methods in the Theory of Elliptic Equations 97836 美国库房发货，通常付款后3-5周到货！
¥1314
【预订】Advanced Methods and Applications in Computational Intel 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Ecological Methods, 4th Edition 9781118895276 美国库房发货，通常付款后3-5周到货！
¥2206
【预订】Analytic Methods in Interdisciplinary Applications 97833 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Analytical Methods for Energy Diversity and Security: Po 美国库房发货，通常付款后3-5周到货！
¥2239
【预订】Level Set Methods and Dynamic Implicit Surfaces Y9781468 美国库房发货，通常付款后3-5周到货！
¥658.00
【预订】I. Schur Methods in Operator Theory and Signal Processin 美国库房发货，通常付款后3-5周到货！
¥512.00
【预订】Operator Methods in Mathematical Physics: Conference on 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Analytical Methods for Milk and Milk Products 9781774913 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781774913079 Format 版本 精装 Pages Number 页数 410页 Publisher 出版社 Apple Academic Press Publication Date 出版日期 2024-02-20 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 Here is a new three-volume set that comprehensively illustrates a wide range of analytical techniques and methodologies for assessing the physical, chemical, and microbiological properties of milk and milk products to ensure nutritional and technological quality and safety of milk and milk products.This volume presents the main analytical techniques and methodologies and their application to the compounds involved in nutritional and technological quality of milk and milk products. It covers the sampling methods and chemical analysis of milk, highlighting the standard methods used for calibration of different glassware, sampling p
¥2216
海外直订医药图书Methods in Human Cytogenetics 人类细胞遗传学研究方法
¥662.00
【预订】Apoptosis Methods in Toxicology 9781493935864 美国库房发货，通常付款后3-5周到货！
¥1533
【预订】Geological Methods in Mineral Exploration and Mining 978 美国库房发货，通常付款后3-5周到货！
¥1753
【预订】Conformal Methods in General Relativity 9781107033894 美国库房发货，通常付款后3-5周到货！
¥1182
海外直订Formal Methods in Human-Computer Interaction 人机交互中的形式化方法
¥719.00
【预订】Numerical Methods for Black-Box Software in Computationa 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783111317298 Author 作者 Martynenko Format 版本 平装-胶订 Pages Number 页数 136页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2023-10-10 Language 语种 其它（含多语） Book Contents 内容简介 The organization of the material is presented as follows: This introductory chapter I represents a theoretical analysis of the computational algorithms for a numerical solution of the basic equations in continuum mechanics. In this chapter, the general requirements for computational grids, discretization, and iterative methods for black-box software are examined. Finally, a concept of a two-grid algorithm for (de-)coupled solving multidimensional non-linear (initial-)boundary value problems in continuum mechanics (multiphysics simulation) in complex domains is presented. Chapter II contains descriptions of the sequential Robust Multigrid Technique which is
¥729.00
【预订】Lysosomes: Methods and Protocols (Softcover Reprint of t 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493983438 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-07-20 Language 语种 英语
¥1643
【预订】Histones: Methods and Protocols (Softcover Reprint of th 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493982547 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-06-27 Language 语种 英语
¥1205
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车