【预订】Automatic Methods for the Refinement of System Models 97 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319414799 Author 作者 Julia Seiter Verden Germany Format 版本 平装-胶订 Pages Number 页数 94页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-07-11 Shipping Weight 商品重量 174g Language 语种 英语 Book Contents 内容简介 This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single de*ion for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated de*ions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement

¥548.00

中国进口图书旗舰店

Julia Seiter Verden Germany /2016-07-11 /Springer Berlin Heidelberg

【3-6周达】Formal Methods Teaching: Third International Workshop 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Dongol, Brijesh, Petre, Luigia, Smith, G /2019-10-16 /Springer

【3-6周达】Methods and Materials for Remote Sensing: Infrared Ph 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Abrahamian, Yuri /2012-11-21 /Springer

按需印刷DGYT Methods of Noncommutative Analysis 预订，预计下单后3-6周左右发货！

¥1862

上海外文书店旗舰店

Vladimir E. Nazaikinskii /De Gruyter

【3-6周达】Formal Methods for Safety and Security: Case Studies 【全球购】进口原版图书，一般3-6周左右到国内

¥1298

书之源外文图书

Nanda, Manju /2017-11-22 /Springer

【3-6周达】Direct Methods in the Calculus of Variations [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内

¥1750

书之源外文图书

Dacorogna, Bernard /2010-11-29 /Springer

【3-6周达】Toyota Methods and Operating Models: Achieve Business 【全球购】进口原版图书，一般3-6周左右到国内

¥2004

书之源外文图书

Cortiglioni, Stefano; Salcerini, Leonard /2020-04-28 /Kogan Page

【预售 按需印刷】Fourier Methods in Imaging

¥1935.45

中图图书旗舰店

Easton /2010-06-16 /John Wiley & Sons

海外直订Modern Methods for Business Research 商业研究的现代方法

¥1135

中华商务进口图书旗舰店

Marcoulides, George A. /1998-02-28 /Psychology Press

海外直订Formal Methods for Embedded Distributed Systems: How to

¥1325

中华商务进口图书旗舰店

Kordon, Fabrice /2010-11-04 /Springer

海外直订NMR Methods for Characterization of Synthetic an... 合成聚合

¥2736

中华商务进口图书旗舰店

No /2019-08-01 /Royal Society of Chemistry

海外直订EEG Methods for the Psychological Sciences 心理科学的脑电图方法

¥3291

中华商务进口图书旗舰店

Dickter, Cheryl L /2013-12-19 /SAGE Publications Ltd

海外直订Formal Methods and Testing: An Outcome of the Fortest Ne

¥662.00

中华商务进口图书旗舰店

Hierons, Robert M. /2008-05-31 /Springer

海外直订医药图书Methods of Partial Deafness Treatment 部分耳聋的治疗方法

¥1997

中华商务进口图书旗舰店

Skarżyński, Henryk /2021-09-29 /Routledge

海外直订Modern Methods for Business Research 现代商业研究方法

¥2353

中华商务进口图书旗舰店

No /1998-02-28 /Taylor & Francis Inc

海外直订Formal Methods for Industrial Critical Systems: 29th Int

¥735.00

中华商务进口图书旗舰店

Haxthausen, Anne E. /2024-08-20 /Springer

海外直订The Methods of Ethics 伦理学的方法

¥1219

中华商务进口图书旗舰店

Sidgwick, Henry /2023-02-16 /Outlook Verlag

海外直订Robust Methods for Data Reduction 数据约简的鲁棒方法

¥1710

中华商务进口图书旗舰店

Farcomeni, Alessio /2015-04-15 /CRC Press

预订 Formal Methods and Software Engineering 26th Internationa 国外库房发货，通常付款后3-5周到货

¥850.00

中国进口图书旗舰店

?tienne André /2025-11-12 /Springer Berlin Heidelberg

预订 Borel’s Methods of Summability Theory and Applications Bo 国外库房发货，通常付款后3-5周到货

¥1243

中国进口图书旗舰店

Shawyer, Bruce L. R.; Watson, Bruce /1994-07-14 /Oxford University Press

海外直订医药图书Methods in Medical Informatics 医学信息学方法

¥971.00

中华商务进口图书旗舰店

Berman, Jules J. /2018-09-17 /Taylor & Francis Ltd

【预订】Asymptotic Methods in the Theory of Plates with Mixed Bo 美国库房发货，通常付款后3-5周到货！

¥1646

中国进口图书旗舰店

Johnson, Id /2014-04-07 /Wiley

【预订】Mixed Methods Research: Research Methods [ISBN:978135027 【全球购】进口原版图书，约10-12周到达国内后发出

¥689.00

书之源外文图书

Mertens, Donna M.; Lester, Jessica Nina /2023-04-20 /Bloomsbury Academic

【预售 按需印刷】Digital Methods in Developing Textile Pro

¥744.60

中图图书旗舰店

Bianca Aluculesei /2021-10-05 /Materials Research Forum LLC

【预售按需印刷】Effective Methods of Teaching Volume of 3-

¥528.70

中图图书旗舰店

Sada Hassan Dutsinma /2014-02-19 /KS OmniScriptum Publishing

【预订】Formal Methods for the Design of Real-Time Systems [ISBN 【全球购】进口原版图书，约10-12周到达国内后发出

¥565.00

书之源外文图书

2004-09-01 /Springer Berlin Heidelberg

预订Research Methods For Business, Eighth EMEA Edition 预订，预计下单后2-3周左右发货！

¥788.00

上海外文书店旗舰店

Sekaran, U /2020-01-02 /John Wiley & Sons Inc

【预售 按需印刷】Advanced Methods for Complex Network Analysis 北京发货，付款后10天内发货

¥2193.42

中图图书旗舰店

Natarajan Meghanathan /2016-03-25 /IGI Global

预订 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

¥1172

中国进口图书旗舰店

Jiacun Wang and William Tepfenhart /2019-07-02 /Chapman and Hall/CRC

【预订】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.

¥2380

中国进口图书旗舰店

Karan S. Surana /2018-11-02 /暂无出版社信息

【预订】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.

¥2012

中国进口图书旗舰店

Ken P. Chong, Arthur P. Boresi, Sunil... /2017-12-04 /暂无出版社信息

3-6周达 Modern Methods for Theoretical Physical Chemistry of B 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥3422

书之源外文图书

Starikov, Evgeni /2006-07-01 /Elsevier Science

预订 New Methods for Evaluating One-Loop Corrections of Multi- 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥626.00

书之源外文图书

Biedermann, Benedikt /2013-01-24 /Logos Verlag Berlin

【3-6周达】Mixing Methods in Social Research: Qualitative, Quant 【全球购】进口原版图书，预计3-6周左右到国内

¥619.00

书之源外文图书

Hall,Ralph P. /2020-04-02 /Sage Publications Ltd

【3-6周达】Modern Methods of Plant Analysis / Moderne Methoden d 【全球购】进口原版图书，一般3-6周左右到国内

¥1588

书之源外文图书

K. Paech; M. V. Tracey /2011-12-06 /Springer Berlin Heidelberg

预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1816

书之源外文图书

Smith, Scott F. /2012-08-01 /Springer

【3-6周达】Formal Methods for Components and Objects: 10th Inter 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Beckert Bernhard /2013-01-03 /Springer

预订 Scaling Methods in Soil Physics [ISBN:9780849313745] 【全球购】进口原版图书，一般5-8周左右到国内

¥2997

书之源外文图书

Pachepsky, Yakov, Radcliffe, David E., S /2003-03-26 /CRC Press

【预售按需印刷】Iterative Methods for Approximating Eigenv

¥650.25

中图图书旗舰店

Mohammed Hasen /2019-09-03 /KS OmniScriptum Publishing

海外直订The Methods of Distances in the Theory of Probability an

¥2006

中华商务进口图书旗舰店

Rachev, Svetlozar T. /2015-06-25 /Springer

【预售 按需印刷】Research Methods for Public Health

¥504.05

中图图书旗舰店

Stuart McClean /2019-10-07 /Sage Publications

【预订】Numerical Methods for Time-Resolved Quantum Nanoelectron 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319636900 Author 作者 Weston, Joseph Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2017-09-22 Language 语种 英语

¥1095

中国进口图书旗舰店

Weston, Joseph /2017-09-22 /Springer

海外直订Formal Methods in Standards: A Report from the BCS Worki

¥662.00

中华商务进口图书旗舰店

Ruggles, Clive L. N. /1990-07-30 /Springer

【预订】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 语种 其它（含多语）

¥2033

中国进口图书旗舰店

J.L. Meek /2017-08-22 /CRC Press

【预售 按需印刷】Icp Design Methods for Driven Piles in Sands and Cl 北京发货，付款后10天内发货

¥758.44

中图图书旗舰店

Richard Jardine /1970-08-21 /Thomas Telford

按需印刷Modern Methods of Construction 预订，预计下单后2-3周左右发货！

¥907.00

上海外文书店旗舰店

Michael Gallagher /KS OmniScriptum Publishing

按需印刷Mixed-Methods Research in Wellbeing and Health 预订，预计下单后3-4周左右发货！

¥504.00

上海外文书店旗舰店

* /2021-09-06 /Taylor & Francis Ltd

【3-6周达】Agile Methods [ISBN:9783031256479] 【全球购】进口原版图书，一般3-6周左右到国内

¥722.00

书之源外文图书

Carla Rocha; Celio Santana Júnior; Ferna /2023-02-01 /Springer International Publishing

预订 序列求和方法 Methods for the Summation of Series [ISBN:97810321 【全球购】进口原版图书，一般5-8周左右到国内

¥820.00

书之源外文图书

He,Tian-Xiao /2024-05-27 /Chapman and Hall/CRC

【预订】Control Methods for Electrical Machines 9781848210936 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781848210936 Author 作者 Rene Husson Format 版本 精装 Pages Number 页数 384页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2009-05-11 Shipping Weight 商品重量 710g Language 语种 英语 Book Contents 内容简介 The type of control system used for electrical machines depends on the use (nature of the load, operating states, etc.) to which the machine will be put. The precise type of use determines the control laws which apply. Mechanics are also very important because they affect performance. Another factor of essential importance in industrial applications is operating safety. Finally, the problem of how to control a number of different machines, whose interactions and outputs must be coordinated, is addressed and solutions are presented

¥2315

中国进口图书旗舰店

Rene Husson /2009-05-11 /Wiley-ISTE

【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367579401 Author 作者 James K. Hallenburg Format 版本 平装-胶订 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.89 Language 语种 其它（含多语） Book Contents 内容简介 These three works cover the entire field of formation evaluation, from basic concepts and theories, through standard methods used by the petroleum industry, on to new and exciting applications in environmental science and engineering, hydrogeology, and other fields. Designed to be used individually or as a set, these volumes represent the first comprehensive assessment of all exploration methodologies. No other books offer the breadth of information and range of applications available in this set.

¥794.00

中国进口图书旗舰店

James K. Hallenburg /2020-06-30 /CRC Press

预订 Basic Methods and Protocols on Sourdough 酸面团的基本方法与协议: 978 国外库房发货，通常付款后3-5周到货

¥1314

中国进口图书旗舰店

Marco Gobbetti /2025-02-20 /Humana Press

预订 SUMO: Methods and Protocols 小泛素样修饰蛋白：方法与协议: 9781071647097 国外库房发货，通常付款后3-5周到货

¥1861

中国进口图书旗舰店

Emilio Lecona /2025-07-29 /Humana Press

按需印刷Diary Methods 预订，预计下单后2-3周左右发货！

¥832.00

上海外文书店旗舰店

John B Nezlek /Sage Publications

Practical Methods of Optimization 2E 优化的实用方法 第2版 97804714946

¥1454

中国进口图书旗舰店

Roger Fletcher /2000-05-23 /Wiley

【预售 按需印刷】DIRECT METHODS IN THE CALCULUS OF VARIATIONS 北京发货，付款后10天内发货

¥1559.88

中图图书旗舰店

ENRICO GIUSTI /1970-08-21 /World Scientific Publishing Co Pte Ltd

预售 英文预定 Methods of Meta-Analysis Correcting Error and Bias i 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。

¥1185.15

中图上海进口图书旗舰店

Schmidt, Frank L.|Hunter, John E. /2014-02-18 /Sage Pubns

【预售 按需印刷】Topics and Methods in q-Series

¥1581

中图图书旗舰店

JAMES MC LAUGHLIN /2017-09-22 /World Scientific Publishing Co Pte Ltd

预订 按需印刷 Methods in Cellular Immunology

¥1881.9

中图图书旗舰店

2001-06-26 /taylor

海外直订Exact Methods in Low-dimensional Statistical Phy... 低维统计

¥1468

中华商务进口图书旗舰店

No /2010-04-21 /Oxford University Press