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

¥662.00

中华商务进口图书旗舰店

Leue, Stefan /2008-07-31 /Springer

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

Product Details 基本信息 ISBN-13 书号 9783642245589 Author 作者 Qin Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-10-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

¥548.00

中国进口图书旗舰店

Qin /2011-10-15 /Springer Berlin Heidelberg

【预订】Formal Methods for Components and Objects 9783540291312 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540291312 Author 作者 de Boer Format 版本 平装-胶订 Pages Number 页数 328页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-19 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a co

¥548.00

中国进口图书旗舰店

de Boer /2005-09-19 /Springer Berlin Heidelberg

海外直订Formal Methods in Computer-Aided Design: First Internati

¥662.00

中华商务进口图书旗舰店

Srivas, Mandayam /1996-10-22 /Springer

海外直订Formal Methods and Object Technology 形式化方法与对象技术

¥1325

中华商务进口图书旗舰店

Goldsack, Stephen J. /1996-04-25 /Springer

海外直订Formal Methods for Nonmonotonic and Related Logics: Vol

¥1072

中华商务进口图书旗舰店

Schlechta, Karl /2018-11-11 /Springer

海外直订Formal Methods: Applications and Technology: 11th Intern

¥662.00

中华商务进口图书旗舰店

Brim, Lubos /2007-02-28 /Springer

海外直订Ray Methods for Nonlinear Waves in Fluids and Plasmas 流体

¥611.00

中华商务进口图书旗舰店

Anile, Marcelo /2019-12-01 /CRC Press

海外直订Kernel Methods and Machine Learning 核方法与机器学习

¥1060

中华商务进口图书旗舰店

Kung, S. Y. /2014-04-17 /Cambridge University Press

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

¥1325

中华商务进口图书旗舰店

Dong, Jin Song /2010-10-28 /Springer

海外直订医药图书Methods and Applications of Inversion 反演方法及应用

¥662.00

中华商务进口图书旗舰店

Hansen, Per C. /2000-01-01 /Springer

【预售 按需印刷】Data-Based Methods for Materials Design a

¥950.30

中图图书旗舰店

Ghanshyam Pilania /2020-03-06 /Morgan and Claypool Publishers

【预售 按需印刷】INVERSE METHODS FOR ATMOSPHERIC SOUNDING

¥1173

中图图书旗舰店

Clive D Rodgers /2000-07-17 /World Scientific Publishing Co Pte Ltd

海外直订Mixed Methods: Interviews, Surveys, and Cross-Cultural C

¥1742

中华商务进口图书旗舰店

Schrauf, Robert W. /2016-12-07 /Cambridge University Press

海外直订Mixing Methods in Psychology: The Integration of Qualita

¥655.00

中华商务进口图书旗舰店

Todd, Zazie /2004-07-14 /Psychology Press

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

¥662.00

中华商务进口图书旗舰店

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

【预订】Risk-Based Methods for Equipment Life Management: An App 美国库房发货，通常付款后3-5周到货！

¥1769

中国进口图书旗舰店

N/A /2003-01-01 /American Society of Mechanical Engineers

海外直订Novel Methods for Monitoring and Managing Land and Water

¥1988

中华商务进口图书旗舰店

Mueller, Lothar /2015-11-22 /Springer

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

¥905.00

中图图书旗舰店

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

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

¥2253

中华商务进口图书旗舰店

Dacorogna, Bernard /2007-11-28 /Springer

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

¥5169

中华商务进口图书旗舰店

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

海外直订PCR: Methods and Protocols PCR:方法和方案

¥1951

中华商务进口图书旗舰店

Domingues, Lucilia /2023-08-22 /Humana

【预订】Research Methods in Sports Coaching 9780415626828 美国库房发货，通常付款后3-5周到货！

¥799.00

中国进口图书旗舰店

Nelson, Lee /2014-03-10 /Routledge

海外直订Rapid Methods for Analysis of Biological Materials in th

¥550.00

中华商务进口图书旗舰店

2011-09-21 /Springer

【3-6周达】Direct Methods in the Theory of Elliptic Equations [I 【全球购】进口原版图书，一般3-6周左右到国内

¥1298

书之源外文图书

Necas,Jindrich;Necasová,Sárka;Simader,Ch /2013-11-29 /Springer

海外直订Ray Methods for Nonlinear Waves in Fluids and Plasmas 流体

¥2439

中华商务进口图书旗舰店

Anile, Marcelo /1993-05-04 /Chapman & Hall/CRC

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

Product Details 基本信息 ISBN-13 书号 9789401776943 Author 作者 Bernard Shizgal Format 版本 平装-胶订 Pages Number 页数 415页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-10-06 Shipping Weight 商品重量 772g Language 语种 英语 Book Contents 内容简介 This book is a pedagogical presentation of the application of spectral and pseudospectral methods to kinetic theory and quantum mechanics. There are additional applications to astrophysics, engineering, biology and many other fields. The main objective of this book is to provide the basic concepts to enable the use of spectral and pseudospectral methods to solve problems in diverse fields of interest and to a wide audience. While spectral methods are generally based on Fourier Series or Chebychev polynomials, non-classical polynomials and associated quadratures are used for many of the applications presented in the book

¥1095

中国进口图书旗舰店

Bernard Shizgal /2016-10-06 /Springer Berlin Heidelberg

海外直订Design Methods for Digital Systems 数字系统设计方法“，

¥662.00

中华商务进口图书旗舰店

Chinal, Jean /2012-03-16 /Springer

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

¥494.00

中华商务进口图书旗舰店

Dierkes, Michael /2013-09-12 /Springer

海外直订医药图书Methods of Cancer Diagnosis, Therapy and Prognosis:

¥4707

中华商务进口图书旗舰店

Hayat, M. A. /2010-11-29 /Springer

海外直订Lie Methods in Deformation Theory 变形理论中的Lie方法

¥1739

中华商务进口图书旗舰店

Manetti, Marco /2022-06-25 /Springer

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

Product Details 基本信息 ISBN-13 书号 9781138491793 Format 版本 精装 Pages Number 页数 416页 Publisher 出版社 Routledge Publication Date 出版日期 2020-05-01 Language 语种 英语 Book Contents 内容简介 This comprehensive volume explores the set of theoretical, methodological, ethical and analytical issues that shape the ways in which visual qualitative research is conducted in psychology. Using visual data such as film-making, social-media analyses, photography and model making, the book uniquely uses visual qualitative methods to broaden our understanding of experience and subjectivity.In recent years, visual research has seen a growing emphasis on the importance of culture in experience based qualitative methods. Featuring contributors from diverse research backgrounds including narrative psychology, personal construct theory and psychoanalysis, the book examines the potential for visual methods in psychology. In

¥3013

中国进口图书旗舰店

暂无作者信息 /2020-05-01 /Routledge

海外直订医药图书Methods in Biological Oxidative Stress 生物氧化应激的研究方法

¥1325

中华商务进口图书旗舰店

Hensley, Kenneth /2003-04-06 /Humana

海外直订医药图书Methods in Pharmacology: Volume 4a Renal Pharmacolog

¥662.00

中华商务进口图书旗舰店

Martinez-Maldonado, Manuel /2012-02-04 /Springer

海外直订医药图书Methods in Microarray Normalization 微阵列归一化方法

¥1758

中华商务进口图书旗舰店

Stafford, Phillip /2008-01-30 /CRC Press

海外直订Modern Methods of Construction Design: Proceedings of IC

¥3976

中华商务进口图书旗舰店

Sevĉik, Ladislav /2014-04-15 /Springer

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

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

¥2035

中国进口图书旗舰店

Jacek Banasiak /2019-09-20 /CRC Press

海外直订Formal Methods and Software Engineering: 21st Internatio

¥534.00

中华商务进口图书旗舰店

Ait-Ameur, Yamine /2019-10-05 /Springer

【预订】Advanced Methods for Processing and Visualizing the Rene 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789811586057 Format 版本 精装 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-12-27 Language 语种 英语 Book Contents 内容简介 This book is a collection of research work conducted by researchers at Centre for Smart Grid Energy Research (CSMER), Institute of Autonomous System, Universiti Teknologi PETRONAS (UTP), and Seismic Modelling and Inversion Group, King Abdullah University of Science and Technology (KAUST), Saudi Arabia. The book covers topics in the field of renewable energy where visualization, artificial neural network and deep learning techniques have been applied to optimize the performance of various applications in energy-related industries. These examples include a natural gas vehicle (NGV), a single axis and a fixed axis solar tracker, seismic inversion enhanced oil recovery, viability of a PV system and constr

¥1753

中国进口图书旗舰店

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

海外直订医药图书Methods of Cancer Diagnosis, Therapy, and Prognosis:

¥3976

中华商务进口图书旗舰店

Hayat, M. A. /2009-12-17 /Springer

海外直订Soft Methods for Integrated Uncertainty Modelling 集成不确定度

¥1550

中华商务进口图书旗舰店

Lawry, Jonathan /2006-09-01 /Springer

海外直订Research Methods for Science 科学研究方法

¥527.00

中华商务进口图书旗舰店

Marder, Michael P. /2011-03-01 /Cambridge University Press

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

【预订】Research Methods in Linguistic Anthropology 978135011749 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781350117495 Format 版本 精装 Pages Number 页数 416页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2022-01-13 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.94 Shipping Weight 商品重量 1.67 Language 语种 其它（含多语）

¥1073

中国进口图书旗舰店

2022-01-13 /Bloomsbury Academic

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

¥1468

中华商务进口图书旗舰店

No /2010-04-21 /Oxford University Press

【预订】Numerical Methods for Elliptic and Parabolic Partial Dif 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030793845 Author 作者 Peter Knabner Format 版本 精装 Pages Number 页数 802页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-24 Language 语种 其它（含多语） Book Contents 内容简介 This graduate-level text provides an application oriented introduction to the numerical methods for elliptic and parabolic partial differential equations. It covers finite difference, finite element, and finite volume methods, interweaving theory and applications throughout. The book examines modern topics such as adaptive methods, multilevel methods, and methods for convection-dominated problems and includes detailed illustrations and extensive exercises. For students with mathematics major it is an excellent introduction to the theory and methods, guiding them in the selection of methods and helping them to understand and pursue finite element program

¥985.00

中国进口图书旗舰店

Peter Knabner /2021-09-24 /Springer Berlin Heidelberg

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

Product Details 基本信息 ISBN-13 书号 9783031274800 Format 版本 平装-胶订 Pages Number 页数 659页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-20 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

¥1094

中国进口图书旗舰店

暂无作者信息 /2023-03-20 /Springer Berlin Heidelberg

海外直订医药图书Methods for Meta-Analysis in Medical Research 医学研究中的

¥1292

中华商务进口图书旗舰店

Sutton, Alexander J. /2000-01-01 /Wiley

海外直订医药图书Methods in Pharmacology 药理学方法

¥1325

中华商务进口图书旗舰店

Schwartz, Arnold /2013-01-20 /Springer

海外直订Visual Methods with Children and Young People: Academics

¥690.00

中华商务进口图书旗舰店

Yamada-Rice, Dylan /2015-10-20 /Palgrave MacMillan

预订 Fourier Methods in Science and Engineering 科学与工程中的傅立叶方法: 国外库房发货，通常付款后3-5周到货

¥712.00

中国进口图书旗舰店

2025-09-28 /CRC Press

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

¥1105

书之源外文图书

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

预订 Hybrid Methods for Modeling and Optimizing Complex System 国外库房发货，通常付款后3-5周到货

¥2409

中国进口图书旗舰店

Predrag S. Stanimirovi? /2025-07-03 /Springer Basel

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

¥2067

中华商务进口图书旗舰店

Bolognesi, Tommaso /2000-01-01 /Springer

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

¥5325

书之源外文图书

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

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

¥1209

书之源外文图书

Sofronas, Anthony /2022-06-08 /Wiley

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

¥626.00

书之源外文图书

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

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

¥769.00

中华商务进口图书旗舰店

Barker, Philip /2010-10-12 /Springer

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

¥851.00

中华商务进口图书旗舰店

Falb, Peter /2020-01-02 /Birkhauser