（英）C.罗登（Rodden，C.），（英）J.沃尔夫（Rodden，J.）著；王大雄等译1959 年出版269 页ISBN：15038·719
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
（英）兰姆（Lamb，C.）著；（法）迪鲁阿尔（Durual，C.）绘；萧乾译2008 年出版46 页ISBN：7532474232
莎士比亚留下的篇幅最长的一出戏，完成于1601年。那是个令人感觉沉重、内涵却又异常丰富的故事。它就是最为人熟知、也是被讨论得最多的《哈姆莱特》——伟大的悲剧！...
（美）阿道夫·A. 伯利（Adolf A. Berle），（美）加德纳·C. 米恩斯（Gardiner C. Means）著；甘华鸣，罗锐韧，蔡如海译2005 年出版445 页ISBN：7100043085
（美）埃德蒙·伯克·费德曼（Edmund Burke Feldman）著2018 年出版122 页ISBN：9787534070655
作者从社会、经济、政治、心理、认知与道德五个维度研讨艺术教育与艺术教学质检的问题及意义。本书用哲学的思想将艺术家与美术教师相结合，并结合当下美术教师关心的热点，如批判性思维、消费美学、艺术与道德...
（美）杰弗里·埃德蒙·柯里（Jeffrey Edmund Curry）著；朱丹等译1999 年出版238 页ISBN：7505819631
（美）杰弗里·埃德蒙·柯里（Jeffery Edmund Curry）著；朱丹，陆晓红等译2002 年出版293 页ISBN：7505833332
