程序验证和规范的形成方法

（美）伯　格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792

本书全面地介绍了程序验证理论、规范及有关的方法

灌区量水工作手册 第2版

陈炯新等著1965 年出版371 页ISBN：15143·5288

幼儿文学百年经典 美绘版2 月亮卷

金波等著；程思新等绘2014 年出版111 页ISBN：

环境六维系统论

段咏新等著2006 年出版194 页ISBN：7801805887

本书是研究建筑科学的学术专著，研究空间三维、时间维、物理维、意识维等，有相当的学术价值。

杭州新闻史

张梦新等著2011 年出版247 页ISBN：7500499305

本书是《杭州市历史文化研究丛书》中的一本，本书对南宋时期临安的“小报”进行了深入挖掘，对于杭州与新闻相关的所有历史进行了追溯与历史还原，也对目前的新闻出版状况进行了白描式展示。有一定出版价值。 ...

现代汉语课程教学与研究

胡松柏，汪应乐，葛新等著2005 年出版284 页ISBN：7810757288

本书主要从语音和方言的角度研究与探讨现代汉语课程教学中的一些理论问题。

当代西方经济学流派 第2版

蒋自强，史晋川，张旭昆，金祥荣，郑勇军，郑备军等著2004 年出版441 页ISBN：7309015676

迁移与发展：中国改革开放以来的实证

王桂新等著2005 年出版335 页ISBN：

马克思主义妇女解放与发展概论

徐伟新等著2008 年出版228 页ISBN：9787802036338

本书是一本理论性学术著作。

当代西方经济学流派 第4版

蒋自强，史晋川，张旭昆，金祥荣，郑备军，郑勇军，朱希伟，杨晓兰等著2014 年出版342 页ISBN：7309108309