海外直订The Methods of the Gernet Classicists Pbdirect: The Stru

¥719.00

中华商务进口图书旗舰店

Champagne, Roland /2015-03-15 /Routledge

【预订】Diagnostic Methods in the Cardiac Catheterization 美国库房发货，通常付款后3-5周到货！

¥2846

中国进口图书旗舰店

Pedro A. Lemos,PaulSchoenhagen,Alexandra /1988-08-08 /Informa Healthcare

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

¥1105

书之源外文图书

Piazolo, Felix; Felderer, Michael /2014-07-18 /Springer

【预订】Advanced Methods and Applications in Computational Intel 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319033396 Author 作者 Klempous Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-08-08 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 658g Language 语种 英语 Book Contents 内容简介 This book offers an excellent presentation of intelligent engineering and informatics foundations for researchers in this field as well as many examples with industrial application. It contains extended versions of?selected papers presented at the inaugural ACASE 2012 Conference dedicated to the Applications of Systems Engineering. This conference was held from the 6th to the 8th of February 2012, at the University of Technology, Sydney, Australia, organized by the University of Technology, Sydney (Australia), Wroclaw University of Technology (Poland) and the?Univ

¥1643

中国进口图书旗舰店

Klempous /2015-08-08 /Springer International Publishing

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

Product Details 基本信息 ISBN-13 书号 9783030634056 Format 版本 平装-胶订 Pages Number 页数 335页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-12-19 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1070g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.

¥548.00

中国进口图书旗舰店

暂无作者信息 /2020-12-19 /Springer Berlin Heidelberg

【预订】Direct Methods for Limit and Shakedown Analysis of Struc 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319357966 Author 作者 Paolo Fuschi Università Mediterranea di Reggio Calabria Re Format 版本 平装-胶订 Pages Number 页数 313页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-10-14 Shipping Weight 商品重量 589g Language 语种 英语 Book Contents 内容简介 Articles in this book examine various materials and how to determine directly the limit state of a structure, in the sense of limit analysis and shakedown analysis. Apart from classical applications in mechanical and civil engineering contexts, the book reports on the emerging field of material design beyond the elastic limit, which has further industrial design and technological applications. Readers will discover that “Direct Methods” and the techniques presented here can in fact be used to numerically estimate the strength of structured materials such as composites or

¥1095

中国进口图书旗舰店

Paolo Fuschi Università Mediterranea... /2016-10-14 /Springer Berlin Heidelberg

【3-6周达】Beyond Methods: Macrostrategies for Language Teaching 【全球购】进口原版图书，一般3-6周左右到国内

¥1004

书之源外文图书

Kumaravadivelu,B. /2002-12-18 /Yale University Press

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

¥585.00

书之源外文图书

Qin Shengchao /2011-10-12 /Springer

3-6周达 Sieve Methods, Exponential Sums, and Their Application 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥722.00

书之源外文图书

Greaves, G R H ; Harman, G ; H /1997-02-13 /Cambridge University Press

海外直订Linear Methods: A General Education Course 线性方法:通识教育课程

¥1381

中华商务进口图书旗舰店

Hecker, David /2018-08-08 /CRC Press

【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030549930 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 523页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-13 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2

¥548.00

中国进口图书旗舰店

Sekerinski /2020-08-13 /Springer Berlin Heidelberg

海外直订Krylov Methods for Nonsymmetric Linear Systems: From The

¥1324

中华商务进口图书旗舰店

Meurant, Gérard /2021-10-15 /Springer

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

¥585.00

书之源外文图书

Larsen, Kim Guldstrand /2019-07-25 /Springer

3-6周达 Kernel Methods in Computer Vision [ISBN:9781601982681] 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥679.00

书之源外文图书

Christoph H Lampert /2009-09-30 /Now Publishers

【3-6周达】Exact Methods in Low-Dimensional Statistical Physics 【全球购】进口原版图书，一般3-6周左右到国内

¥716.00

书之源外文图书

Jacobsen,Jesper /2010-06-18 /Oxford University Press, USA

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

¥1517

书之源外文图书

Ammann, Klaus /2013-10-03 /Birkhauser

【3-6周达】Some Methods for ECG Signal Analysis for Arrhythmia D 【全球购】进口原版图书，一般3-6周左右到国内

¥598.00

书之源外文图书

Vallem, Sharmila, Komalla, Ashoka Reddy /2017-06-19 /LAP Lambert Academic Publishing

【3-6周达】Simple Methods for Identification of Plastics [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥593.00

书之源外文图书

Dietrich Braun /2013-04-30 /Hanser Publishers

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

¥1170

中国进口图书旗舰店

Ruas, Vitoriano /2016-05-04 /Wiley

【预订】Advanced Methods of Structural Analysis 9783030443931 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030443931 Author 作者 Karnovsky Igor A. Format 版本 精装 Pages Number 页数 1336页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-04-01 Language 语种 其它（含多语） Book Contents 内容简介 This revised and significantly expanded edition contains a rigorous examination of key concepts, new chapters and discussions within existing chapters, and added reference materials in the appendix, while retaining its classroom-tested approach to helping readers navigate through the deep ideas, vast collection of the fundamental methods of structural analysis. The authors show how to undertake the numerous analytical methods used in structural analysis by focusing on the principal concepts, detailed procedures and results, as well as taking into account the advantages and disadvantages of each method and sphere of their effective application. The

¥3042

中国进口图书旗舰店

Karnovsky Igor A. /2021-04-01 /Springer Berlin Heidelberg

【预订】Zebrafish: Methods for Assessing Drug Safety and Toxicit 美国库房发货，通常付款后3-5周到货！

¥1555

中国进口图书旗舰店

1条评论

McGrath /2012-01-24 /Wiley

【预订】Empirical Methods in Short-Term Climate Prediction 美国库房发货，通常付款后3-5周到货！

¥1888

中国进口图书旗舰店

短期天气预报中的经验性方法 /2007-02-08 /Oxford University Press

【预订】Detection Methods for Algae, Protozoa & Helminths in Fre 美国库房发货，通常付款后3-5周到货！

¥3609

中国进口图书旗舰店

Palumbo /1988-08-08 /Wiley

【预订】Catalytic Methods in Asymmetric Synthesis: Advanced Mate 美国库房发货，通常付款后3-5周到货！

¥2179

中国进口图书旗舰店

Gruttadauria /2011-09-27 /Wiley

【预售 按需印刷】Narrative Methods for Organizational & Co

¥816.00

中图图书旗舰店

David M. Boje /2000-09-05 /Sage Publications

【预售 按需印刷】Research Methods in Accounting

¥1882.75

中图图书旗舰店

Malcolm Smith /2019-11-08 /Sage Publications

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

¥1395

书之源外文图书

Markus,Steven M. /2024-01-20 /Humana

海外直订Mixed Methods Research and Culture-Specific Intervention

¥1024

中华商务进口图书旗舰店

Nastasi, Bonnie /2015-07-07 /Sage Publications, Inc

【预订】Modern Methods of Pharmaceutical Analysis, Second Editio 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780849352676 Author 作者 Roger E. Schirmer Format 版本 精装 Pages Number 页数 464页 Publication Date 出版日期 1990-12-19 Shipping Weight 商品重量 725g Language 语种 英语

¥7051

中国进口图书旗舰店

Roger E. Schirmer /1990-12-19 /暂无出版社信息

海外直订Golgi: Methods and Protocols 高尔基:方法和协议

¥3344

中华商务进口图书旗舰店

Wang, Yanzhuang /2022-12-13 /Humana

海外直订医药图书Methods of Nursing Care in Respiratory Diseases 呼吸系统

¥544.00

中华商务进口图书旗舰店

Ciumărnean, Lorena /2022-10-18 /LAP Lambert Academic Publishing

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

¥585.00

书之源外文图书

Butler, Michael /2015-12-02 /Springer

预订 New Methods for the Study of Biomolecular Complexes [ISBN 【全球购】进口原版图书，一般5-8周左右到达国内后发出

¥1983

书之源外文图书

Ens, W., Standing, K. G., Chernushevich, /2010-12-15 /Springer

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

¥1298

书之源外文图书

Curran, Sean P /2021-05-16 /Humana

【3-6周达】The Methods of Distances in the Theory of Probability 【全球购】进口原版图书，一般3-6周左右到国内

¥1974

书之源外文图书

Svetlozar T. Rachev; Lev Klebanov; Stoya /2013-01-03 /Springer New York

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

¥1861

中国进口图书旗舰店

Emilio Lecona /2025-07-29 /Humana Press

【预订】Digital Methods In The Humanities: Challenges, Ideas, Pe 【全球购】进口原版图书，一般10-12周左右到国内

¥699.00

书之源外文图书

Edited by Silke Schwandt /2021-01-01 /Bielefeld University Press

3-6周达 Hplc Methods For Clinical Pharmaceutical Analysis - A 【全球购】进口原版图书，预计3-6周左右到国内

¥771.00

书之源外文图书

Hermann Mascher /2012-01-11 /John Wiley & Sons

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

¥868.00

书之源外文图书

Deuflhard, Peter /2011-09-16 /Springer

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

¥1105

书之源外文图书

Garriga, Gemma C. /2015-03-07 /Springer

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

¥585.00

书之源外文图书

Satir Peter /2016-08-12 /Humana

海外直订医药图书Methods in Epidemiology: Population Size Estimation

¥1739

中华商务进口图书旗舰店

Rutherford, George /2022-08-03 /Springer

海外直订Kernel Methods for Machine Learning with Math and R: 100

¥554.00

中华商务进口图书旗舰店

Suzuki, Joe /2022-05-03 /Springer

【预售 按需印刷】Direct Methods Based on Orthonormal Berns 北京发货，付款后10天内发货

¥559.00

中图图书旗舰店

Suha Najeeb Shihab /2019-09-19 /KS OmniScriptum Publishing

海外直订New Methods for the Study of Biomolecular Complexes 生物分子

¥1988

中华商务进口图书旗舰店

Ens, W. /1998-02-27 /Springer

【预订】Global Methods for Combinatorial Isoperimetric Problems 国外库房发货, 通常付款后12-16周到货

¥1243

中国进口图书旗舰店

Harper, Larry /1988-08-08 /Cambridge UniversityPress

【预订】Formal Methods for Discrete-Time Dynamical Systems 97833 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319507620 Author 作者 Gol, Ebru Aydin Format 版本 精装 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-15 Language 语种 英语 Book Contents 内容简介 This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is

¥1861

中国进口图书旗舰店

Gol, Ebru Aydin /2017-02-15 /Springer International Publishing

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

¥2651

中华商务进口图书旗舰店

Fortier, S. /1998-02-27 /Springer

【预订】Kernel Methods for Remote Sensing Data Analysis 美国库房发货，通常付款后3-5周到货！

¥1975

中国进口图书旗舰店

Camps-Valls, Gustavo /1988-08-08 /John Wiley Sons

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

¥2135

中国进口图书旗舰店

Urban, Karsten /1988-08-08 /Oxford UniversityPress

按需印刷Research Methods for Public Administrators:Third Edition 预订，预计下单后3-4周左右发货！

¥668.00

上海外文书店旗舰店

Johnson, Gail (Independent Researcher, U /2014-03-30 /Taylor & Francis Ltd

【预订】Fuzzy Sets Methods in Image Processing and Understanding 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031194245 Author 作者 Isabelle Bloch Format 版本 精装 Pages Number 页数 354页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-11-19 Language 语种 其它（含多语） Book Contents 内容简介 This book provides a thorough overview of recent methods using higher level information (object or scene level) for advanced tasks such as image understanding along with their applications to medical images. Advanced methods for fuzzy image processing and understanding are presented, including fuzzy spatial objects, geometry and topology, mathematical morphology, machine learning, verbal descriptions of image content, fusion, spatial relations, and structural representations. For each methodological aspect covered, illustrations from the medical imaging domain are provided. This is an ideal book for graduate students and researchers in the field of med

¥1533

中国进口图书旗舰店

Isabelle Bloch /2022-11-19 /Springer Berlin Heidelberg

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

Product Details 基本信息 ISBN-13 书号 9783030921361 Author 作者 Sérgio Campos Format 版本 平装-胶订 Pages Number 页数 141页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-26 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area

¥603.00

中国进口图书旗舰店

Sérgio Campos /2021-12-26 /Springer Berlin Heidelberg

【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030549961 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 575页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2

¥548.00

中国进口图书旗舰店

Sekerinski /2020-08-11 /Springer Berlin Heidelberg

海外直订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

按需印刷Data, Methods and Theory in the Organizational Sciences: 预订，预计下单后3-4周左右发货！

¥567.00

上海外文书店旗舰店

* /2022-03-15 /Taylor & Francis Ltd

海外直订Formal Methods - The Next 30 Years: Third World Congress

¥662.00

中华商务进口图书旗舰店

Ter Beek, Maurice H. /2019-09-15 /Springer

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

¥2485

上海外文书店旗舰店

Po Li /IGI Global

按需印刷Mesh Methods:Numerical Analysis and Experiments 预订，预计下单后2-3周左右发货！

¥496.00

上海外文书店旗舰店

* /2021-03-29 /Mdpi AG