（美）尼罗德（Nerode，A.），（美）肖尔（ Shore，R.A.）著；丁德成等译2007 年出版284 页ISBN：7111214048
本书是一本介绍数理逻辑的基础教材。
（美）佛罗赞（Forouzan，B.），莫沙拉夫（Mosharraf，F.）著2009 年出版390 页ISBN：9787111131595
本书全面介绍计算机科学的基础知识。
张成祎著2010 年出版401 页ISBN：9787544616737
本书为大学英语语法教材，本次修订完全按照《大学英语课程教学要求》的精神来进行，修订后的教材能有效地帮助学生复习语法，扫清英语学习中的语法障碍。...
（美）马克·卡兰（Mark Karlen），吉米·本亚（James Benya）2016 年出版239 页ISBN：7121304576
