函数构造论 下

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

系统程序设计语言

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

微分几何教程

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

函数构造论

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

对象式程序设计语言

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

程序设计自动化系统

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

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

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

软件语言及其实现

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

软件自动化

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

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

函数构造论 下

（俄罗斯）纳唐松著；徐家福译2017 年出版141 页ISBN：9787560361697

本书利用简单的分析工具（代数多项式与三角多项式）来讨论函数的逼近理论。本书主要研究了内插过程与机械求积的收敛性问题。本书述理详明，取材丰富，特别是对苏联数学家在这方面的巨大成就进行了较多叙述，同时书中...