郝林，黄亚群，李劲编著2012 年出版306 页ISBN：9787030343444
本书包括数理逻辑（命题逻辑、谓词逻辑、数学归纳法）；集合论（关系、函数、算法）；代数系统（群论、格与布尔代数）；图论。
马世霞主编2010 年出版299 页ISBN：9787302226420
本书以软件基础知识为中心，目的是通过有限的篇幅，使学生掌握开发应用软件所必备的基础知识、方法和技能，建立开发软件系统的总体思路。...
齐明侠编著（中国石油大学（华东）机电工程学院）2006 年出版133 页ISBN：7563621784
本书为高等学校教材，其主要任务是使学生掌握中小型工程用软件的编制原则和方法，内容包括软件工程的基本原理、计算机程序语言简介、工程问题的计算模型、计算机的输入输出（键盘、显示器、打印机）设备的特性和驱...
方木云主编；杭婷婷，刘辉，周兵副主编2016 年出版343 页ISBN：9787302413790
以软件工程的目标（研究如何提高软件生产效率和质量、降低生产成本是该学科的目标）来组织和选材，也就是以软件形态、开发方法、开发工具、管理、实践这5个方面来组织教材，选取了近10年来软件工程领域的最新发展...
李天博主编2004 年出版327 页ISBN：7810896709
本书巩固第一学期的课本知识，温故知新，寓教于乐，扩大知识面，提高学生的学习兴趣，加强学生的综合学习能力，如阅读能力，数学能力等。...
（美）威尔顿（Wilton，Richard）著；郑全战等译1993 年出版196 页ISBN：7302012199
