【3-6周达】Formal Methods and Software Engineering: 22nd Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Taguchi Methods for Robust Design [ISBN:9780791801574 【全球购】进口原版图书，一般3-6周左右到国内
¥955.00
【3-6周达】Mucins: Methods and Protocols [ISBN:9781493958863 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
海外直订Golgi: Methods and Protocols Golgi: Methods and Protocol
¥2701
【预订】Advanced Methods for Inconsistent Knowledge Management 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781846288883 Author 作者 Ngoc Thanh Nguyen Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer London Publication Date 出版日期 2007-09-28 Product Dimensions 商品尺寸 23.4 x 15.6 x 2.1 cm Shipping Weight 商品重量 0.7 kg Language 语种 其它（含多语） Book Contents 内容简介 Nowadays in the knowledge society, each member deals with a number of tasks related to knowledge management. The most often realized tasks are: decision making, knowledge integration, selection, and retrieval. In all these tasks one has to solve inconsistency of knowledge. Inconsistency is a feature of knowledge which is characterized by the lack of possibility for inference processes. Therefore, solving inconsistency of knowledge is a basic and very essential subtask in many tasks of knowledge management. The whole management process may become impossible if
¥1643
【预订】Analytic Methods in Arithmetic Geometry 9781470437848 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781470437848 Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2020-02-28 Product Dimensions 商品尺寸 17.78 x 1.27 x 24.77 cm ( Language 语种 其它（含多语） Book Contents 内容简介 This volume contains the proceedings of the Arizona Winter School 2016, which was held from March 12-16, 2016, at The University of Arizona, Tucson, AZ. In the last decade or so, analytic methods have had great success in answering questions in arithmetic geometry and number theory. The School provided a unique opportunity to introduce graduate students to analytic methods in arithmetic geometry. The book contains four articles. Alina C. Cojocaru’s article introduces sieving techniques to study the group structure of points of the reduction of an elliptic curve modulo a rational prime via its division fiel
¥1614
【预订】Numerical Methods 9789389932256 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789389932256 Author 作者 Sambaiah Format 版本 平装-胶订 Pages Number 页数 888页 Publisher 出版社 White Falcon Publishing Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 8.50 x 5.50 x 1.76 Shipping Weight 商品重量 2.22磅 Language 语种 其它（含多语）
¥516.00
【预订】Stochastic Methods for Boundary Value Problems 978311047 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783110479065 Author 作者 Sabelfeld Format 版本 精装 Pages Number 页数 198页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2016-09-26 Product Dimensions 商品尺寸 24,0 x 17,0 Language 语种 其它（含多语） Book Contents 内容简介 This monograph is devoted to random walk based stochastic algorithms for solving high-dimensional boundary value problems of mathematical physics and chemistry. It includes Monte Carlo methods where the random walks live not only on the boundary, but also inside the domain. A variety of examples from capacitance calculations to electron dynamics in semiconductors are discussed to illustrate the viability of the approach.
¥1580
【预订】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
按需印刷100 Methods for Total Quality Management 预订，预计下单后2-3周左右发货！
¥740.00
【预订】Geometric Methods for Quantum Field Theory 9789810243517 美国库房发货，通常付款后3-5周到货！
¥2108
【预订】Computer Methods in Biomechanics and Biomedical Engineer 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】The Fence Methods 9789814596060 美国库房发货，通常付款后3-5周到货！
¥1031
【预订】Quantum Methods In Social Science: A First Course 978178 美国库房发货，通常付款后3-5周到货！
¥947.00
【预订】Geometric Methods in the Elastic Theory of Membranes in 美国库房发货，通常付款后3-5周到货！
¥1015
【预订】Quantum Methods In Social Science 9781786342775 美国库房发货，通常付款后3-5周到货！
¥652.00
【预订】Prions: Methods and Protocols 9781493972425 美国库房发货，通常付款后3-5周到货！
¥1643
海外直订Formal Methods: 26th International Symposium, FM 2024, M
¥489.00
【预订】Algebraic Methods in Functional Analysis: The Victor Shu 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods and Software Engineering 9783031172434 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031172434 Author 作者 Adrian Riesco Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-10-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.92 Shipping Weight 商品重量 1.40 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
¥548.00
【预订】Research Methods: The Basics 9781138693982 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138693982 Author 作者 Nicholas Walliman Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Routledge Publication Date 出版日期 2017-09-12 Product Dimensions 商品尺寸 198x129mm Language 语种 其它（含多语） Book Contents 内容简介 Research Methods: The Basics is an accessible, user-friendly introduction to the different aspects of research theory, methods and practice.
¥1042
【预订】Research Methods in Public Administration and Public Man 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032027647 Author 作者 Sandra van Thiel Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Routledge Publication Date 出版日期 2021-08-30 Language 语种 其它（含多语） Book Contents 内容简介 Research in Public Administration and Public Management has distinctive features that influence the choices and application of research methods. The standard methodologies for researching from the social sciences can be difficult to follow in the complex world of the public sector. In a dynamic political context, the focus lies on solving societal problems whilst also using methodological principles to do scientifically sound research.The second edition of Research Methods in Public Administration and Public Management represents a comprehensive guide to undertaking and using research in Public Management and Administration. It is succinct but covers a wide variety
¥2261
预订 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
【预订】Visual Methods of Inquiry: Images as Research 9780367250 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367250485 Author 作者 Freedman Kerry Format 版本 平装-胶订 Pages Number 页数 218页 Publisher 出版社 Routledge Publication Date 出版日期 1800-01-01 Language 语种 其它（含多语）
¥527.00
【预订】Integral Methods in Science and Engineering 978303107173 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031071737 Author 作者 Christian Constanda Format 版本 平装-胶订 Pages Number 页数 360页 Publisher 出版社 Birkh?user Science Publication Date 出版日期 2023-10-14 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.78 Shipping Weight 商品重量 568 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 electri
¥1753
Visual Methods in Social Research 社会研究中的视觉方法 Marcus Banks
¥489.00
预订 Seismic Methods and Applications: A Guide for the Detecti 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1017
【3-6周达】Formal Methods at the Crossroads. From Panacea to Fou 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Formal Methods: Foundations and Applications 97830314934 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031493416 Author 作者 Haniel Barbosa Format 版本 平装-胶订 Pages Number 页数 153页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-12-19 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.38 Shipping Weight 商品重量 0.56磅 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
¥603.00
【预订】Formal Methods for Software Engineering 9783030387990 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030387990 Author 作者 Markus Roggenbach Format 版本 精装 Pages Number 页数 528页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-16 Language 语种 其它（含多语） Book Contents 内容简介 Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the
¥821.00
【预订】Analytical Methods in Anisotropic Elasticity: With Symbo 美国库房发货，通常付款后3-5周到货！
¥548.00
【预售 按需印刷】Topics and Methods in q-Series
¥1581
【预订】Analytic Methods in Sports 9780367252076 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367252076 Author 作者 Thomas A. Severini Format 版本 精装 Pages Number 页数 356页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-03-31 Language 语种 英语 Book Contents 内容简介 This book provides a concise yet thorough introduction to the analytic and statistical methods that are useful in studying sports. It explains how to apply the methods to sports data and interpret the results, demonstrating that the analysis of sports data is often different from standard statistical analyses.
¥2035
【预订】Research Methods and Applications for Student Affairs 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119299707 Author 作者 J. Patrick Biddix Format 版本 精装 Pages Number 页数 352页 Publication Date 出版日期 2018-02-09 Language 语种 英语 Book Contents 内容简介 The purpose of this book is to provide graduate students, faculty, and student affairs professionals with a primary textbook and reference guide for conducting and applying research in student affairs. Currently, student affairs academic field does not have a separate text for methods instruction. This textbook is designed meet that need by teaching readers about the role of research in the field, how to interpret its various forms, how to be critical as a research consumer, and how to use research to inform practice. This book would help the students and current practitioners develop and enhance skills in research methods and learn to apply those skills to work contexts. The book would help faculty by providing a single reference that
¥544.00
海外直订Formal Methods for Industrial Critical Systems 工业关键系统的形式
¥490.00
【预订】Research Methods in Clinical Linguistics and Phonetics - 美国库房发货，通常付款后3-5周到货！
¥1419
【预订】Inverse Methods in Global Biogeochemical Cycles, Geophys 美国库房发货，通常付款后3-5周到货！
¥975.00
【预订】Research Methods in Intercultural Communication 97811188 美国库房发货，通常付款后3-5周到货！
¥1272
【预订】Algebraic Methods for Nonlinear Control Systems 97818462 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781846285943 Author 作者 Giuseppe Conte Università Politecnica Marche Dipto. Ingegne Format 版本 精装 Pages Number 页数 178页 Publisher 出版社 Springer London Publication Date 出版日期 2006-12-01 Language 语种 英语 Book Contents 内容简介 A self-contained introduction to algebraic control for nonlinear systems suitable for researchers and graduate students. ’Algebraic Methods for Nonlinear Control Systems’ develops a linear-algebraic alternative to the usual differential-geometric approach to nonlinear control, using vector spaces over suitable fields of nonlinear functions. It describes a range of results, some of which can be derived using differential geometry but many of which cannot. They include: classical and generalized realization in the nonlinear context; accessibility and observability recast for the linear-algebraic setting; discussion and solution o
¥1095
【预订】Direct Methods for Solving the Boltzmann Equation and St 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781402003882 Author 作者 Aristov Format 版本 平装-胶订 Pages Number 页数 302页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2001-11-30 Language 语种 英语 Book Contents 内容简介 This book is concerned with the methods of solving the nonlinear Boltz? mann equation and of investigating its possibilities for describing some aerodynamic and physical problems. This monograph is a sequel to the book ’Numerical direct solutions of the kinetic Boltzmann equation’ (in Russian) which was written with F. G. Tcheremissine and published by the Computing Center of the Russian Academy of Sciences some years ago. The main purposes of these two books are almost similar, namely, the study of nonequilibrium gas flows on the basis of direct integration of the kinetic equations. Nevertheless, there are some new aspects in the way this topic is treated in the prese
¥1205
【预订】Theory and Methods of Metallurgical Process Integration 美国库房发货，通常付款后3-5周到货！
¥2132
【预订】Neutrophil Methods and Protocols 9781617377792 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Formal Methods Applied to Industrial Complex Systems 978 美国库房发货，通常付款后3-5周到货！
¥2441
【预订】Energy Methods in Continuum Mechanics: Proceedings of th 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Oogenesis: Methods and Protocols 9781493937936 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Abstract Methods in Information Theory, 2/e 978981475923 美国库房发货，通常付款后3-5周到货！
¥1660
【预订】Nuclease Methods and Protocols 9781617371301 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Advanced Methods of Structural Analysis 9783030443962 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030443962 Author 作者 Igor A. Karnovsky Format 版本 平装-胶订 Pages Number 页数 795页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-17 Product Dimensions 商品尺寸 11.00 x 8.25 x 1.67 Shipping Weight 商品重量 4.08 Language 语种 其它（含多语） Book Contents 内容简介 This revised and significantly expanded edition contains a rigorous examination of key concepts, new chapters and discussions within existing chapters, and added reference materials in the appendix, while retaining its classroom-tested approach to helping readers navigate through the deep ideas, vast collection of the fundamental methods of structural analysis. The authors show how to undertake the numerous analytical methods used in structural analysis by focusing on the principal concepts, detailed procedures and results, as well as taking into
¥2190
海外直订Mixed Methods in Ethnographic Research: Historical Persp
¥2675
海外直订Energy Methods in Continuum Mechanics: Proceedings of th
¥1988
【预订】Standard Methods for Thermal Comfort Assessment of Cloth 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138390980 Author 作者 Ivana ?peli? Format 版本 平装-胶订 Pages Number 页数 228页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-06-25 Language 语种 英语 Book Contents 内容简介 Providing analysis of the thermal comfort assessment of clothing as the basis for developing standards, this book discusses the thermal protective role of clothing as a way of modelling heat transfer from the body, general thermal regulation of humans and the importance of globally accepted test methods and standards to improve quality.
¥1560
【预订】Research Methods for Education in the Digital Age 978147 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781474245630 Author 作者 Savin-Baden Maggi Format 版本 精装 Pages Number 页数 296页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2017-01-12 Language 语种 英语 Book Contents 内容简介 What is research in education And what is it for in a digital age? Reflecting upon these questions, this engaging introduction provides critical discussion about the dilemmas of researching education in the digital age and ways forward for research in this complex area. Research Methods for Education in the Digital Age begins by outlining forms of education that are seen as digital, such as virtual, blended, immersive learning and examining the extent to which these are different or just adapted versions of earlier methods and approaches to education. Maggi Savin-Baden and Gemma Tombs explore current practices in research, identifying the successful adoption and adapt
¥1312
【预订】Formal Methods for Components and Objects 9783540229421 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540229421 Author 作者 Boer Format 版本 平装-胶订 Pages Number 页数 371页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-10-27 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers pre
¥548.00
【预订】Formal Methods in Systems Engineering 9783540197515 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Multiscale Methods for Fredholm Integral Equations 97811 美国库房发货，通常付款后3-5周到货！
¥2181
【预订】Advanced Methods for Computational Collective Intelligen 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Bayesian Methods in Reliability 9789401055390 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Advancing Methods for Biomolecular Crystallography 97894 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Spectral Methods in Chemistry and Physics 9789401794534 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Advanced Methods of Continuum Mechanics for Materials an 美国库房发货，通常付款后3-5周到货！
¥1643
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车