邵林广主编；莫文婷，朱雷副主编2012 年出版376 页ISBN：9787112138890
本书系统地论述了给水排水管道工程等施工的理论与方法，详细阐述了水工程施工的通用技术，对正在推广使用的新技术作了充分的介绍，那些沿用的传统施工技术作了恰如其分的叙述，对专业性很强的施工技术，则一般性的作...
胡正国，蔡经球编著1987 年出版227 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
朱文球，刘强，陈青主编2010 年出版339 页ISBN：9787040295733
本书是根据教育部计算机基础课程教学指导委员会编制的“计算机基础课程基本要求”编写而成的。
