函数构造论 下

（苏）纳唐松，И.П.著；徐家福，郑维行译1959 年出版190 页ISBN：13031·1144

系统程序设计语言

徐家福著1983 年出版237 页ISBN：15031·496

软件语言及其实现

徐家福，吕建著2000 年出版280 页ISBN：7030084853

微分几何教程

（苏）芬尼可夫（С.П.Хиников）著；施祥林，徐家福译1954 年出版344 页ISBN：13010·83

函数构造论

（苏）纳唐松（И.П.Натансон）著；徐家福，郑维行译1958 年出版236 页ISBN：13031·63

软件自动化

徐家福，陈道蓄等著1994 年出版205 页ISBN：7302015406

本书旨在讨论软件自动化的基本概念、基本方法与技术。

对象式程序设计语言

徐家福，王志坚，翟成祥著1992 年出版339 页ISBN：7305017485

程序设计自动化系统

（苏）脱利峰诺夫，Н.П.，（苏）舒拉-布拉，М.Р.著；徐家福，周志明译1965 年出版146 页ISBN：13119·637

学生英语学习之友 初中版

易木荣主编；王榕，王克芬，刘淑娜，刘颖霞，宋莉，徐玉卿，敖家福，高慧敏编写1996 年出版220 页ISBN：754330838X

UML精粹 标准对象建模语言简明指南

（美）Martin Fowler，（美）Kendall Scott著；徐家福译2002 年出版196 页ISBN：7302053626