【预订】Agile Methods: 9th Brazilian Workshop, Wbma 2018, Campin 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
【预订】Mixed Methods Research: Research Methods [ISBN:978135027 【全球购】进口原版图书，约10-12周到达国内后发出
¥689.00
海外直订Recent Methods from Statistics and Machine Learning for
¥496.00
【预订】Ecological Methods, 4E 9781118895283 美国库房发货，通常付款后3-5周到货！
¥1000
预订 Fuzzy Methods for Customer Relationship Management and Ma 【全球购】进口原版图书，一般5-8周左右到国内
¥2259
预订 Root Methods: A Handbook [ISBN:9783642086021] 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥1644
【预订】Logical Methods: The Art of Thinking Abstractly and Math 【全球购】进口原版图书，一般10-12周左右到国内
¥486.00
预订 Godunov Methods: Theory and Applications [ISBN:9781461351 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥3423
【预订】Matrix Methods in Data Mining and Pattern Recognition [I 【全球购】进口原版图书，一般10-12周左右到国内
¥1099
海外直订Formal Methods: Foundations and Applications: 20th Brazi
¥861.00
Research Methods for the Behavioral Sciences 英文原版 行为科学研究方法 第
¥664.00
按需印刷New Methods of Financing Your Business in the United Sta 预订，预计下单后2-3周左右发货！
¥585.00
【预订】Direct Methods in Control Problems 9780817647223 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780817647223 Author 作者 Peter L. Falb Format 版本 精装 Pages Number 页数 311页 Publisher 出版社 Birkh?user Publication Date 出版日期 2020-01-31 Language 语种 英语 Book Contents 内容简介 The primary focus of this book is on explicating the direct method approach. Historically, direct methods have not been fully exploited in control problems. The key is constructing convergent minimizing families. Integration methods (for example the gradient method) and representation methods (such as the Ritz-Galerkin and Finite Element methods) are examined in this text in an abstract (with concrete examples) functional analytic way. The aim is to consider direct methods from a unified general point of view and to provide a stimulus for future research. Explicitly, implicitly and by example, potential areas of research interest are indicated.The book is a suitable reference for gra
¥932.00
按需印刷Mixing Methods in Social Research:Qualitative, Quantitat 预订，预计下单后2-3周左右发货！
¥1415
按需印刷Matrix Methods and Fractional Calculus 预订，预计下单后2-3周左右发货！
¥1225
【预订】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
【预订】Formal Methods for Mining Structured Objects (2013) [ISB 【全球购】进口原版图书，一般10-12周左右到国内
¥1105
预订 Modern Methods of Valuation [ISBN:9781138503502] 【全球购】进口原版图书，一般5-8周左右到国内
¥1773
【预订】Hedonic Methods in Housing Markets: Pricing Environmenta 【全球购】进口原版图书，一般10-12周左右到国内
¥2156
【预订】Natural Methods for Equine Health and Performance 2E 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781405179294 Author 作者 Mary Bromiley Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 Wiley-Blackwell Publication Date 出版日期 2009-02-24 Language 语种 英语 Book Contents 内容简介 New edition of the classic book on the subject. Provides advice on natural horsemanship, contrasting the natural and domestic habitats. Covers a range of holistic methods of treatment, including acupuncture, massage, herbalism and homeopathy. Discusses developmental interaction between a horse and humans.
¥646.00
预订 Protein Methods, 2Nd Edition 蛋白质方法 第2版 9780471118374 国外库房发货，通常付款后3-5周到货
¥2477
【预订】Formal Methods Teaching: 4th International Workshop and 【全球购】进口原版图书，一般10-12周左右到国内
¥626.00
预订 Mixed Methods in Ethnographic Research: Historical Perspe 【全球购】进口原版图书，一般5-8周左右到国内
¥663.00
【预订】Bayesian Methods for Management and Business: Pragmatic 美国库房发货，通常付款后3-5周到货！
¥1840
预订 Unique Methods for Analyzing Failures and Catastrophic Ev 【全球购】进口原版图书，预计10-12周左右到国内
¥1209
【预订】General Methods in Biomarker Research and Their Applicat 【全球购】进口原版图书，一般10-12周左右到国内
¥5325
【预售 按需印刷】Extraction Methods for Environ Analysis
¥3088.05
【预售 按需印刷】Comparison Methods for Stochastic Models
¥2223.6
【预售 按需印刷】Modern Methods of Teaching
¥981.75
【预订】Dynein: Methods and Protocols [ISBN:9781071629604] 【全球购】进口原版图书，一般10-12周左右到国内
¥1395
【预订】Effective Methods for Software Engineering 9780367458386 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367458386 Author 作者 Boyd L. Summers Format 版本 精装 Pages Number 页数 166页 Publisher 出版社 Auerbach Publications Publication Date 出版日期 2020-06-03 Language 语种 英语 Book Contents 内容简介 Software is important because it is used by a great many people in companies and institutions. This book presents engineering methods for designing and building software. Based on the author’s experience in software engineering as a programmer in the defense and aerospace industries, this book explains how to ensure a software that is programmed operates according to its requirements. It also shows how to develop, operate, and maintain software engineering capabilities by instilling an engineering discipline to support programming, design, builds, and delivery to customers. This book helps software engineers to:Understand the basic concepts, standards, and requirements
¥1153
海外直订Latest Methods of Construction Design 建筑设计的最新方法
¥1739
【预订】Microarray Methods for Drug Discovery 9781493957392 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493957392 Author 作者 Sridar V. Chittur Format 版本 平装-胶订 Pages Number 页数 285页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 566g Language 语种 英语
¥1533
【预订】Production Methods and Workability of Concrete 978036744 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367448493 Format 版本 平装-胶订 Pages Number 页数 560页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.1 x 6.1 x 1.2 cm Shipping Weight 商品重量 1750g Language 语种 英语
¥813.00
【预订】Nuclear Methods in Science and Technology 9780367455880 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367455880 Author 作者 Tsipenyuk Format 版本 平装-胶订 Pages Number 页数 468页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-11-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 1440g Language 语种 英语 Book Contents 内容简介 The application of nuclear physics methods is now widespread throughout physics, chemistry, metallurgy, biology, clinical medicine, geology, and archaeology. Accelerators, reactors, and various instruments that have developed together with nuclear physics have often been found to offer the basis for increasingly productive and more sensitive analytical techniques. Nuclear Methods in Science and Technology provides scientists and engineers with a clear understanding of the basic principles of nuclear methods and their potential for applications in a wide range of disciplines. The fir
¥543.00
【预订】Formal Methods and Software Engineering: 17th Internatio 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
【预订】The Methods of Distances in the Theory of Probability an 【全球购】进口原版图书，一般10-12周左右到国内
¥1974
【预订】Wavelet Methods for Dynamical Problems 9781439804612 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781439804612 Author 作者 S. Gopalakrishnan and Mira Mitra Format 版本 精装 Pages Number 页数 304页 Publisher 出版社 CRC Press Publication Date 出版日期 2010-03-17 Shipping Weight 商品重量 566g Language 语种 英语 Book Contents 内容简介 Explaining wavelet transform from a mechanical engineering perspective, this book discusses the numerical solution of structural dynamics and wave propagation problems using wavelet transform methods. After an introduction to signal processing aspects, the text examines the implementation of wavelet transform for simulating the response of a dynamical system and then discusses the development of a wavelet-based simulation scheme for wave propagation analysis. The chapters also address wave propagation analysis of carbon nanotubes and the application of wave propagation studies for structural health monitoring, force identifica
¥815.00
【预订】Formal Methods in the Methodology of Empirical Sciences: 【全球购】进口原版图书，一般10-12周左右到国内
¥1684
海外直订Modern Methods of Analytical Mechanics and Their Applica
¥662.00
海外直订Energy Methods for Free Boundary Problems: Applications
¥1988
海外直订医药图书Methods and Applications of Artificial Intelligence:
¥662.00
预订 New Methods for the Study of Biomolecular Complexes [ISBN 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥1983
【预订】Aging: Methods and Protocols (2020) [ISBN:9781071605943] 【全球购】进口原版图书，一般10-12周左右到国内
¥1298
【预订】Formal Methods: Foundations and Applications: 17th Brazi 【全球购】进口原版图书，一般10-12周左右到国内
¥486.00
【预订】Hybrid Methods for Modeling and Optimizing Complex Syste 【全球购】进口原版图书，约10-12周到达国内后发出
¥2444
【预订】Seismic Methods in Uranium Exploration [ISBN:97838433501 【全球购】进口原版图书，一般10-12周左右到国内
¥1048
预订 Formal Methods for Nonmonotonic and Related Logics Vol. I 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥876.00
【预订】Bilevel Methods for Image Reconstruction [ISBN:978163828 【全球购】进口原版图书，一般10-12周左右到国内
¥1212
预订 Formal Methods 26th International Symposium, FM 2024, Mil 国外库房发货，通常付款后3-5周到货
¥1724
预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103220 【全球购】进口原版图书，一般5-8周左右到国内
¥1501
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
¥2572
预订 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
¥1076
【预订】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.
¥2152
【预订】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
【预订】Simple Methods to Study Pedology and Edaphology of India 【全球购】进口原版图书，一般10-12周左右到国内
¥1105
【预订】Numerical Methods in Mechanics of Materials, 3rd ed 9781 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138719163 Author 作者 Ken P. Chong, Arthur P. Boresi, Sunil Saigal and James D. Le Format 版本 精装 Pages Number 页数 340页 Publication Date 出版日期 2017-12-04 Language 语种 英语 Book Contents 内容简介 Although software can be used to model and analyze complex systems, the solution of an engineering problem and the accurate use of numerical results require some physical modeling and an understanding of the assumptions employed. This book provides the grounding in numerical methods necessary to avoid the blind acceptance of results.
¥1691
按需印刷Mesh Methods:Numerical Analysis and Experiments 预订，预计下单后2-3周左右发货！
¥496.00
按需印刷Formal Methods in Manufacturing Systems 预订，预计下单后2-3周左右发货！
¥2485
【预售 按需印刷】Counting Methods for Nowhere-Zero Flows 北京发货，付款后10天内发货
¥882.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车