预订 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 /暂无出版社信息

【3-6周达】Methods for Risk Assessment of Transgenic Plants: I. 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Kjellsson, Gosta /2013-10-03 /Birkhauser

3-6周达 Research Methods: Concepts, Methodologies, Tools, and 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥6020

书之源外文图书

Irma /2015-02-18 /Information Science Reference

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

¥1298

书之源外文图书

de Lucas,Miguel /2018-06-08 /Humana

【预订】Direct Methods for Limit States in Structures and Materi 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Spiliopoulos, Konstantinos /2013-06-23 /Springer

【预售 按需印刷】Innovative Methods for Analyzing and Forecasting Wo

¥1073.55

中图图书旗舰店

Saud Mohammed Al-Fattah (Al-Khaldi) /2011-03-08 /KS OmniScriptum Publishing

海外直订Basic Methods and Protocols on Sourdough Basic Methods a

¥1872

中华商务进口图书旗舰店

Gobbetti, Marco /2024-02-19 /Humana

海外直订Key Methods and Concepts in Condensed Matter Physics: Gr

¥1146

中华商务进口图书旗舰店

Continentino, Mucio A. /2021-04-26 /IOP Publishing Ltd

海外直订医药图书Methods in Chemosensory Research 化学感觉研究方法

¥2873

中华商务进口图书旗舰店

No /2001-09-25 /Taylor & Francis Inc

海外直订Formal Methods in Computer-Aided Design: Second Internat

¥662.00

中华商务进口图书旗舰店

1998-10-20 /Springer

【3-6周达】Formal Methods for Industrial Critical Systems: 27th 【全球购】进口原版图书，一般3-6周左右到国内

¥819.00

书之源外文图书

Groote, Jan Friso, Huisman, Marieke /2022-08-12 /Springer

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

¥1202

书之源外文图书

Lagrimini L. Mark /2018-08-14 /Humana

海外直订医药图书Methods in Biomedical Informatics: A Pragmatic Appro

¥1455.69

中华商务进口图书旗舰店

Sarkar, Neil /2013-10-02 /Academic Press

【预订】Integral Methods in Science and Engineering 978303016079 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030160791 Author 作者 Constanda Format 版本 平装-胶订 Pages Number 页数 478页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2020-08-14 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-con

¥932.00

中国进口图书旗舰店

Constanda /2020-08-14 /Birkhaeuser Verlag Basel

海外直订Cilia: Methods and Protocols 纤毛：方法和协议

¥591.00

中华商务进口图书旗舰店

Satir, Peter /2018-06-08 /Humana

海外直订Formal Methods in Programming and Their Applications: In

¥662.00

中华商务进口图书旗舰店

Bj?rner, Dines /1993-10-04 /Springer

预订 蓝藻研究方法 Methods in Cyanobacterial Research [ISBN:978103249 【全球购】进口原版图书，一般5-8周左右到国内

¥1569

书之源外文图书

Singh,Shailendra Pratap,Sinha,Rajeshwar /2024-06-14 /CRC Press

海外直订Formal Methods: Foundations and Applications: 21st Brazi

¥768.00

中华商务进口图书旗舰店

Massoni, Tiago /2018-10-24 /Springer

预订Research Methods and Statistics:A Critical Thinking Approa 预订，预计下单后3-6周左右发货！

¥1194

上海外文书店旗舰店

Jackson, Sherri (Jacksonville University /2020-09-10 /Cengage Learning, Inc

【3-6周达】Methods for Location Privacy: A Comparative Overview 【全球购】进口原版图书，一般3-6周左右到国内

¥734.00

书之源外文图书

Chatzikokolakis, Kostantinos /2017-12-12 /Now Publishers

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

¥662.00

中华商务进口图书旗舰店

Bonsangue, Marcello M. /2007-05-24 /Springer

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

¥1988

中华商务进口图书旗舰店

Ramachandran, Ravi P. /2012-09-26 /Springer

海外直订医药图书Methods of Protein Microcharacterization: A Practica

¥1325

中华商务进口图书旗舰店

Shively, John E. /2013-11-26 /Humana

预订 Search Methods in Artificial Intelligence 人工智能中的搜索方法 9781 国外库房发货, 通常付款后12-16周到货

¥792.00

中国进口图书旗舰店

Deepak Khemani /2024-10-01 /Cambridge University Press

【预订】Numerical Methods in Astrophysics: An Introduction (Seri 美国库房发货，通常付款后3-5周到货！

¥1722

中国进口图书旗舰店

Laughlin, G. /2006-12-13 /Taylor & Francis Group

海外直订Formal Methods: 26th International Symposium, FM 2024, M

¥489.00

中华商务进口图书旗舰店

Platzer, André /2024-09-10 /Springer

【预订】Structural Methods in the Study of Complex Systems 97830 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030185749 Author 作者 Zattoni Format 版本 平装-胶订 Pages Number 页数 279页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-07-13 Language 语种 英语 Book Contents 内容简介 Structural Methods in the Study of Complex Systems helps the reader respond to the challenge of mastering complexity in systems and control. The book details the fundamental control problems arising from complex dynamical systems and shows how they can be tackled effectively by means of methods developed from graph theory, differential algebra and geometric approaches. These “structural methods” produce abstractions that fit a wide variety of applications by taking advantage of their intrinsic focus on the essential characteristics of dynamical systems, their geometric perspective and visual representation, and their algebraic formalization and ability to generat

¥1095

中国进口图书旗舰店

Zattoni /2020-07-13 /Springer Berlin Heidelberg

【预订】Computer Methods in Biomechanics and Biomedical Engineer 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319866963 Author 作者 Amit Gefen Tel Aviv University Tel Aviv Israel Format 版本 平装-胶订 Pages Number 页数 263页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-08-03 Language 语种 英语 Book Contents 内容简介 This edited volume collects the research results presented at the 14th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, Tel Aviv, Israel, 2016. The topical focus includes, but is not limited to, cardiovascular fluid dynamics, computer modeling of tissue engineering, skin and spine biomechanics, as well as biomedical image analysis and processing. The target audience primarily comprises research experts in the field of bioengineering, but the book may also be beneficial for graduate students alike.

¥1643

中国进口图书旗舰店

Amit Gefen Tel Aviv University Tel ... /2018-08-03 /Springer Berlin Heidelberg

【3-6周达】高被引Java Methods for Financial Engineering: Applicatio 【全球购】进口原版图书，一般3-6周左右到国内

¥916.00

书之源外文图书

Barker Philip /2010-10-13 /Springer

【预订】Diagnostic Methods for Cirrhosis and Portal Hypertension 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319726274 Author 作者 Berzigotti Format 版本 精装 Pages Number 页数 360页 Publication Date 出版日期 2018-08-03 Language 语种 英语 Book Contents 内容简介 This book provides a unique up-to-date and comprehensive overview of the most important diagnostic methods available for assessing liver cirrhosis and portal hypertension.The book covers all the significant advances ?made?in the last 10 years?in HVPG and biopsy interpretation, imaging and elastography.?This is a unique and well structured book authored by senior experts in the field aimed at providing updated knowledge to the hepatology specialist and to the physicians interested in chronic liver disease.??The book starts by giving an overview of the disease, outlining the clinical needs in this field; this is followed by detailed information both on the invasive gold-standard methods (HVPG measurement, liver biopsy, endoscopy), and on the st

¥1205

中国进口图书旗舰店

Berzigotti /2018-08-03 /暂无出版社信息

【预订】Formal Methods in Manufacturing 9781138074293 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138074293 Format 版本 平装-胶订 Publication Date 出版日期 2017-11-22 Language 语种 英语

¥1307

中国进口图书旗舰店

1条评论

暂无作者信息 /2017-11-22 /暂无出版社信息

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

¥486.00

书之源外文图书

2016-02-03 /Springer

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

¥1298

书之源外文图书

Gorska,Magdalena M.; /2023-07-02 /Humana

预订 Direct Methods for Solving Macromolecular Struc [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥2105

书之源外文图书

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

【3-6周达】Basic Methods Handbook for Clinical Orthopaedic Resea 【全球购】进口原版图书，一般3-6周左右到国内

¥1974

书之源外文图书

Musahl,Volker ; Karlsson,Jón ; Hirschman /2019-03-01 /Springer

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

¥626.00

书之源外文图书

Lucas Lima; Vince Molnár /2022-12-01 /Springer International Publishing

海外直订Formal Methods and Software Engineering: 9th Internation

¥662.00

中华商务进口图书旗舰店

Butler, Michael /2007-11-06 /Springer

【预订】Wavelet Methods for Solving Partial Differential Equatio 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138053816 Author 作者 Santanu Saha Ray and Arun Kumar Gupta Format 版本 精装 Pages Number 页数 272页 Publication Date 出版日期 2018-01-24 Language 语种 英语 Book Contents 内容简介 The main focus of the book is to implement wavelet based transform methods for solving problems of fractional order partial differential equations arising in modelling real physical phenomena. It explores analytical and numerical approximate solution obtained by wavelet methods for both classical and fractional order partial differential equations.

¥2590

中国进口图书旗舰店

Santanu Saha Ray and Arun Kumar Gupta /2018-01-24 /暂无出版社信息

3-6周达 Rapid Methods for Analysis of Biological Materials in 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥577.00

书之源外文图书

Peter J. Stopa; Michael A. Bartoszcze /2011-09-22 /Springer Netherlands

【3-6周达】Dynamic Methods for Damage Detection in Structures [I 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Morassi, Antonino /2000-01-01 /Springer

预订Mixed Methods Research Design for the Built Environment[97 预订，预计下单后4-6周左右发货

¥911.00

上海外文书店旗舰店

2023-12-08 /Taylor & Francis Ltd

预订 String Methods for Beginners [ISBN:9780367226862] 【全球购】进口原版图书，一般5-8周左右到国内

¥600.00

书之源外文图书

Giray,Selim /2020-04-01 /Routledge

【3-6周达】Research Methods in Criminal Justice and Criminology: 【全球购】进口原版图书，一般3-6周左右到国内

¥2534

书之源外文图书

Ellis,Lee;Hartley,Richard D.;Walsh,Antho /2010-01-01 /Rowman & Littlefield Publishers

【预订】Modern Methods in Collisional-Radiative Modeling of Plas 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319801582 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-03-18 Language 语种 英语

¥1095

中国进口图书旗舰店

暂无作者信息 /2018-03-18 /Springer

海外直订Modern Methods of Igneous Petrology: Understanding Magma

¥719.00

中华商务进口图书旗舰店

2018-05-06 /de Gruyter

海外直订Kernel Methods for Remote Sensing Data Analysis 遥感数据分析的核

¥1590

中华商务进口图书旗舰店

No /2009-10-22 /John Wiley & Sons Inc

海外直订Recent Methods from Statistics and Machine Learning for

¥496.00

中华商务进口图书旗舰店

Kraus, Anne /2014-07-07 /Cuvillier

代数几何方法，卷1Methods of Algebraic Geometry原版引进 预售书籍，预计到货：2026年11月05日，新华书店正版，多仓就近发货，85%城市次日达，团购优惠咨询在线客服！

¥1193.3

文轩网旗舰店

W V D Hodge /1994-03-01 /FOREIGN?PUBLISHER

预订 Spectral Methods Using Multivariate Polynomials on the Un 【全球购】进口原版图书，一般5-8周左右到国内

¥2181

书之源外文图书

Atkinson, Kendall, Chien, David, Hansen, /2019-11-08 /CRC Press

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

¥585.00

书之源外文图书

Davies, Jim /2011-03-23 /Springer

【3-6周达】Methods for Adapting Virtual Environments to the Chal 【全球购】进口原版图书，一般3-6周左右到国内

¥1037

书之源外文图书

Huang, Yu-Chieh /2020-02-04 /Logos Verlag Berlin

海外直订Modern Methods in Analytical Morphology 分析形态学的现代方法

¥963.00

中华商务进口图书旗舰店

Gu, Jiong /1994-11-29 /Kluwer Academic Publishers

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

¥1988

中华商务进口图书旗舰店

Nielsen, Henrik /2017-04-29 /Humana

海外直订Proof Methods for Modal and Intuitionistic Logics 模态逻辑与直

¥2651

中华商务进口图书旗舰店

Fitting, M. /1983-04-29 /Springer

海外直订Tracer Methods in Hormone Research 激素研究中的示踪方法

¥1325

中华商务进口图书旗舰店

Gurpide, E. /2012-06-11 /Springer

海外直订Formal Methods for Software Engineering: Languages, Meth

¥936.00

中华商务进口图书旗舰店

Roggenbach, Markus /2022-06-17 /Springer

预订 Modern Methods in Mathematical Physics and their Applicat 国外库房发货，通常付款后3-5周到货

¥2528

中国进口图书旗舰店

2026-02-19 /Birkh?user Science

【预订】Geometric Methods in Signal and Image Analysis 978110703 国外库房发货, 通常付款后12-16周到货

¥899.00

中国进口图书旗舰店

Novakova Iva /2015-06-18 /Cambridge University Press

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

¥1643

中国进口图书旗舰店

Kielanowski, Piotr /2016-07-15 /Birkhaeuser Verlag Basel