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
本书是关于操作系统的权威教材。大多数关于操作系统的图书均重理论而轻实践,而本书则在这两者之间进行了较好的折中。本书详细探讨了操作系统的基本原理,包括进程、进程间通信、信号量、管程、消息传递、调度...