（美）伯 格（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
本书主要介绍了有关主离合器，变速器，驱动桥等方面的知识。
骆巧丽，吴一峰主编；聂咏华，姚国松，金骆彬副主编2014 年出版160 页ISBN：9787305129049
全书旨在帮助考生提高各单项英语技能和应试技巧，为了使广大考生尽快熟悉改革后的新四级考试，顺利通过新四级考试，本书全面讲解考试过程中出现的重点和难点，分门别类地引导学生逐步提高翻译与写作技能，同时配有大...
庞洪铸，姚国琴著2001 年出版305 页ISBN：7810418068
本书就当代世界经济、当代世界政治、发达资本主义国家的经济与政治、发展中国家的崛起与困境、社会主义国家的曲折发展、当代全球问题等六个方面进行了探究。...
斯国新，郭维涛，葛仲欢等著2008 年出版231 页ISBN：9787807581154
本书是一本党课的教学讲稿，从各个方面论述了党员应该掌握和具备的理论素质和工作方法。
