海外直订Modern Methods of Plant Analysis / Moderne Methoden Der
¥1325
【预售 按需印刷】ABSTRACT METHODS IN INFORMATION THEORY (S
¥1384.65
预订 New Methods for Chaotic Dynamics [ISBN:9789812568175] 【全球购】进口原版图书，一般5-8周左右到国内
¥1036
【预订】Formal Methods and Software Engineering 9783642245589 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642245589 Author 作者 Qin Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-10-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
¥548.00
【预订】Formal Methods for Components and Objects 9783540291312 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540291312 Author 作者 de Boer Format 版本 平装-胶订 Pages Number 页数 328页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-19 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 the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a co
¥548.00
【预订】Numerical Methods for Metamaterial Design 9789400766631 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Advanced Methods of Fatigue Assessment 9783642429002 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Advanced Methods in Structural Biology 9784431560289 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods for Simulation and Optimization of Pie 美国库房发货，通常付款后3-5周到货！
¥2020
【预订】multigrid methods 9780824779795 美国库房发货，通常付款后3-5周到货！
¥3467
【预订】Analytical Methods in Petroleum Upstream Applications 97 美国库房发货，通常付款后3-5周到货！
¥2305
【预订】Practical Methods for Biocatalysis and Biotransformation 美国库房发货，通常付款后3-5周到货！
¥1703
【预订】Geological Methods in Mineral Exploration and Mining 978 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Laboratory Methods in Enzymology 9780128002797 美国库房发货，通常付款后3-5周到货！
¥2122
预订 Godunov Methods: Theory and Applications [ISBN:9780306466 【全球购】进口原版图书，约3-6周到达国内后发出
¥3139
【3-6周达】Padé Methods for Painlevé Equations (2021) [ISBN:9789 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【预订】Vortex Methods in Two-Dimensional Fluid Dynamics 9783540 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Modern Methods of Analytical Mechanics and Their Applica 美国库房发货，通常付款后3-5周到货！
¥758.00
【预订】Formal Methods: State of the Art and New Directions 9781 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】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
【预订】Low-Cost Methods for Molecular Characterization of Mutan 美国库房发货，通常付款后3-5周到货！
¥675.00
【预订】Energy Methods in Time-Varying System Stability and Inst 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Preventive Methods for Coastal Protection 9783319004396 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】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
【3-6周达】Soft Methods for Data Science [ISBN:9783319429717] 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【3-6周达】Malaria Methods and Protocols [ISBN:9781617372056] 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【3-6周达】Methods of Studies of Integro-Differential Equations 【全球购】进口原版图书，一般3-6周左右到国内
¥532.00
【预订】Interval Methods for Circuit Analysis 美国库房发货，通常付款后3-5周到货！
¥1381
预订 Various Methods of Fault Detection and Analysis of Solar 国外库房发货，通常付款后3-5周到货
¥561.00
【预售 按需印刷】Concepts Methods Infectious Disease 北京直发，付款后10日内发货
¥899.00
【预订】Web-Based Methods for Visualizing Automobile Traffic 美国库房发货，通常付款后3-5周到货！
¥760.00
【预订】Research Methods in Health: Investigating Health and Hea 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780335250929 Author 作者 Bowling Format 版本 平装-胶订 Pages Number 页数 576页 Publisher 出版社 Open University Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.69 x 7.44 x 1.17 Shipping Weight 商品重量 2.24磅 Language 语种 其它（含多语）
¥727.00
【预订】Tools and Methods of Program Analysis 9783031504228 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031504228 Author 作者 Rostislav Yavorskiy Format 版本 平装-胶订 Pages Number 页数 189页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-01-13 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.44 Shipping Weight 商品重量 0.66磅 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.
¥711.00
【预订】Functional Methods in Quantum Field Theory and Statistic 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367579265 Author 作者 A.N. Vasiliev Format 版本 平装-胶订 Pages Number 页数 326页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.6 Language 语种 其它（含多语） Book Contents 内容简介 Providing a systematic introduction to the techniques which are fundamental to quantum field theory, this book pays special attention to the use of these techniques in a wide variety of areas, including ordinary quantum mechanics, quantum mechanics in the second-quantized formulation, relativistic quantum field theory, Euclidean field theory, quantum statistics at finite temperature, and the classical statistics of nonideal gas and spin systems. The extended chapter on variational methods and functional Legendre transformations contains completely original mater
¥664.00
【3-6周达】Formal Methods and Software Engineering [ISBN:9783319 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
海外直订Formal Methods in Standards: A Report from the BCS Worki
¥662.00
【3-6周达】New methods for determining the static and impact har 【全球购】进口原版图书，一般3-6周左右到国内
¥476.00
【3-6周达】Novel Methods for Monitoring and Managing Land and Wa 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Costing methods and budget management: With case studies 国外库房发货，通常付款后3-5周到货
¥1047
【预订】Ideas and Methods in Quantum and Statistical Physics 978 美国库房发货，通常付款后3-5周到货！
¥2128
【预订】Integral Methods in Science and Engineering 978303016076 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030160760 Author 作者 Christian Constanda Format 版本 精装 Pages Number 页数 432页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2019-07-12 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. The chapters in this book are based on talks given at the Fifteenth International Conference on Integral Methods in Science and Engineering, held July 16-20, 2018 at the University of Brighton, UK, and are written by internationally recognized researchers. The topics addressed are wide ranging, and include:Asymptotic analysisBoundary-domain integral equationsViscoplastic fluid flowStationary wavesInterior Neumann shape optimizationSelf-configuring neu
¥1314
【预订】Numerical Methods for Science and Engineering 9789388305 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789388305891 Author 作者 Ravinder Reddy Format 版本 精装 Pages Number 页数 400页 Publisher 出版社 Bs Publications Publication Date 出版日期 2019-01-01 Language 语种 其它（含多语） Book Contents 内容简介 Tba
¥758.00
【3-6周达】New Methods in Symmetric Cryptanalysis [ISBN:97838465 【全球购】进口原版图书，一般3-6周左右到国内
¥1048
预订 Formal Methods and Software Engineering 预订商品
¥1095
预订 Rapid methods for biological and chemical contaminants in 国外库房发货，通常付款后3-5周到货
¥1809
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
海外直订Modern Methods of Speech Processing 现代语音处理方法
¥1978
海外直订医药图书Methods of Protein Microcharacterization: A Practica
¥1325
【预订】Physical Methods in Chemistry and Nano Science. Volume 8 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781838080310 Author 作者 Barron Andrew Format 版本 平装-胶订 Pages Number 页数 154页 Publisher 出版社 Midas Green Innovation, Ltd Publication Date 出版日期 2020-05-31 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.40 Shipping Weight 商品重量 0.65 Language 语种 其它（含多语）
¥729.00
【预订】Bayesian Methods in Health Economics 9781032477534 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032477534 Author 作者 Gianluca Baio Format 版本 平装-胶订 Pages Number 页数 244页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-01-09 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 Health economics is concerned with the study of the cost-effectiveness of health care interventions. This book provides an overview of Bayesian methods for the analysis of health economic data. After an introduction to the basic economic concepts and methods of evaluation, it presents Bayesian statistics using accessible mathematics. The next chapters describe the theory and practice of cost-effectiveness analysis from a statistical viewpoint, and Bayesian computation, notably MCMC. The final chapter presents three detailed case studies covering cost-effectiveness analyses using individual data from
¥583.00
【预订】Bootstrap Methods: With Applications in R 9783030734824 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030734824 Author 作者 Dikta Gerhard Format 版本 平装-胶订 Pages Number 页数 256页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.58 Shipping Weight 商品重量 0.85 Language 语种 其它（含多语）
¥851.00
【预订】Modern Methods for the Determination of Non-Metals in No 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783110103427 Format 版本 精装 Pages Number 页数 410页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 1985-04-01 Language 语种 其它（含多语）
¥2332
海外直订Modern Methods in Orchid Conservation 兰花保护的现代方法
¥1936
海外直订Modern Methods in Analytical Morphology 现代分析形态学方法
¥662.00
【预订】Numerical Methods for Inverse Problems 9781848218185 美国库房发货，通常付款后3-5周到货！
¥2020
【预订】Geometric Methods in Physics 9783319182117 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods for Stiff Equations and Singular Pertu 美国库房发货，通常付款后3-5周到货！
¥548.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车