【预订】Formal Methods and Software Engineering 9783319254227 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319254227 Author 作者 Butler Format 版本 平装-胶订 Pages Number 页数 436页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-12-02 Shipping Weight 商品重量 706g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
¥548.00
【预订】Stochastic Methods in Asset Pricing 9780262036559 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780262036559 Author 作者 Lyasoff Format 版本 精装 Pages Number 页数 632页 Publisher 出版社 Penguin Random House US Publication Date 出版日期 2017-08-25 Product Dimensions 商品尺寸 9 x 6.2 x 1.1 cm Shipping Weight 商品重量 1800g Language 语种 英语 Book Contents 内容简介 A comprehensive overview of the theory of stochastic processes and its connections to asset pricing, accompanied by some concrete applications. This book presents a self-contained, comprehensive, and yet concise and condensed overview of the theory and methods of probability, integration, stochastic processes, optimal control, and their connections to the principles of asset pricing. The book is broader in scope than other introductory-level graduate texts on the subject, requires fewer prerequisites, and covers the relevant material at greater depth, mainly without rigorous techni
¥537.00
【3-6周达】New Methods and Results in Non-Linear Field Equ [ISBN 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Inverse Methods in Physical Oceanography: - Inverse Me 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥661.00
【3-6周达】Formal Methods for Software Architectures: Third Inte 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Oat: Methods and Protocols [ISBN:9781493982714 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【3-6周达】Spectral Methods of Chemical Analysis [ISBN:978384650 【全球购】进口原版图书，一般3-6周左右到国内
¥784.00
【3-6周达】Modern Methods in Collisional-Radiative Modeling of P 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Green Methods for Wastewater Treatment (2020) [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Advanced Methods of Solid Oxide Fuel Cell Modeling [I 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Sumo: Methods and Protocols [ISBN:9781493981755 【全球购】进口原版图书，一般3-6周左右到国内
¥1385
【3-6周达】Modern Methods in Plant Physiology [ISBN:978938023501 【全球购】进口原版图书，一般3-6周左右到国内
¥937.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
【预订】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
【预订】Arts-Based Methods for Decolonising Participatory Resear 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367513276 Format 版本 精装 Pages Number 页数 288页 Publisher 出版社 Routledge Publication Date 出版日期 2021-04-16 Language 语种 英语 Book Contents 内容简介 In an effort to challenge the ways in which colonial power relations and Eurocentric knowledges are reproduced in participatory research, this book explores whether and how it is possible to use arts-based methods for creating more horizontal and democratic research practices. In discussing both the transformative potential and limitations of arts-based methods, the book asks: What can arts-based methods contribute to decolonising participatory research, its processes and practices The book takes part in ongoing debates related to the need to decolonise research, and investigates practical contributions of arts-based methods in the practise-led research domain. Further, it discusses the role of artistic research in de
¥1958
预订 Numerical Methods for Stochastic Computations 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9780691142128 Author 作者 Dongbin Xiu Format 版本 精装 Pages Number 页数 125页 Publication Date 出版日期 2010-07-21 Product Dimensions 商品尺寸 23.6 x 15.5 x 1.5 cm Shipping Weight 商品重量 0.4 kg Language 语种 其它（含多语） Book Contents 内容简介 The@ first graduate-level textbook to focus on fundamental aspects of numerical methods for stochastic computations, this book describes the class of numerical methods based on generalized polynomial chaos (gPC). These fast, efficient, and accurate methods are an extension of the classical spectral methods of high-dimensional random spaces. Designed to simulate complex systems subject to random inputs, these methods are widely used in many areas of computer science and engineering. The book introduces polynomial approximation theory and probability theory; describes the basic theory of gPC methods through n
¥695.00
海外直订医药图书Methods in Neuronal Modeling, Second Edition: From I
¥811.00
【预订】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
【预订】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
【预订】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
【预订】Modern Methods of Analytical Mechanics and Their Applica 美国库房发货，通常付款后3-5周到货！
¥758.00
【预订】Vortex Methods in Two-Dimensional Fluid Dynamics 9783540 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Numerical Methods for Nonlinear Variational Problems 978 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Optical Methods in Engineering Metrology 9789401046831 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Weighting Methods and their Effects on Multi-Criteria De 美国库房发货，通常付款后3-5周到货！
¥658.00
【预订】Algebraic Methods in Pattern Recognition: Course Held at 美国库房发货，通常付款后3-5周到货！
¥758.00
【预售 按需印刷】Kernel Methods and Estimation of Extreme
¥906.95
【预订】Research Methods in Performance Studies 9781138486737 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138486737 Format 版本 平装-胶订 Pages Number 页数 252页 Publisher 出版社 Routledge Publication Date 出版日期 2023-05-05 Product Dimensions 商品尺寸 246x174 mm Language 语种 其它（含多语） Book Contents 内容简介 This Handbook provides an overview of research and methods in performance studies. It examines ways of making performance, researching performance cultures, researching performers who themselves are engaged in research, and conducting research in the context of enduring and emergent themes of performance studies inquiry. The volume covers practice and research in four key areas of performance studies: 1) Critical examination of a conspicuous performance as an artefact, 2) Metaphoric extension of "performance" as a heuristic for analyzing dimensions in everyday life, 3) Using performance as a mode of inquiry into a given phenomenon, and 4) Construct
¥603.00
【预订】Numerical Methods in Physics with Python 9781009303859 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781009303859 Author 作者 Alex Gezerlis Format 版本 精装 Pages Number 页数 700页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-04-01 Language 语种 其它（含多语） Book Contents 内容简介 Bringing together idiomatic Python programming, foundational numerical methods, and physics applications, this is an ideal standalone textbook for courses on computational physics. All the frequently used numerical methods in physics are explained, including foundational techniques and hidden gems on topics such as linear algebra, differential equations, root-finding, interpolation, and integration. The second edition of this introductory book features several new codes and 140 new problems (many on physics applications), as well as new sections on the singular-value decomposition, derivative-free optimization, Bayesian linear regression, neural network
¥1454
【预订】Advanced Methods for Processing and Visualizing the Rene 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811586057 Format 版本 精装 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-12-27 Language 语种 英语 Book Contents 内容简介 This book is a collection of research work conducted by researchers at Centre for Smart Grid Energy Research (CSMER), Institute of Autonomous System, Universiti Teknologi PETRONAS (UTP), and Seismic Modelling and Inversion Group, King Abdullah University of Science and Technology (KAUST), Saudi Arabia. The book covers topics in the field of renewable energy where visualization, artificial neural network and deep learning techniques have been applied to optimize the performance of various applications in energy-related industries. These examples include a natural gas vehicle (NGV), a single axis and a fixed axis solar tracker, seismic inversion enhanced oil recovery, viability of a PV system and constr
¥1753
【预订】Numerical Methods in Approximation Theory, Vol. 9 美国库房发货，通常付款后3-5周到货！
¥548.00
【3-6周达】Genetic Methods and Tools for Managing Crop Pests [IS 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Direct Methods for Limit States in Structures and Mat 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Wavelet Methods for Time Series Analysis [ISBN:9780521685 【全球购】进口原版图书，约3-6周到达国内后发出
¥761.00
预售 按需印刷 Methods for Detecting Alpha and Beta Conta 北京发货，付款后10天内发货
¥804.00
【预订】Choosing Methods in Mental Health Research 9781583918449 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781583918449 Format 版本 精装 Pages Number 页数 320页 Publisher 出版社 Routledge Publication Date 出版日期 2006-07-27 Shipping Weight 商品重量 612g Language 语种 英语 Book Contents 内容简介 Choosing Methods in Mental Health Research is concerned with how to choose the most appropriate mental health research method, not only to address a specific question, but to maximise the potential impact on shaping mental health care.
¥783.00
【预订】Energy Methods and Finite Element Techniques 97803238866 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323886666 Author 作者 Jweeg Muhsin Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Elsevier Publication Date 出版日期 2021-09-28 Product Dimensions 商品尺寸 9.25 x 7.50 x 1.19 Shipping Weight 商品重量 2.20 Language 语种 其它（含多语）
¥2559
【预订】Integral Methods in Science and Engineering 978303107170 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031071706 Author 作者 Constanda Format 版本 精装 Pages Number 页数 498页 Publisher 出版社 Birkh?user Publication Date 出版日期 2022-08-22 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Symposium on the Theory and Applications of Integral Methods in Science and Engineering, held virtually in July 2021, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical and electrical engineering, as well as graduate students in these disciplines and other professionals for whom integration is an ess
¥1753
【预订】Numerical Methods with Algorithms and Programs 美国库房发货，通常付款后3-5周到货！
¥756.00
预订 Interval Methods For Uncertain Power System Analysis 9781 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781119855040 Author 作者 Alfredo Vaccaro Format 版本 精装 Pages Number 页数 144页 Publisher 出版社 Wiley-IEEE Press Publication Date 出版日期 2023-07-06 Language 语种 其它（含多语） Book Contents 内容简介 This book explores the mathematical foundations of range analysis, and its deployment in solving traditional power system operation problems in the presence of strong and correlated uncertainties. It addresses many relevant topics ranging from interval methods for uncertainty representation and management to various application examples. This book not only focuses on methodological breakthroughs and roadmaps in implementing the mathematical methodologies, but also presents the much needed sharing of best practices. The problems currently faced by possible readers are related to the sparsity of information on this topic, scattered between many self-consistent pa
¥1490
海外直订Numerical Methods, International Edition 数值方法，国际版
¥1398
【预订】Optical Methods in Dynamics of Fluids and Solids: Procee 美国库房发货，通常付款后3-5周到货！
¥1095
预订 String Methods for Beginners [ISBN:9780367226862] 【全球购】进口原版图书，一般5-8周左右到国内
¥600.00
【3-6周达】Research Methods in Criminal Justice and Criminology: 【全球购】进口原版图书，一般3-6周左右到国内
¥2534
Analytical methods for food safety by mass spectrometry 化学工业 正规电子发票 多仓就近发货
¥750.30定价：¥788.00 (9.53折)
【预订】Neurons: Methods and Applications for the Cell Biologist 美国库房发货，通常付款后3-5周到货！
¥2026
海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法
¥1550
海外直订Novel Methods and Technologies for Enterprise Informatio
¥1033
【预售 按需印刷】Kernel Methods in Analysis of Genetic Mar 北京发货，付款后10天内发货
¥1400
【预售 按需印刷】Numerical Methods For Simulation
¥1101.6
【预订】Research Methods for Business Students 9781292016627 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781292016627 Author 作者 SAUNDERS Format 版本 平装-胶订 Pages Number 页数 768页 Publication Date 出版日期 2015-01-01 Language 语种 英语
¥3944
【3-6周达】Methods in Pharmacology: Volume 4a Renal Pharmacology 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预售 按需印刷】H Methods for Control and State Estimation of Nonli
¥820.25
【预订】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
【预订】Numerical Methods in Computational Electrodynamics: Line 美国库房发货，通常付款后3-5周到货！
¥1643
【预售 按需印刷】Iterative Methods for Nonlinear ILL-posed 北京发货，付款后10天内发货
¥830.00
【预售 按需印刷】Analytical Methods for the Estimation of 北京发货，付款后10天内发货
¥619.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车