信息产业部计算机软件专业技术资格和水平考试办公室组编2002 年出版199 页ISBN：7302055092
《江泽民“三个代表”思想学习笔记》编选组编2002 年出版412 页ISBN：7205052904
本书选收了国内一些理论界的知名学者、专家撰写的有关文章、学习笔记、体会等41篇，内容涵盖了江泽民“三个代表”重要思想的各个方面。
寒潮年鉴 1973.9-1974.5 1974.9-1976.5 合订本
东北、华北、西北寒潮大风科研协作组编1980 年出版189 页ISBN：13194·0007
可信软件基础研究项目组编2018 年出版94 页ISBN：9787308188715
本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...
李大友主编；王同胜，冯尧锴编著；全国高等学校计算机教育研究会教材与课程建设委员会组编2001 年出版338 页ISBN：7111049918
