定理机器证明

刘叙华，姜云飞编著1987 年出版280 页ISBN：15031·870

歌曲作法

盛礼洪编著1951 年出版100 页ISBN：

数理统计

詹金龙，张林编著1993 年出版229 页ISBN：7502913696

实用JAVA编程

鼎点工作室编著1996 年出版243 页ISBN：7810229869

球墨铸铁显微研究

李炯辉，胡明初编著1978 年出版284 页ISBN：15119·1951

绿色化学导论

仲崇立编著2000 年出版139 页ISBN：7502528768

食物成分表

中国医学科学院卫生研究所编著1977 年出版468 页ISBN：

现代企业质量管理

潘渔洲编著1997 年出版285 页ISBN：780118338X

信息高速公路

张宏科编著1995 年出版98 页ISBN：7115056269

基础数学

张立昂编著1993 年出版273 页ISBN：7302013306