（美）伯 格（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
本书主要介绍了有关主离合器，变速器，驱动桥等方面的知识。
陈国新，窦永山主编；侯登双等编写；《煤矿通风能力核定实用指南》编委会编著2006 年出版284 页ISBN：7502027998
本书内容包括通风安全管理、矿井通风技术、矿用通风仪器仪表、矿井通风能力核定。
