ASTRONOMY:PRINCIPLES AND PRACTICE SECOND EDITION
D.CLARKE2222 年出版342 页ISBN：0852744633
（美）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
（英）西蒙·斯库恩斯（Simon Scoones）著；魏燕译2007 年出版48 页ISBN：7100049741
本书讲述了亚马孙河的情况，属青少年知识读物。
