综合标准化的经济数学方法

（苏）格尔布诺夫等著；陈志田，张树清等译校1989 年出版239 页ISBN：7537502706

程序验证和规范的形成方法

（美）伯　格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792

本书全面地介绍了程序验证理论、规范及有关的方法

图象通信

吴成柯等编1990 年出版232 页ISBN：7560601146

临床内分泌手册

蔡万春，尤柯等1989 年出版313 页ISBN：722700385X

自由幸福的苏联青年

（苏）瓦西连柯等编；李东江译1952 年出版124 页ISBN：

山洞巨龙

（波兰）汉·科斯苔尔柯等编；谢基译1992 年出版145 页ISBN：7532416798

IP话音基础

（美）Jonathan Davidson ，（美）James Peters著；韩柯等译2001 年出版355 页ISBN：7505363948

漫话信息交流

（美）拉里·戈尼克（Larry Gonick）著；杨 柯等译1995 年出版178 页ISBN：7501128375

暂缺《漫话现代信息交流》简介

复变函数与积分变换

林柯等编著1992 年出版343 页ISBN：7560906990

力争上游 布克尔·华盛顿自传

（美）B.T.华盛顿（Booker T.Washington）著；思果译1997 年出版162 页ISBN：7538247580