（美）克拉克（K.K.Clarke），（美）希斯（D.T.Hess）著；戚诒孙译1980 年出版518 页ISBN：15012·0238
（美）尼尔·克拉克·华伦（Neil Clark Warren）著；许惠珺译2002 年出版232 页ISBN：7501159440
说明—如何使用《非常选择，非常Match》许许多多的情侣发现，《非常选择，非常Match—择偶十大原则》（Finding the Love of Your Life）一书，对于他们在择偶时该考虑清楚的几个关键问题大有帮助。本书所列的十大择偶...
（美）珍妮·艾尔斯莉·克拉克（Jean Illsley），（美）康妮·道森（Connic Dawson），（美）戴维·布莱德赫夫特（David Bredchoft）著；卫云等译2006 年出版311 页ISBN：7801879759
本书旨在帮助读者洞察自己的溺爱行为，并指导读者如何以一种有效的、充满爱心的方式去教育孩子，使他们能够拥有幸福成功的未来。
（美）J.弗林（Jim Flynn），（美）B.克拉克（Bill Clarke）著；希望图书创作室译1998 年出版393 页ISBN：7801440749
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
