【预订】Formal Methods for Dynamical Systems 9783642388736 美国库房发货，通常付款后3-5周到货！
¥504.00
预订 Video Methods: Social Science Research in Motion 视频方法：活动的 国外库房发货，通常付款后3-5周到货
¥2110
【预订】Homotopy Methods and Global Convergence 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Analytic Methods in the Theory of Differential and Pseud 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】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
预订 Formal Methods in Manufacturing [ISBN:9781466561557] 【全球购】进口原版图书，一般5-8周左右到国内
¥2793
Numerical Methods for Fractional Calculus 分数阶微积分的数值方法
¥599.00
【预订】Scaling Methods 美国库房发货，通常付款后3-5周到货！
¥707.00
【预订】Commercial Methods of Analysis 美国库房发货，通常付款后3-5周到货！
¥2547
【预订】Research Methods for Social Psychology 9781118406052 美国库房发货，通常付款后3-5周到货！
¥1499
【预订】Analytical Methods in Corrosion Science and Engineering 美国库房发货，通常付款后3-5周到货！
¥2751
【预订】Formal Methods for Mining Structured Objects 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Software Methods for Business Reengineering 9781461 美国库房发货，通常付款后3-5周到货！
¥548.00
按需印刷New Methods in Cognitive Psychology 预订，预计下单后2-3周左右发货！
¥1638
【预订】Research Methods in Practice: Strategies for De*ion and 美国库房发货，通常付款后3-5周到货！
¥763.00
海外直订Formal Methods and Testing: An Outcome of the Fortest Ne
¥553.00
[预定]Ensemble Methods: Foundations and Algorithms 海外预定商品，预计60-90天发货，非质量问题不支持退货
.
¥1037.4
【3-6周达】Methods for Business Analysis and Forecasting: Text a 【全球购】进口原版图书，一般3-6周左右到国内
¥4495
【预售 按需印刷】Research Methods in Criminal Justice and
¥1590.35
【预售 按需印刷】Research Methods in Tourism, Hospitality
¥755.65
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1043
【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
【3-6周达】Applied Methods of Structural Reliability (Softcover 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【预订】Topics and Methods for Urban and Landscape Design 978331 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319515342 Author 作者 Ingaramo Format 版本 精装 Pages Number 页数 259页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-04-07 Shipping Weight 商品重量 591g Language 语种 英语 Book Contents 内容简介 This book combines urban planning and architectural tools in an attempt to overcome the limitations of sectoral measures. In this perspective, it offers a forum for the debate of different approaches used by schools of planning and architecture. It explores strategies by drawing from the potential contributions of cognitive models for decisions, the role of utopian thinking and retrofitting actions and their interconnectedness, the role of cultural legacy for urban and landscape design, the design perspectives about public spaces, and the role of architecture design and urban and regional planning for landscape quality.The bo
¥1095
【3-6周达】Methods in Floristic and Phytosociological Study [ISB 【全球购】进口原版图书，一般3-6周左右到国内
¥996.00
3-6周达 Matrix Methods [ISBN:9780128184196] 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥1016
【预订】Advanced Methods in Molecular Biology and Biotechnology: 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128244494 Author 作者 Masoodi Khalid Z. Format 版本 平装-胶订 Publisher 出版社 Academic Press Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1386
【预订】Epigenetic Methods in Neuroscience Research 978149394941 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493949410 Author 作者 Nina Karpova Format 版本 平装-胶订 Pages Number 页数 258页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 617g Language 语种 英语 Book Contents 内容简介 This volume presents state-of-the-art methods for reliable detection of epigenetic changes in the nervous system.?Epigenetic Methods in Neuroscience Research? guides readers through methods for the analyses of chromatin remodeling, transposable elements, non-coding RNAs, such as miRNAs, and circadian oscillations, including: analysis of DNA methylation in neuronal and glial cells or small tissue samples; sensitive method for quantification of alternative methylated forms of cytosines by liquid chromatography/mass spectrometry; affinity-based detection of modified cytosines by immunohistochemistry or methylated DNA immunoprecipitation; c
¥766.00
【预订】Few-Body Methods: Principles and Applications - Proceedi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789971501266 Format 版本 精装 Pages Number 页数 900页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1800-01-01 Language 语种 其它（含多语）
¥3640
【预订】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
海外直订Formal Methods: 22nd International Symposium, FM 2018, H
¥908.00
海外直订Asymptotic Methods in Statistical Decision Theory 统计决策理论
¥3589
海外直订Formal Methods: Foundations and Applications: 15th Brazi
¥588.00
预订 Modern Methods in Scientific Computing and Applications [ 【全球购】进口原版图书，一般5-8周左右到国内
¥1279
【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
预订 Kernel Methods for Pattern Analysis [ISBN:9780521813976] 【全球购】进口原版图书，约3-6周到达国内后发出
¥1089
【预订】Numerical Methods in Geotechnical Engineering IX, Volume 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138332034 Author 作者 Edited by Manuel de Matos Fernandes Format 版本 精装 Pages Number 页数 900页 Publisher 出版社 CRC Press Publication Date 出版日期 2018-06-19 Language 语种 其它（含多语） Book Contents 内容简介 NUMGE 2018 ;is the ninth in a series of conferences on Numerical Methods in Geotechnical Engineering organized by the ERTC7 under the auspices of the International Society for Soil Mechanics and Geotechnical Engineering (ISSMGE). The conference provides a forum for exchange of ideas and discussion on topics related to numerical modelling in geotechnical engineering. Both senior and young researchers, as well as scientists and engineers from Europe and overseas, are invited to attend this conference to share and exchange their knowledge and experiences. This work is the second volume of NUMGE 2018.
¥2780
预订 Formal Methods in Computer Science 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781498775328 Author 作者 Jiacun Wang and William Tepfenhart Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 20190702 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-lev
¥949.00
【预订】Numerical Methods and Methods of Approximation in Scienc 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367136727 Author 作者 Karan S. Surana Format 版本 精装 Pages Number 页数 498页 Publication Date 出版日期 2018-11-02 Language 语种 英语 Book Contents 内容简介 This unique textbook focuses on building a theoretical foundation for understanding and applying numerical methods in engineering. Readers will learn to structure sequences of operations into programs in any language; this approach builds a deep understanding of the methods and how best to apply them, backed by numerous examples and problems.
¥1899
【预订】Analytical Methods in Fuzzy Modeling and Control 9783540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540899266 Author 作者 Jacek Kluska Format 版本 精装 Pages Number 页数 251页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-03-10 Shipping Weight 商品重量 584g Language 语种 英语 Book Contents 内容简介 This book is focused on mathematical analysis and rigorous design methods for fuzzy control systems based on Takagi-Sugeno fuzzy models, sometimes called Takagi-Sugeno-Kang models.
¥1643
【预订】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
【3-6周达】Current Methods in Historical Semantics [ISBN:9783110 【全球购】进口原版图书，一般3-6周左右到国内
¥2745
【预订】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
【预订】Homotopy Methods in Topological Fixed and Periodic Point 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048169986 Author 作者 Jezierski Format 版本 平装-胶订 Pages Number 页数 320页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-11-18 Language 语种 英语 Book Contents 内容简介 The notion of a xed point plays a crucial role in numerous branches of mat- maticsand its applications. Informationabout the existence of such pointsis often the crucial argument in solving a problem. In particular, topological methods of ?xed point theory have been an increasing focus of interest over the last century. These topological methods of ?xed point theory are divided, roughly speaking, into two types. The ?rst type includes such as the Banach Contraction Principle where the assumptions on the space can be very mild but a small change of the map can remove the ?xed point. The second type, on the other hand, such as the Brouwer and Lefschetz Fixed Point Theorems
¥1095
【预订】Relational Methods in Computer Science 9783540003151 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540003151 Author 作者 de Swart Format 版本 平装-胶订 Pages Number 页数 318页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-12-11 Language 语种 英语
¥548.00
【预订】Research Methods for Managers 美国库房发货，通常付款后3-5周到货！
¥1533
【3-6周达】Formal Methods and Software Engineering [ISBN:9783540 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】New Methods of Sensory Visual Testing [ISBN:978146138 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Rapid Methods and Automation in Microbiology and Immu 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Rapid Methods for Analysis of Edible Oils and Fats by 【全球购】进口原版图书，一般3-6周左右到国内
¥1052
【预订】Geometric Methods in Physics 9783034807814 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783034807814 Author 作者 Kielanowski Format 版本 平装-胶订 Pages Number 页数 237页 Publisher 出版社 Springer Basel Publication Date 出版日期 2015-08-08 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 385g Language 语种 英语 Book Contents 内容简介 The Biaowie?a workshops on Geometric Methods in Physics, taking place in the unique environment of the Bia?owie?a natural forest in Poland, are among the important meetings in the field. Every year some 80 to 100 participants both from mathematics and physics join to discuss new developments and to interchange ideas. The current volume was produced on the occasion of the XXXI meeting in 2012. For the first time the workshop was followed by a School on Geometry and Physics, which consisted of advanced lectures for graduate students and young researchers. Selected speakers of the w
¥713.00
【预订】Spectral Methods and Their Applications 9789810233334 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789810233334 Author 作者 Guo Ben-Yu Format 版本 精装 Pages Number 页数 360页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1998-05-05 Shipping Weight 商品重量 613g Language 语种 英语 Book Contents 内容简介 This book presents the basic algorithms, the main theoretical results, and some applications of spectral methods. Particular attention is paid to the applications of spectral methods to nonlinear problems arising in fluid dynamics, quantum mechanics, weather prediction, heat conduct
¥1372
【预订】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
海外直订Formal Methods for Open Object-Based Distributed Systems
¥2067
海外直订医药图书Methods in Medicine: A Descriptive Study of Physicia
¥553.00
【3-6周达】Formal Methods in Macro-Biology: First International 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Design Methods for Reducing Failure Probabilities with E 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031370182 Author 作者 Mona Fuhrl?nder Format 版本 精装 Pages Number 页数 106页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-08-20 Language 语种 其它（含多语） Book Contents 内容简介 This book deals with efficient estimation and optimization methods to improve the design of electrotechnical devices under uncertainty. Uncertainties caused by manufacturing imperfections, natural material variations, or unpredictable environmental influences, may lead, in turn, to deviations in operation. This book describes two novel methods for yield (or failure probability) estimation. Both are hybrid methods that combine the accuracy of Monte Carlo with the efficiency of surrogate models. The SC-Hybrid approach uses stochastic collocation and adjoint error indicators. The non-intrusive GPR-Hybrid approach consists of a Gaussian process regression
¥1643
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车