【3-6周达】Direct Methods: Methodological Progress and Engineeri 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Pisano,Aurora Angela ; Spiliopoulos,Kons /2020-07-17 /Springer

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

¥788.00

上海外文书店旗舰店

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

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

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

¥1307

中国进口图书旗舰店

1条评论

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

【预订】Formal Methods Applied to Industrial Complex Systems: Im 美国库房发货，通常付款后3-5周到货！

¥2566

中国进口图书旗舰店

Boulanger, Jean-Louis /1988-08-08 /Wiley-Iste

【预售 按需印刷】Methods Analysis of Musts 2e

¥4132.7

中图图书旗舰店

Ough /1988-03-18 /John Wiley & Sons

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

¥1974

书之源外文图书

Gorska, Magdalena M. /2022-07-30 /Humana

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

¥768.00

书之源外文图书

Per C. Hansen; Bo H. Jacobsen; Klaus Mos /2000-06-21 /Springer Berlin Heidelberg

预订 Analytic Methods of Systems and Software Testing [ISBN:97 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1495

书之源外文图书

Kaul, Neha /2020-11-01 /Arcler Education Inc

海外直订Modern Methods of Analytical Mechanics and Their Applica

¥662.00

中华商务进口图书旗舰店

Rumyantsev, Valentin V. /1998-10-26 /Springer

海外直订Energy Methods for Free Boundary Problems: Applications

¥1988

中华商务进口图书旗舰店

Antontsev, S. N. /2012-10-22 /Birkhauser

海外直订医药图书Methods and Applications of Artificial Intelligence:

¥662.00

中华商务进口图书旗舰店

Vlahavas, Ioannis P. /2002-03-26 /Springer

【3-6周达】Diary Methods: Understanding Qualitative Research [IS 【全球购】进口原版图书，一般3-6周左右到国内

¥547.00

书之源外文图书

Hyers,Lauri L. /2018-01-02 /Oxford University Press, USA

【预订】Formal Methods Teaching 9783030915490 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030915490 Author 作者 Jo?o F. Ferreira Format 版本 平装-胶订 Pages Number 页数 147页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-19 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021.The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.

¥603.00

中国进口图书旗舰店

Jo?o F. Ferreira /2021-12-19 /Springer Berlin Heidelberg

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

¥2305

中国进口图书旗舰店

1条评论

Griffiths, D. V. /1988-08-08 /Chapman & Hall/CRC

【预订】Formal Methods for an Informal World 9783031436772 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031436772 Author 作者 Antonio Cerone Format 版本 平装-胶订 Pages Number 页数 171页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-20 Language 语种 其它（含多语） Book Contents 内容简介 This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understandi

¥548.00

中国进口图书旗舰店

Antonio Cerone /2023-11-20 /Springer Berlin Heidelberg

预售 按需印刷 Methods and Paradigms in Education Researc教育研究方法与范式 北京发货，付款后10天内发货

¥1457.25

中图图书旗舰店

Ling, Lorraine /2016-10-31 /IGI出版社

海外直订Asymptotic Methods in Statistical Decision Theory 统计决策理论

¥4374

中华商务进口图书旗舰店

Le Cam, Lucien /1986-08-06 /Springer

海外直订Formal Methods: 22nd International Symposium, FM 2018, H

¥1070

中华商务进口图书旗舰店

Havelund, Klaus /2018-08-20 /Springer

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

【预订】Sign-Based Methods in Linear Statistical Models 97808218 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780821803714 Author 作者 M. V. Boldin Format 版本 精装 Pages Number 页数 234页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1997-04-22 Language 语种 英语 Book Contents 内容简介 For nonparametric statistics, the last half of this century was the time when rank-based methods originated, were vigorously developed, reached maturity, and received wide recognition. The rank-based approach in statistics consists in ranking the observed values and using only the ranks rather than the original numerical data. In fitting relationships to observed data, the ranks of residuals from the fitted dependence are used. The signed-based approach is based on the assumption that random errors take positive or negative values with equal probabilities. Under this assumption, the sign procedures are distribution-free. These procedures are robust t

¥1863

中国进口图书旗舰店

M. V. Boldin /1997-04-22 /American Mathematical Society (AMS)

【预订】Formal Methods for Industrial Critical Systems 978303027 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030270070 Author 作者 Larsen Format 版本 平装-胶订 Pages Number 页数 161页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-07-25 Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universit?t des Saarlandes) and a special session on (commercial) formal methods in industry.The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal m

¥548.00

中国进口图书旗舰店

Larsen /2019-07-25 /Springer Berlin Heidelberg

【3-6周达】New Methods to Engineer and Seamlessly Reconfigure Ti 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Wisniewski,Lukasz /2017-03-27 /Springer Vieweg

【预订】Direct Methods 9783030488369 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030488369 Author 作者 Aurora Angela Pisano Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-07-17 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.55 Shipping Weight 商品重量 0.81 Language 语种 其它（含多语） Book Contents 内容简介 This book provides an overview of direct methods such as limit and shakedown analysis, which are intended to do away with the need for cumbersome step-by-step calculations and determine the loading limits of mechanical structures under monotone, cyclic or variable loading with unknown loading history. The respective contributions demonstrate how tremendous advances in numerical methods, especially in optimization, have contributed to the success of direct methods and their practical applicability to engineering problems in structural mechanics

¥1643

中国进口图书旗舰店

Aurora Angela Pisano /2021-07-17 /Springer Berlin Heidelberg

【预订】Direct Methods in the Theory of Elliptic Equations [ISBN 【全球购】进口原版图书，一般10-12周左右到国内

¥1298

书之源外文图书

Jindrich Necas /2011-10-06 /Springer Berlin Heidelberg

3-6周达 土壤酶学方法Methods Of Soil Enzymology [ISBN:9780891188544] 【全球购】进口原版图书，预计3-6周左右到国内

¥1202

书之源外文图书

Richard Dick /2020-02-21 /Wiley

【3-6周达】Newton Methods for Nonlinear Problems: Affine Invaria 【全球购】进口原版图书，一般3-6周左右到国内

¥1202

书之源外文图书

Deuflhard,Peter /2005-01-13 /Springer

海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用

¥662.00

中华商务进口图书旗舰店

No /2016-11-12 /Springer International Publishing AG

预售 按需印刷 Methods for Diseases Diagnostic with Appli 北京发货，付款后10天内发货

¥638.00

中图图书旗舰店

Chesca Antonella /2014-02-10 /KS OmniScriptum Publishing

【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781498772655 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 376页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-09-02 Language 语种 英语 Book Contents 内容简介 The bookprovides an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.

¥2578

中国进口图书旗舰店

Jacek Banasiak /2019-09-02 /Chapman and Hall/CRC

【3-6周达】Formal Methods and Software Engineering: 16th Interna 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Merz, Stephan /2014-09-23 /Springer

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

¥1105

书之源外文图书

Proetzel, Gabriele ; Ebersbach, Hilmar /2012-06-23 /Humana

海外直订Data, Methods and Theory in the Organizational Sciences:

¥738.00

中华商务进口图书旗舰店

Murphy, Kevin R. /2022-03-14 /Routledge

预订 Modern Methods of Valuation [ISBN:9781138503502] 【全球购】进口原版图书，一般5-8周左右到国内

¥1773

书之源外文图书

Shapiro, Eric; Mackmin, David; Sams, Gar /2019-01-28 /Estates Gazette

【3-6周达】Hedonic Methods in Housing Markets: Pricing Environme 【全球购】进口原版图书，一般3-6周左右到国内

¥2156

书之源外文图书

Baranzini, Andrea; Ramirez, José; Schaer /2008-07-01 /Springer

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

【预订】Formal Methods for Safety and Security 9789811041204 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789811041204 Author 作者 Jeppu, Yogananda Format 版本 精装 Publisher 出版社 Springer Singapore Publication Date 出版日期 2017-05-01 Language 语种 英语 Book Contents 内容简介 This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

¥1314

中国进口图书旗舰店

Jeppu, Yogananda /2017-05-01 /Springer Singapore

海外直订Formal Methods and Software Engineering: 17th Internatio

¥662.00

中华商务进口图书旗舰店

Butler, Michael /2015-12-01 /Springer

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

¥585.00

书之源外文图书

Howar, Falk /2018-08-30 /Springer

【3-6周达】Formal Methods and Software Engineering: 20th Interna 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Sun, Jing /2018-10-11 /Springer

预订 New Methods and Paradigms for Modeling Dynamic Processes 【全球购】进口原版图书，一般5-8周左右到国内

¥2002

书之源外文图书

Bilan,Stepan Mykolayovych ; Bilan,Mykola /2020-09-22 /Engineering Science Reference

预订 Wavelet Methods for Dynamical Problems: With Application 【全球购】进口原版图书，一般5-8周左右到国内

¥786.00

书之源外文图书

Gopalakrishnan,S. /2010-03-12 /CRC Press

【3-6周达】Formal Methods for Mining Structured Objects (2013) [ 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Garriga, Gemma C /2013-03-21 /Springer

【预订】Regression Methods for Medical Research 美国库房发货，通常付款后3-5周到货！

¥828.00

中国进口图书旗舰店

Tai, Bee-Choo /1988-08-08 /Wiley-Blackwell

【3-6周达】Adaptive Methods For Variational Inequalities [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥1047

书之源外文图书

Zhang, Chen-Song /2010-07-19 /LAP Lambert Academic Publishing

预订 Formal Methods for Distributed System Development: Forte 【全球购】进口原版图书，一般5-8周左右到国内

¥1916

书之源外文图书

Bolognesi, Tommaso /2000-09-30 /Springer

预订 Formal Methods and Software Engineering [ISBN:97835400002 【全球购】进口原版图书，一般5-8周左右到国内

¥1282

书之源外文图书

Chris George; Huaikou Miao /2002-10-09 /Springer Berlin Heidelberg

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

¥626.00

书之源外文图书

Ferreira, Jo?o F ; Mendes, Alexandra ; M /2021-11-21 /Springer

【3-6周达】General Methods in Biomarker Research and Their Appli 【全球购】进口原版图书，一般3-6周左右到国内

¥5325

书之源外文图书

Preedy, Victor R. /2015-07-13 /Springer

【预订】Activation Methods - Sonochemistry And High Pressure 978 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781786305107 Author 作者 Jean-Philippe Goddard Format 版本 精装 Pages Number 页数 166页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2020-02-04 Product Dimensions 商品尺寸 9.3 x 6.2 x 0.6 cm Shipping Weight 商品重量 900g Language 语种 英语

¥2020

中国进口图书旗舰店

Jean-Philippe Goddard /2020-02-04 /Wiley-ISTE

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

¥600.00

书之源外文图书

Kawaf, Fatema; Dekel-Dachs, Ofer /2026-01-30 /Routledge

3-6周达 Unique Methods for Analyzing Failures and Catastrophic 【全球购】进口原版图书，预计3-6周左右到国内

¥1209

书之源外文图书

Sofronas, Anthony /2022-06-08 /Wiley

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

¥1684

书之源外文图书

Menard, Robert /2012-09-19 /Humana

【3-6周达】Imaging Methods for Novel Materials and Challenging A 【全球购】进口原版图书，一般3-6周左右到国内

¥2156

书之源外文图书

Jin, Helena /2014-10-15 /Springer

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

¥615.00

上海外文书店旗舰店

Kenneth Molton /Momentum Press, LLC

按需印刷New Methods of Computing Radial Distribution Functions o 预订，预计下单后2-3周左右发货！

¥1163

上海外文书店旗舰店

Fred Lado /Dissertation Discovery Company, LLC

【预订】Research Methods and Solutions to Current Transport Prob 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030276867 Format 版本 平装-胶订 Pages Number 页数 494页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2019-10-03 Language 语种 英语 Book Contents 内容简介 The book is dedicated as an auxiliary literature for academic staff of universities, research institutes, as well as for students of transport teaching. The aim of the conference was to present the achievements of national and foreign research and scientific centers dealing with the issues of rail, road, air and sea transport in technical and technological aspects, as well as organization and integration of the environment conducting research and education in the discipline of civil engineering and transport. International Scientific Conference Transport of the 21st Century was held in Ryn, Poland, in the 9th–12th of June 2019.The research areas of the conference were as follows:? tran

¥1643

中国进口图书旗舰店

暂无作者信息 /2019-10-03 /Springer International Publishing

海外直订Field Methods for Petroleum Geologists: A Guide to Compu

¥740.00

中华商务进口图书旗舰店

Assaad, Fakhry A. /2010-10-18 /Springer

海外直订Local Methods in Nonlinear Differential Equations: Part

¥1325

中华商务进口图书旗舰店

Bruno, Alexander D. /2011-09-15 /Springer

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

¥1988

中华商务进口图书旗舰店

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