（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）Marcus W.Barton著；张雪兰等译1998 年出版326 页ISBN：7810454420
（美）DawnA.Marcus，MD原著2007 年出版261 页ISBN：9787117092210
本书对慢性疼痛的诊断和治疗作了全面的总结和回顾。内容包括疼痛的发病机制，不同人群如老年人、孕妇和儿童的疼痛特点，简练而准确的诊断标准，制定有效的治疗方案和可实现的治疗目标，各种对症治疗方法及疗效评估...
（英）MAEVE CLARKE著2006 年出版30 页ISBN：7560055486
本书讲的是神奇的时空扭转，让一个美国小子转瞬跑到了中世纪的英国。凭借现代科技的力量，他改变了亚瑟王的传奇世界！英汉双语，适合小学高年级及初一学生阅读。...
ISOLATION AND IDENTIFICATION OF DRUGS VOLUME 2
E.G.C.CLARKE1975 年出版1258 页ISBN：0853690952
