(美)Matthias Felleisen等著;黄林鹏,朱崇恺译2003 年出版460 页ISBN:7115115567
本书以Scheme语言为基础介绍计算和程序设计的一般理论和实践。
黄荣昌,温丽珍,杨梓等著2007 年出版317 页ISBN:9787227034889
本书是一本法律类教材,主要论述了证据学的基本理论并加有许多实际工作中的例子,理论性和实用性强,是广大法律工作者的必备书籍。
(美)(D.多尔蒂)Donald Doherty著;王世忠等编译1999 年出版331 页ISBN:7115075867