（美）E.A.波尔（E.A.Paul），（美）F.E.克拉克（F.E.Clark）编著；顾宗濂等译1993 年出版291 页ISBN：7502320040
（美）克拉克森（Clarkson，K.W.），（美）米 勒（Miller，R.L.）著；华东化工学院经济发展研究所译1989 年出版730 页ISBN：7542600982
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）德维威迪，（美）克拉克著2012 年出版322 页ISBN：9787121154409
本书是一本移动应用开发的安全实用指南，包括特色案例研究，代码示例和最佳做法。如何在最新的智能手机和掌上电脑平台防范漏洞，最大限度地孤立，锁定内部和可移动存储，通过沙箱和签名保证安全，并加密敏感的用户信.....
（美）伯恩斯（Burns，E.M.），（美）拉尔夫（Ralph，P.L.）著；罗经国等译1988 年出版399 页ISBN：7100004047
本书叙述了从史前社会到20世纪70年代人类文明的演化过程。
（美）瑞娜·克拉斯诺著2007 年出版229 页ISBN：7542626124
本书记录了一个犹太家庭的战时生活，折射了1942～1945年大上海的风貌。
