【预订】Formal Methods for Control of Nonlinear Systems 97803672 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367219994 Author 作者 Yinan Li and Jun Liu Format 版本 精装 Pages Number 页数 272页 Publisher 出版社 CRC Press Publication Date 出版日期 2022-12-20 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems. Analysis and design of nonlinear control design plays an important role across many disciplines of engineering and applied sciences, ranging from the control of an aircraft engine to the design of genetic circuits in synthetic biology. While linear control is a well-established subject, analysis and design of nonlinear control systems remains a challenging topic due to some of the fundamental difficulties caused by nonlinearity. Formal

¥1465

中国进口图书旗舰店

Yinan Li and Jun Liu /2022-12-20 /CRC Press

【预订】Spectral Methods Using Multivariate Polynomials On The U 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367345471 Author 作者 Kendall Atkinson Format 版本 精装 Pages Number 页数 262页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-11-08 Language 语种 英语 Book Contents 内容简介 Spectral Methods Using Multivariate Polynomials on the Unit Ball is a research level text on a numerical method for the solution of partial differential equations. The authors introduce, illustrate with examples, and analyze ’spectral methods’ that are based on multivariate polynomial approximations.

¥2569

中国进口图书旗舰店

Kendall Atkinson /2019-11-08 /Chapman and Hall/CRC

【预订】Formal Methods: Foundations and Applications 97830306388 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030638818 Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-20 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic S

¥711.00

中国进口图书旗舰店

暂无作者信息 /2020-11-20 /Springer Berlin Heidelberg

【预售 按需印刷】Bayesian Methods for Managemen

¥1342.15

中图图书旗舰店

Hahn /2014-09-19 /John Wiley & Sons

【预售 按需印刷】Practical Methods for Improving the Motion Performa

¥697.85

中图图书旗舰店

Daniel Wegerif /2019-05-31 /Dissertation Discovery Company, LLC

Kernel Methods and Machine Learning 核方法与机器学习 S. Y. Kung 精装

¥1193

瑞雅图书专营店

2014-04-17 /Cambridge

海外直订Java Methods for Financial Engineering: Applications in

¥986.00

中华商务进口图书旗舰店

Barker, Philip /2010-10-12 /Springer

海外直订Formal Methods for Distributed System Development: Forte

¥2651

中华商务进口图书旗舰店

Bolognesi, Tommaso /2000-01-01 /Springer

预订 按需印刷 Methods in Medical Informatics

¥686.80

中图图书旗舰店

2018-10-02 /taylor

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

¥1987

中国进口图书旗舰店

Ivana ?peli? /2019-06-25 /CRC Press

海外直订Formal Methods for Open Object-Based Distributed Systems

¥662.00

中华商务进口图书旗舰店

Steffen, Martin /2005-06-02 /Springer

海外直订医药图书Methods In Research And Development Of Biomedical De

¥1063

中华商务进口图书旗舰店

Wong, Kelvin Kian Loong /2013-03-17 /World Scientific Publishing Co Pte Ltd

海外直订RNA: Methods and Protocols RNA:方法和协议

¥1988

中华商务进口图书旗舰店

Nielsen, Henrik /2010-12-09 /Humana

【预售 按需印刷】Numerical methods for Volatility Estimati 北京发货，付款后10天内发货

¥754.00

中图图书旗舰店

Ibtissam Medarhri /2017-09-29 /KS OmniScriptum Publishing

海外直订Direct Methods in Control Problems 控制问题中的直接方法

¥1003

中华商务进口图书旗舰店

Falb, Peter /2020-01-02 /Birkhauser

海外直订Vortex Methods 旋涡法

¥1325

中华商务进口图书旗舰店

Lung-An Ying /1997-11-29 /Springer

海外直订Formal Methods for Industrial Critical Systems: 23rd Int

¥662.00

中华商务进口图书旗舰店

Howar, Falk /2018-08-30 /Springer

Numerical Methods and Optimization An Introduction 数值方法与优化：简

¥768.00

中国进口图书旗舰店

Butenko, Sergiy | Pardalos, Panos M. /2024-10-14 /Chapman and Hall/CRC

海外直订Golgi: Methods and Protocols Golgi: Methods and Protocol

¥2701

中华商务进口图书旗舰店

2023-12-13 /Humana

海外直订Formal Methods: 25th International Symposium, FM 2023, L

¥1203

中华商务进口图书旗舰店

Chechik, Marsha /2023-03-02 /Springer

海外直订Formal Methods for the Design of Real-Time Systems: Inte

¥662.00

中华商务进口图书旗舰店

Bernardo, Marco /2004-08-31 /Springer

按需印刷Mixed Methods Perspectives on Communication and Social M 预订，预计下单后2-3周左右发货！

¥567.00

上海外文书店旗舰店

* /2022-07-29 /Taylor & Francis Ltd

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

¥1935.45

中图图书旗舰店

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

预订 Mixed Methods in Ethnographic Research: Historical Perspe 【全球购】进口原版图书，一般5-8周左右到国内

¥663.00

书之源外文图书

Pelto,Pertti J. /2017-03-05 /Routledge

预订Bayesian Methods in Statistics:From Concepts to Practice 预订，预计下单后3-6周左右发货！

¥614.00

上海外文书店旗舰店

Slater, Mel /2021-12-02 /SAGE Publications Ltd

预订Research Methods:A Practical Guide for the Social Sciences 预订，预计下单后2-3周左右发货！

¥858.00

上海外文书店旗舰店

1条评论

Matthews, Bob,Ross, Liz /2010-06-09 /Pearson Education Limited

【预订】Geometric Methods in Physics XXXVII 9783030340711 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030340711 Author 作者 Kielanowski Format 版本 精装 Pages Number 页数 258页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2019-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 1250g Language 语种 英语 Book Contents 内容简介 The book consists of articles based on the XXXVII Biaowie?a Workshop on Geometric Methods in Physics, 2018. The series of Bia?owie?a workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. This edition of the workshop featured a special session dedicatedto Professor Daniel Sternheimer on the occasion of his 80thbirthday.The previously unpublished papers present cutting-edge current research, typically grounded in geometry and analysis, with applications to classical and quantum physics. For the past sev

¥1643

中国进口图书旗舰店

Kielanowski /2019-11-27 /Birkhaeuser Verlag Basel

预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103220 【全球购】进口原版图书，一般5-8周左右到国内

¥1501

书之源外文图书

Panconi,Luca;Nieves,Daniel;Makarova,Mari /2023-12-21 /CRC Press

预售 按需印刷 Methods for estimating the counterfeiting 北京发货，付款后10天内发货

¥868.00

中图图书旗舰店

Emilia Pascu /2013-12-04 /KS OmniScriptum Publishing

【预售 按需印刷】Numerical Methods for Solving Fredholm Eq 北京发货，付款后10天内发货

¥952.00

中图图书旗舰店

Gunawan Fergyanto E. /2015-10-19 /KS OmniScriptum Publishing

海外直订Direct Methods for Solving Macromolecular Structures 求解大

¥2651

中华商务进口图书旗舰店

Fortier, S. /2010-12-15 /Springer

【预订】Numerical Methods in Computational Finance 9781119719670 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781119719670 Author 作者 Daniel Duffy Format 版本 精装 Pages Number 页数 544页 Publisher 出版社 Wiley Publication Date 出版日期 2022-02-10 Product Dimensions 商品尺寸 16.83 x 24.45 cm. Language 语种 其它（含多语） Book Contents 内容简介 Numerical Methods in Computational Finance: A Partial Differential Equation (PDE/FDM) Approach defines a repeatable process to introduce PDEs in finance, analyse them mathematically, devise robust and accurate numerical algorithms to approximate these PDEs and then map these algorithms to C++ and C#. Written in an incremental way in order to facilitate a range of readers at various skill levels and experience, each chapter contains hands-on exercises and projects that form an integral part of the text. The book consists of eight parts. Each part contains several chapters and deals with a single autonomous topic: PDEs (g

¥1079

中国进口图书旗舰店

Daniel Duffy /2022-02-10 /Wiley

【预订】Computer Methods in Chemical Engineering 9780367765255 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367765255 Author 作者 Ghasem Format 版本 精装 Pages Number 页数 490页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-11-24 Language 语种 其它（含多语） Book Contents 内容简介 While various software packages have become essential for performing unit operations and other kinds of processes in chemical engineering, the fundamental theory and methods of calculation must also be understood to effectively test the validity of these packages and verify the results. Computer Methods in Chemical Engineering, Second Edition presents the most used simulation software along with the theory involved. It covers chemical engineering thermodynamics, fluid mechanics, material and energy balances, mass transfer operations, reactor design, and computer applications in chemical engineering. The highly anticipated Second Edition is thoroughly updated to reflect the lat

¥2581

中国进口图书旗舰店

Ghasem /2021-11-24 /CRC Press

海外直订Z-DNA: Methods and Protocols Z-DNA:方法和方案

¥2467

中华商务进口图书旗舰店

Kim, Kyeong Kyu /2023-03-09 /Humana

海外直订Key Methods in Geography 地理学关键方法

¥2476

中华商务进口图书旗舰店

No /2023-04-25 /SAGE Publications Ltd

【3-6周达】Seismic Methods in Uranium Exploration [ISBN:97838433 【全球购】进口原版图书，一般3-6周左右到国内

¥1048

书之源外文图书

Gyrfi, Istvn, Hajnal, Zoltan, Gyorfi, Is /2010-09-26 /LAP Lambert Academic Publishing

【预售 按需印刷】Research Methods in Language P

¥1037.85

中图图书旗舰店

Hult /2015-06-26 /John Wiley & Sons

【预订】Numerical Methods for Finance 9780367388591 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367388591 Format 版本 平装-胶订 Pages Number 页数 312页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.10 x 6.10 x 0.90 Shipping Weight 商品重量 1.30 Language 语种 其它（含多语）

¥990.00

中国进口图书旗舰店

暂无作者信息 /CRC Press

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

¥1684

书之源外文图书

Tu, Yu-Kang, Greenwood, Darren C. /2014-04-16 /Springer

预订 Research Methods: A Process of Inquiry (Revised) [ISBN:97 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥2499

书之源外文图书

Graziano, Anthony M ; Raulin, Michael L /2012-10-01 /Pearson

海外直订Simple Methods for Identification of Plastics 塑料鉴别的简易方法

¥753.00

中华商务进口图书旗舰店

Braun, Dietrich /2013-04-29 /Hanser Publications

【3-6周达】Rapid Methods in Clinical Microbiology: Present Statu 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Kleger, Bruce ,Jungkind, Donald /2011-09-30 /Springer

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

¥1096

书之源外文图书

Marshall Nissim /2010-12-01 /Springer

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

¥1105

书之源外文图书

Klump, G. M. /2012-11-26 /Birkhauser

【3-6周达】Lie Methods in Deformation Theory [ISBN:9789811911873 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Manetti,Marco; /2023-08-03 /Springer

【预售 按需印刷】PRACTICAL METHODS FOR SUCCESSFUL CLASSROO 北京发货，付款后10天内发货

¥905.00

中图图书旗舰店

DR. NANA ADU-PIPIM BOADUO /2011-04-05 /KS OmniScriptum Publishing

预订 Formal Methods for Nonmonotonic and Related Logics Vol. I 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥876.00

书之源外文图书

Karl Schlechta /2018-11-15 /Springer International Publishing

【3-6周达】Bilevel Methods for Image Reconstruction [ISBN:978163 【全球购】进口原版图书，一般3-6周左右到国内

¥1212

书之源外文图书

Crockett, Caroline, Fessler, Jeffrey A. /2022-05-05 /Now Publishers

预订 New Methods in Cognitive Psychology [ISBN:9781848726314] 【全球购】进口原版图书，一般5-8周左右到国内

¥706.00

书之源外文图书

Spieler,Daniel /2019-11-10 /Routledge

海外直订Energy Methods in Continuum Mechanics: Proceedings of th

¥1988

中华商务进口图书旗舰店

Antontsev, S. N. /1996-11-29 /Springer

【3-6周达】Formal Methods: Foundations and Applications: 23rd Br 【全球购】进口原版图书，一般3-6周左右到国内

¥722.00

书之源外文图书

Carvalho, Gustavo ; Stolz, Volker /2021-01-23 /Springer

预订 Meshfree Methods: Moving Beyond the Finite Element Method 【全球购】进口原版图书，一般5-8周左右到国内

¥2589

书之源外文图书

Liu, G. R. /2009-10-01 /CRC Press

海外直订Direct Methods in the Calculus of Variations 变分法中的直接法

¥2253

中华商务进口图书旗舰店

Dacorogna, Bernard /2007-11-28 /Springer

海外直订Hybrid Methods of Molecular Modeling 分子模型的混合方法

¥6628

中华商务进口图书旗舰店

Tchougréeff, Andrei L. /2010-11-21 /Springer

【预订】Advanced methods for fault diagnosis and fault-tolerant 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783662620038 Author 作者 Ding Format 版本 平装-胶订 Pages Number 页数 623页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-16 Language 语种 英语 Book Contents 内容简介 The major objective of this book is to introduce advanced design and (online) optimization methods for fault diagnosis and fault-tolerant control from different aspects. Under the aspect of system types, fault diagnosis and fault-tolerant issues are dealt with for linear time-invariant and time-varying systems as well as for nonlinear and distributed (including networked) systems. From the methodological point of view, both model-based and data-driven schemes are investigated.To allow for a self-contained study and enable an easy implementation in real applications, the necessary knowledge as well as tools in mathematics and control theory are included in this book. The

¥1533

中国进口图书旗舰店

1条评论

Ding /2020-11-16 /Springer Berlin Heidelberg

海外直订Coring Methods and Systems 取心方法和系统

¥1070

中华商务进口图书旗舰店

Ashena, Rahman /2019-01-10 /Springer

按需印刷DGYT Methods in Empirical Prosody Research 预订，预计下单后3-6周左右发货！

¥1552

上海外文书店旗舰店

Stefan Sudhoff /De Gruyter

海外直订Modern Methods of Speech Processing 现代语音处理方法

¥1988

中华商务进口图书旗舰店

Ramachandran, Ravi P. /1995-10-30 /Springer

海外直订New Methods for Polymer Synthesis 高分子合成的新方法

¥1988

中华商务进口图书旗舰店

Mijs, W. J. /2013-06-10 /Springer

海外直订Matrix Methods and Fractional Calculus 矩阵方法与分数阶微积分

¥1181

中华商务进口图书旗舰店

Mathai, Arak M. /2017-11-13 /World Scientific Publishing Company