胡正国，蔡经球编著1992 年出版268 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
王晓虹编著2019 年出版248 页ISBN：9787302513469
本书以Intel 8086/8088系列微机为背景，系统地介绍了汇编语言的基本概念、语法规则和程序设计方法。在此基础上介绍汇编语言的应用，包括输入输出的概念及其程序设计方法；中断的概念、方法及其开发应用技巧；文件...
（美）（R.多布森）Rick Dobson著；喻国宝等译2000 年出版479 页ISBN：7115082758
（英）JanMachacekAleksaVukoticAnirvanChakraborty等著；马连浩，栗磊，张龙等译2009 年出版764 页ISBN：9787115212047
本书讲述了Spring 2.5的最新特性。主要内容包括使用Spring的IoC，进行面向方面的Spring编程，使用Spring的动态脚本语言特性，Spring对JDBC框架、 Hibernate等的支持，Spring的MVC框架等。...
雷擎主编2012 年出版264 页ISBN：9787566303134
本书系统阐述了JAVA、语言基础、继承与多态、异常处理、输入输出流、网络应用等内容。
（美）Leen Ammeraal著；刘瑞挺等译2003 年出版392 页ISBN：7113052053
本书包括十一章内容和三个附录。分别对C++概述，表达式和语句，其他运算符，函数与程序结构，数组、指针与串、类与对象，模板，异常处理，标准模板库，输入输出流以及早期的库函数进行了详尽的讨论。...
