(英)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