沈园，丁树德主编；陈洁倩，钱冬梅，王国新，羊凯江，王美娣，吴建蘅，杨海红，丁骏，孙立良编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
本书是计算机专业本科生研究生形式语义学教材。
嵇新浩主编；丛书编委会编2008 年出版255 页ISBN：9787508372235
办公自动化是当今企事业单位提高办公效率的基础和保障，随着信息化在社会各领域的普及，办公自动化的水平也在不断提高。本书是一本操作性极强、内容最新的办公自动化教程。全书共分9章，围绕着办公自动化的主题，...
