程序开发原理 抽象、规格与面向对象设计 abstraction， specification， and obiect-oriented design

（美）Barbara Liskov，（美）John Guttag著；裘健译2006 年出版275 页ISBN：7121032627

本书由著名编程理论专家所著，是美国麻省理工学院电气工程与计算机科学系的编程实践课程教材。书中讨论了怎样构建具有高可靠性、易于维护和能得以快速修改的软件开发方法，强调了软件的模块化开发思想，用丰富的...

最后的正义

（美）菲利普·马戈林著；持健译2008 年出版180 页ISBN：9787501442201

本书为外国长篇侦探小说。

海的女儿

（丹）安徒生著；叶君健译1991 年出版278 页ISBN：7800770915

小鬼和太太

（丹）安徒生著，叶君健译1978 年出版149 页ISBN：10188·40

啤酒花的病害

（英）H·Wormald著；张良健译1984 年出版14 页ISBN：

沙丘的故事

（丹麦）安徒生（Andersen，H.C.）著；叶君健译1986 年出版150 页ISBN：10188·38

亚格曼农王

爱斯古里斯著；叶君健译1946 年出版127 页ISBN：

安徒童话全集 4

叶君健译1995 年出版504 页ISBN：7533907477

安徒童话全集 3

叶君健译1995 年出版486 页ISBN：7533907477

安徒生童话精选

（丹）安徒生著；叶君健译选1986 年出版202 页ISBN：7500700636