Microscopy techniques for materials science
A R Clarke ; C N Eberhardt2002 年出版424 页ISBN：1855735873
P.J.CLARKE AND J.W.ELLIS1981 年出版272 页ISBN：0406158207
H.T.CLARKE W.W.HARTMAN J.B.CONANT JOHN R.JOHNSON L.F.FIESER C.S.MARVEL REYNOLD C.FUSON C.R.NOLLER1941 年出版120 页ISBN：
（美）（C.G.卡尼）Clarke G.Carney，（美）（C.F.韦尔斯）Cinda Field Wells著；曹书乐，肖奔放译1999 年出版384 页ISBN：7501924910
（美）克拉柯（Clarke，F.）等著；薛云奎主译2006 年出版417 页ISBN：7208063338
本书从会计制度和会计准则角度出发，分析公司倒闭的原因，给人以警示。
（德）莱布尼茨（G.W.Leibniz），（英）克拉克（S.Clarke）著；陈修斋译1983 年出版130 页ISBN：2297·2
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、限界模型检...
