(美)EDMUND M.CLARKE JR.,ORNA GRUMBERG,DORON A.PELED著;李刚,宋雨等译2015 年出版223 页ISBN:9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
(美)埃德蒙·伯克·费德曼(Edmund Burke Feldman)著2018 年出版122 页ISBN:9787534070655
作者从社会、经济、政治、心理、认知与道德五个维度研讨艺术教育与艺术教学质检的问题及意义。本书用哲学的思想将艺术家与美术教师相结合,并结合当下美术教师关心的热点,如批判性思维、消费美学、艺术与道德...
(美)杰弗里·埃德蒙·柯里(Jeffrey Edmund Curry)著;朱丹等译1999 年出版238 页ISBN:7505819631
(美)杰弗里·埃德蒙·柯里(Jeffery Edmund Curry)著;朱丹,陆晓红等译2002 年出版293 页ISBN:7505833332
Studies in the phenomenology of constitution
Edmund Husserl ; translated by Richard Rojcewicz1989 年出版439 页ISBN:
ALKALOID BIOLOGY AND METABOLISM IN PLANTS
GEORGE R.WALLER EDMUND K.NOWACKI2222 年出版294 页ISBN:0306309815
(美)埃德蒙德·菲尔普斯(Edmund S.Phelps)著2016 年出版336 页ISBN:7111553458
INTRODUCTORY PSYCHOLOGY FOR STUDENTS OF EDUCATION
EDMUND S. CONKLIM AND FRANK S. FREEMAN1939 年出版557 页ISBN: