（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）埃德温·E·鲍勃罗（Edwin E. Bobrow）著；李茂林等译1999 年出版261 页ISBN：7538255117
书名页及封面丛书题名：完全傻瓜IDIOT著者通译：E.E.博布罗。
（美）约翰·奈斯比特等著2009 年出版222 页ISBN：9787802491588
本书主要论述了中国新社会的八大支柱理论，分析中国未来社会发展的大趋势。
（美）埃德加·赖斯·巴勒斯（Edgar Rice Burroughs）著2008 年出版132 页ISBN：9787807533344
本书讲述了一位受到栽赃的王子来到被遗弃的死海海底废城，历经艰难，救出了被绑架的公主，证明了自己的清白。
（美）埃德·麦卡锡（Ed McCarthy），（美）玛丽·埃文-莫利根（Mary Ewing-Mulligan）著；范晓郁等译2005 年出版399 页ISBN：7111160398
本书可以说是集葡萄酒课本、读者指南和参考书于一体。
（美）弗朗西丝·帕雷斯玛（Frances Presma），（美）葆拉·埃德尔森（Paula Edelson）著；刘茵译2005 年出版114 页ISBN：7100043875
本书先讲了家庭的类型，然后讲了各种家庭问题，还对如何解决问题提出了建议。
（美）埃德加·沙因（EdgarH.Schein）著；马红宇，唐汉瑛等译；陈德金审校2017 年出版244 页ISBN：7213077500
