（美）克拉克（K.K.Clarke），（美）希斯（D.T.Hess）著；戚诒孙译1980 年出版518 页ISBN：15012·0238
（美）卡特琳娜·克拉克（Katerina Clark），（美）迈克尔·霍奎斯特（Michael Holquist）著；语冰译2000 年出版448 页ISBN：7300015093
（美）道格拉斯·唐宁（Douglas Downing），（美）杰弗里·克拉克（Jeffrey Clark）著；施祖辉，孙允午译2004 年出版424 页ISBN：7208049696
本书简明扼要、通俗易懂地介绍了商业统计中的一些基本技术与分析方法，附有大量思考题和计算题并有答案，便于教师教学与学生自学。
（美）小克拉克（Clark，G.C.），（美）凯 恩（Cain，J.B.）著；聂 涛等译1988 年出版264 页ISBN：7118001244
（美）珍妮·艾尔斯莉·克拉克（Jean Illsley），（美）康妮·道森（Connic Dawson），（美）戴维·布莱德赫夫特（David Bredchoft）著；卫云等译2006 年出版311 页ISBN：7801879759
本书旨在帮助读者洞察自己的溺爱行为，并指导读者如何以一种有效的、充满爱心的方式去教育孩子，使他们能够拥有幸福成功的未来。
（美）玛丽·巴菲特（Mary Buffett），（美）大卫·克拉克（David Clark）著；郑晓苹，宋卫红译2000 年出版264 页ISBN：7501146160
（美）J.弗林（Jim Flynn），（美）B.克拉克（Bill Clarke）著；希望图书创作室译1998 年出版393 页ISBN：7801440749
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
