【预订】Formal Methods in Manufacturing 9781138074293 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138074293 Format 版本 平装-胶订 Publication Date 出版日期 2017-11-22 Language 语种 英语
¥1017
【预订】Research Methods for Nursing and Healthcare 978113816990 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138169906 Author 作者 John Maltby, Glenn Williams, Julie Mcgarry and Liz Day Format 版本 精装 Pages Number 页数 400页 Publication Date 出版日期 2015-11-26 Shipping Weight 商品重量 739g Language 语种 英语 Book Contents 内容简介 Research Methods for Nursing and Healthcare is an essential introductory text for all nursing and healthcare students coming to research methods for the first time or those nurses and healthcare staff wishing to improve their skills in this area. The book includes comprehensive coverage of the main research methods topics, and provides guidance on how to understand and apply research techniques. Everyday nursing examples are used throughout to explain research methods concepts and their relevance to practice. Simple self-assessment tasks are included at the end of chapters; the tests can be undertaken individually, or within groups, to as
¥2637
【预订】Analytical Methods for Risk Management 9781032477763 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032477763 Author 作者 Paul R. Garvey Format 版本 平装-胶订 Pages Number 页数 282页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-01-09 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 A Text on the Foundation Processes, Analytical Principles, and Implementation Practices of Engineering Risk Management Drawing from the author’s many years of hands-on experience in the field, Analytical Methods for Risk Management: A Systems Engineering Perspectivepresents the foundation processes and analytical practices for identifying, analyzing, measuring, and managing risk in traditional systems, systems-of-systems, and enterprise systems. Balances Risk and Decision Theory with Case Studies and Exercises After an introduction to engineering risk management, the book covers the fundamental ax
¥583.00
预订 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
【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030549961 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 575页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2
¥548.00
预订 Modern Methods in Scientific Computing and Applications [ 【全球购】进口原版图书，一般5-8周左右到国内
¥1279
【3-6周达】Methods in Floristic and Phytosociological Study [ISB 【全球购】进口原版图书，一般3-6周左右到国内
¥996.00
【3-6周达】Formal Methods for Performance Evaluation: 7th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods for Components and Objects: Second Int 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Matrix Methods [ISBN:9780128184196] 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥1016
【预订】Essential Methods for Planning Practitioners 97833196804 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319680408 Author 作者 Ramasubramanian Format 版本 精装 Pages Number 页数 157页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-11-28 Shipping Weight 商品重量 432g Language 语种 英语 Book Contents 内容简介 This book assembles and organizes a selected range of methods and techniques that every planning practitioner should know to be successful in the contemporary global urban landscape. The book is unique because it links different aspects of the planning/policy-making enterprise with the appropriate methods and approaches, thus contextualizing the use of specific methods and techniques within a sociopolitical and ethical framework. This volume familiarizes readers with the diverse range of methods, techniques, and skills that must be applied at different scales in dynamic workplace environments where planning policies and
¥1314
预订 Current Methods in Forensic Gunshot Residue Analysis [ISB 【全球购】进口原版图书，一般5-8周左右到国内
¥2181
【预订】Numerical Methods in Geomechanics, Sixth Edition Volume 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789061918103 Author 作者 G. Swoboda Format 版本 精装 Pages Number 页数 716页 Publisher 出版社 CRC Press Publication Date 出版日期 1988-01-01 Shipping Weight 商品重量 1383g Language 语种 其它（含多语） Book Contents 内容简介 .
¥3616
【预售 按需印刷】Fourier Methods in Imaging
¥1935.45
【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
海外直订Formal Methods for Software Architectures: Third Interna
¥662.00
海外直订Direct Methods for Limit States in Structures and Materi
¥1203
【预订】Evaluation Methods in Biomedical Informatics Y9780387258 美国库房发货，通常付款后3-5周到货！
¥1753
【预订】Hybrid Methods of Molecular Modeling Y9781402081880 美国库房发货，通常付款后3-5周到货！
¥5476
【预订】Integral Methods in Science and Engineering, Volume 1 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319866130 Author 作者 Christian Constanda The University of Tulsa Tulsa OK USA Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2018-08-10 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. ?The first of two volumes, this work focuses on the construction of theoretical integral methods. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Integral equations ? Homogenization ? Duality methods ? Optimal design ? Conformal techniques This collection
¥1095
海外直订Modern Methods of Water Purification 水净化的现代方法
¥527.00
【3-6周达】Methods for Monitoring Mitochondrial Functions During 【全球购】进口原版图书，约3-6周到达国内后发出
¥1881
预订Research Methods and Statistics in Psychology [ISBN:978152 【全球购】进口原版图书，约3-6周到达国内后发出
¥2464
【预订】Numerical Methods and Applications 9783540006084 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540006084 Author 作者 Dimov Format 版本 平装-胶订 Pages Number 页数 580页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-01-31 Language 语种 英语
¥1095
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540688624 Author 作者 Gilles Barthe Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-29 Shipping Weight 商品重量 427g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of
¥548.00
【预订】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
【3-6周达】Modern Methods in the Calculus of Variations: L^p Spa 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods for Dynamical Systems: 13th Internatio 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
海外直订Formal Methods and Software Engineering: 11th Internatio
¥1325
【预订】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
海外直订Formal Methods in Computer-Aided Design: First Internati
¥659.00
【预订】Matrix Methods in Data Mining and Pattern Recognition 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781611975857 Author 作者 Lars Eldén Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Society for Industrial and Applied Mathematics Publication Date 出版日期 2020-03-30 Language 语种 英语 Book Contents 内容简介 This thoroughly revised second edition provides an updated treatment of numerical linear algebra techniques for solving problems in data mining and pattern recognition. Adopting an application-oriented approach, the author introduces matrix theory and decompositions, describes how modern matrix methods can be applied in real life scenarios, and provides a set of tools that students can modify for a particular application. Building on material from the first edition, the author discusses basic graph concepts and their matrix counterparts. He introduces the graph Laplacian and properties of its eigenvectors needed in spectral partitioning and de
¥850.00
【预订】Geological Methods in Mineral Exploration and Mining 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540743705 Author 作者 Marjoribanks Format 版本 精装 Pages Number 页数 238页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-06-10 Shipping Weight 商品重量 596g Language 语种 英语 Book Contents 内容简介 This practical step-by-step guide describes the key geological field techniques needed by today’s exploration geologists involved in the search for metallic deposits. The techniques described are fundamental to the collection, storage and presentation of geological data and their use to locate ore. This book explains the various tasks which the exploration geologist is asked to perform in the sequence in which they might be employed in an actual exploration project. Hints and tips are give. The steps are illustrated with numerous examples drawn from real projects on which the author has worked. The book emphasizes traditional s
¥1753
【预订】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
【3-6周达】Formal Methods. FM 2019 International Workshops [ISBN 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】On Methods, Volume 2: Books III-IV. on Regressus [ISB 【全球购】进口原版图书，一般3-6周左右到国内
¥553.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
3-6周达 Advanced Methods and Mathematical Modeling of Biofilms 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥1518
【3-6周达】Powerful Methods for Solving Nonlinear evolution Equa 【全球购】进口原版图书，一般3-6周左右到国内
¥820.00
【预售 按需印刷】Functional Methods for the Solution of One-Dimensio
¥1161.95
【预订】Formal Methods for Web Services 9783642019173 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642019173 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 341页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-05-12 Shipping Weight 商品重量 539g Language 语种 英语
¥504.00
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540729198 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 317页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-05-25 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions.
¥548.00
【预订】Classical Methods of Statistics 9783540211150 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540211150 Author 作者 Kardaun Format 版本 精装 Pages Number 页数 388页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-16 Language 语种 英语 Book Contents 内容简介 Classical Methods of Statistics is a guidebook combining theory and practical methods. It is especially conceived for graduate students and scientists who are interested in the applications of statistical methods to plasma physics. Thus it provides also concise information on experimental aspects of fusion-oriented plasma physics. In view of the first three basic chapters it can be fruitfully used by students majoring in probability theory and statistics. The first part deals with the mathematical foundation and framework of the subject. Some attention is given to the historical background. Exercises are added to help readers understand the underlying concepts. In the secon
¥1095
海外直订Formal Methods at the Crossroads: From Panacea to Founda
¥662.00
【预订】Computer Methods in Structural Analysis 9781138470385 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138470385 Author 作者 J.L. Meek Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-08-22 Language 语种 其它（含多语）
¥1560
【预订】Research Methods for Sports Studies 9780415749329 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780415749329 Author 作者 Ian Jones Format 版本 精装 Pages Number 页数 364页 Publisher 出版社 Routledge Publication Date 出版日期 2014-12-17 Shipping Weight 商品重量 738g Language 语种 英语 Book Contents 内容简介 This leading textbook provides a complete grounding in both qualitative and quantitative research methods. Guiding the reader step-by-step through the research process, it is illustrated throughout with sport-related case-studies and examples from around the world. Now in a fully revised and expanded third edition, the book includes new chapters on using social media and conducting on-line research, and researching special populations, as well as expanded coverage of topics such as action research, the literature review, statistics, research ethics, and health-related research into physical activity. A new companion website offers additional resourc
¥1962
按需印刷Modern Methods of Construction 预订，预计下单后2-3周左右发货！
¥907.00
【3-6周达】Dengue: Methods and Protocols [ISBN:9781493943715] 【全球购】进口原版图书，一般3-6周左右到国内
¥1385
【3-6周达】Crispr: Methods and Protocols [ISBN:9781493926862] 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【预订】Iterative Methods and Preconditioners for Systems of Lin 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781611976892 Author 作者 Gabriele Ciaramella Format 版本 平装-胶订 Pages Number 页数 271页 Publisher 出版社 Society for Industrial and Applied Mathematics Publication Date 出版日期 2022-01-30 Language 语种 其它（含多语） Book Contents 内容简介 Iterative methods use successive approximations to obtain more accurate solutions. presents historical background, derives complete convergence estimates for all methods, illustrates and provides Matlab codes for all methods, and studies and tests all preconditioners first as stationary iterative solvers. This textbook is appropriate for undergraduate and graduate students in need of an overview or of deeper knowledge about iterative methods. It can be used in courses on Advanced Numerical Analysis, Special Topics on Numerical Analysis, Topics on Data Science, Topics on Numerical Optimization, and Topics on App
¥799.00
【3-6周达】Methods for Plant Nucleus and Chromatin Studies [ISBN 【全球购】进口原版图书，一般3-6周左右到国内
¥2444
【预订】Formal Methods in Artificial Intelligence 美国库房发货，通常付款后3-5周到货！
¥542.00
【预订】Analytical Methods for Risk Management 9781584886372 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781584886372 Author 作者 Paul R. Garvey Format 版本 精装 Pages Number 页数 282页 Publication Date 出版日期 2008-10-20 Shipping Weight 商品重量 544g Language 语种 英语 Book Contents 内容简介 This book describes the foundation processes and analytical practices for identifying, analyzing, measuring, and managing risk in traditional systems, systems-of-systems, and enterprise systems. It uses numerous examples and chapter exercises to illustrate how principles are applied to actual engineering systems projects. The author presents a new way, in the form of a supplier–provider framework, to model and measure risk in the engineering of enterprise systems being developed by capabilities-based approaches. He also explores research ideas for the development of advanced risk analysis and management protocols and discusses success factors for managing risk in the engineering of systems.
¥1560
【预订】Numerical Methods and Applications 9783031324116 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031324116 Author 作者 Ivan Georgiev Format 版本 平装-胶订 Pages Number 页数 350页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-06-14 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.76 Shipping Weight 商品重量 1.13 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Numerical Methods and Applications, NMA 2022, held in Borovets, Bulgaria, in August 2022.The 30 revised regular papers presented were carefully reviewed and selected from 38 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 polynomia
¥803.00
【3-6周达】Field Methods for Petroleum Geologists: A Guide to Co 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Newton Methods for Nonlinear Problems: Affine Invaria 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
预订 Formal Methods in Computer Science [ISBN:9781498775328] 【全球购】进口原版图书，一般5-8周左右到国内
¥1052
海外直订Formal Methods for Components and Objects: 11th Internat
¥559.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车