（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
GEOGRAPHY AND POPULATION:APPROACHES AND APPLICATIONS
JOHN I.CLARKE2222 年出版244 页ISBN：0080287808
Emigre Cultures in Design and Architecture
Alison J. Clarke2017 年出版248 页ISBN：1474275606
MICROBIOLOGY AND IMMUNOLOGY 6ND EDITION
LOUISE HAWLEY，RICHARD J.ZIEGLER，BENJAMIN L.CLARKE2015 年出版347 页ISBN：7565909573
（美）David James Clarke，IV著；廖永康，张晖，兑继英等译1998 年出版776 页ISBN：7118018988
MASS SPECTROMETRY FOR THE CLINICAL LABORATORY
HARI NAIR WILLIAM CLARKE2017 年出版288 页ISBN：0128008713
IMPROVING SCHOOLS IN EXCEPTIONALLY CHALLENGING CIRCUMSTANCES
PAUL CLARKE AND BELINDA HARRIS2006 年出版158 页ISBN：
（美）博伊德·克拉克（Boyd Clarke），（美）罗恩·克罗斯兰（Ron Crossland）著；胡书东，孙立明译2004 年出版207 页ISBN：7508602781
许多领导人认为，只要登高一呼，员工热烈鼓掌，就是在做沟通，其实不然。沟通不力会产生额外的沟通障碍。其实，长久以来，很多领导者仰仗的是命令而不是沟通，结果只能让人才流失，无法造就人才。本书就是指导领导者......
（美）克拉克（A.C.Clarke）等著；（英）劳德（A.Laude）改写 吴信强注释1980 年出版123 页ISBN：9188·64
