李跃新等著2006 年出版180 页ISBN:7030181115
本书为高等院校专业选修教材,也可供从事人工智能和现代管理信息系统研究、设计与开发的科技人员参考。
(美)伯 格(Berg,H.K.)等著;宋国新等译1988 年出版250 页ISBN:7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
段咏新等著2006 年出版194 页ISBN:7801805887
本书是研究建筑科学的学术专著,研究空间三维、时间维、物理维、意识维等,有相当的学术价值。
胡松柏,汪应乐,葛新等著2005 年出版284 页ISBN:7810757288
本书主要从语音和方言的角度研究与探讨现代汉语课程教学中的一些理论问题。