沈园，丁树德主编；陈洁倩，钱冬梅，王国新，羊凯江，王美娣，吴建蘅，杨海红，丁骏，孙立良编2005 年出版290 页ISBN：7309039726
本书为成人高教大专（非英语专业）英语教材。
（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
白云，李学哲，陈国新等编著2011 年出版438 页ISBN：9787302241737
本书基于Compag Visual FORTRAN 6.6，详细介绍了FORTRAN 95的基本知识、内部数据类型、有格式输入输出等内容。
李国新，蒋建伟，王树有编著2008 年出版255 页ISBN：9787802480636
本书是以捕捉和处理爆炸及快速反应过程的动态信息为目的的一本综合性技术教材。它以爆轰学、爆炸力学、冲击力学等学科为基础，主要介绍了爆炸、冲击和燃烧过程中的热力学和运动参数随时间和空间高速变化的关...
GlynnWinskel著；宋国新，邵志清，潘俊，孙霖等译2004 年出版283 页ISBN：7111131533
本书是计算机专业本科生研究生形式语义学教材。
刘朝红，徐国新主编；汤铭奇主审2011 年出版185 页ISBN：9787111346319
本书主要介绍了有关主离合器，变速器，驱动桥等方面的知识。
