（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
段咏新等著2006 年出版194 页ISBN：7801805887
本书是研究建筑科学的学术专著，研究空间三维、时间维、物理维、意识维等，有相当的学术价值。
张梦新等著2011 年出版247 页ISBN：7500499305
本书是《杭州市历史文化研究丛书》中的一本，本书对南宋时期临安的“小报”进行了深入挖掘，对于杭州与新闻相关的所有历史进行了追溯与历史还原，也对目前的新闻出版状况进行了白描式展示。有一定出版价值。 ...
胡松柏，汪应乐，葛新等著2005 年出版284 页ISBN：7810757288
本书主要从语音和方言的角度研究与探讨现代汉语课程教学中的一些理论问题。
