Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN:9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN:3540330569
东盟十国基本国情及投资风险评估 = CURRENT COUNTRY FACTS AND INVESTMENT RISK ANALYSIS OF ASEAN TEN
范若兰主编2016 年出版547 页ISBN:7516190678
可靠性·维修性·保障性技术丛书 9 保障性设计分析与评价=DESIGN,ANALYSIS AND EVALUATION OF SUPPORTABILITY
王自力丛书主编2012 年出版0 页ISBN:
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
JAVIER DUOANDIKOETXEA2017 年出版224 页ISBN:9787040469011
傅里叶分析包括了各种不同的观点和技巧。本书讲述的是由 Calderón 和 Zygmund引进的傅里叶分析的实变量方法。受傅里叶级数和积分的研究启发,本书引进了诸如 Hardy-Littlewood 极大函数和 Hilbert 变换这些...
国家风险 分析·评估·监控 analysis, assessment & monitoring
李福胜著2006 年出版416 页ISBN:7802302161
本书是一部填补国内在这一领域空白的学术专著 。较详细地介绍和论述了国家风险的基本内涵、国家风险评估的必要性、怎样分析与评估国家风险、风险报告内容及评级机制、国家风险定量研究方法以及风险管理与...
数学物理 下 第2版=MATHEMATICAL PHYSICS PART 2 A MODERN INTRODUCTION TO ITS FOUNDATIONS SECOND EDITION
SADRI HASSANI2017 年出版1205 页ISBN:9787519226077
本书是为学习物理学的读者编写的数学基础教材,书中除了用较现代的方法处理经典的数学物理问题外,还引入了很多有较强物理应用意义的现代数学方法和思想,从涵盖的知识面来看,已远远超出通常数学物理方法教程的范...