于敬河，宋国治编1990 年出版139 页ISBN：7100000475
本词典共收词条二千多条，除有译文外，还有原意及注解，对故事性的谚语个别附有来由，便于理解。
（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
徐国萍编著2001 年出版349 页ISBN：7801465490
本书全面总结考试题型和命题规律；结合答题方法和技巧，详尽讲评1996年以来的历次真题；分析考生应考时可能陷入的误区和遇到障碍等内容。 ...
宋国柱，赵圣隆编著2010 年出版213 页ISBN：9787508476025
本书以Red Hat Enterprise Linux 5为例，全面介绍了Linux的安装、基本命令、系统管理及软件包的安装等。
胡金燕，曾昭英，宋国亮主编2012 年出版123 页ISBN：9787563531684
本书分别介绍了n阶行列式、矩阵、n维向量与向量空间、线性方程组、矩阵的特征值与二次型、线性空间与线性变换、经济应用数学模型。每章后均有小结并配有大量的习题，书后附有参考答案和多年考研真题。...
GlynnWinskel著；宋国新，邵志清，潘俊，孙霖等译2004 年出版283 页ISBN：7111131533
本书是计算机专业本科生研究生形式语义学教材。
环球卓越在职英语考试研究组组编；初萌，徐国萍主编2012 年出版341 页ISBN：9787111381846
本书按照最新考试大纲的要求，系统全面地讲解了口语交际、词汇与语法结构、阅读理解、完形填空、英译汉、写作等6个部分的考试要点、复习要领、应试技巧及专项练习等内容。...
