（美）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
轻松学用中文版Windows 2000 Professional
（美）（A.拉思伯恩）Andy Rathbone，（美）（S.克劳福德）Sharon Crawford著；董梁等译2000 年出版331 页ISBN：7505360647
美国IDGBooksWorldwide
[美]SUSAN STEMPLESKI ANDY CURTIS JAMES R.MORGAN NANCY DOUGLAS 杨惠中 高霞 张红霞 王跃武编著2007 年出版99 页ISBN：
MASS SPECTROMETRY FOR THE CLINICAL LABORATORY
HARI NAIR WILLIAM CLARKE2017 年出版288 页ISBN：0128008713
