网络工程师考试辅导 第2版

全国计算机技术与软件专业技术资格（水平）考试办公室组编；雷震甲主编2007 年出版319 页ISBN：7560614930

本书是全国软考网络工程师考试的辅导用书。

世界文明史 从威克利夫到路德

幼狮编译部1977 年出版588 页ISBN：

新制酬世大全 各界适用 卷7-10

广益书局编译部编辑1933 年出版278 页ISBN：

新制酬世大全 各界适用 卷1-6

广益书局编译部编辑1933 年出版274 页ISBN：

新制酬世大全 各界适用 卷15-17

广益书局编译部编辑1932 年出版218 页ISBN：

新制酬世大全 各界适用 卷11-14

广益书局编译部编辑1933 年出版242 页ISBN：

新编大学英语学习指导

周俊英主编；北京工业大学外语部《新编大学英语学习指导》编写组编2000 年出版446 页ISBN：7801630319

智慧之光-科苑百花集 2

光明日报《科学》副刊组1982 年出版145 页ISBN：13051·1281

1999-2001年度系统分析员级试题分析与解答

信息产业部计算机软件专业技术资格和水平考试办公室组编2002 年出版199 页ISBN：7302055092

可信软件基础研究

可信软件基础研究项目组编2018 年出版94 页ISBN：9787308188715

本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...