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
本书是一部填补国内在这一领域空白的学术专著 。较详细地介绍和论述了国家风险的基本内涵、国家风险评估的必要性、怎样分析与评估国家风险、风险报告内容及评级机制、国家风险定量研究方法以及风险管理与...
MODELING AND COMPUTATIONS IN DYNAMICAL SYSTEMS IN COMMEMORATION OF THE 100TH ANNIVERSARY OF THE BIRT
EUSEBIUS J DOEDEL2006 年出版349 页ISBN：
A THIRTEEN YEAR ECOLOGICAL ANALYSIS (1987-2000)OF BIOTIC COMMUNITIES OF THE PECAN ORCHARD IN COLLEGE
TZU-YIN LI AND M.K.HARRIS2222 年出版112 页ISBN：
OPERATING SYSTEMS DESIGN AND IMPLEMENTATION，THIRD EDITION
[美]ANDREW S.TANENBAUM ALBERT S.WOODHULL著 陈渝 谌卫军译2007 年出版357 页ISBN：7121026481
本书是关于操作系统的权威教材。大多数关于操作系统的图书均重理论而轻实践，而本书则在这两者之间进行了较好的折中。本书详细探讨了操作系统的基本原理，包括进程、进程间通信、信号量、管程、消息传递、调度...
