（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（英）格雷格·克拉克著2018 年出版188 页ISBN：9787300259192
为什么有些城市成为了国际化的大都市，哪些城市将成为未来的领导者？从古典雅典、罗马到现在的纽约、新加坡，少数城市成为了政治、经济、军事中心，在21世纪，国际化大都市的数量比历史上更多，这反映了经济和政治力.....
（英）格雷汉姆·克拉克著；易英译2015 年出版265 页ISBN：9787208135246
本书为“牛津艺术史”系列中的一本。作者对摄影史进行了回顾与讨论，试图探讨和阐述的不仅是摄影本身的历史，同时更是人们（以及诸如罗兰？巴特与苏姗？桑塔格这样的思想家与评论家们）如何去解读摄影的历史。在配合.....
姚海军主编；（英）阿瑟·克拉克著；美金特里·李著；王幼慈译2011 年出版469 页ISBN：9787536472129
本书是拉玛系列作品之三，讲的是公元2130年，人 类的飞船前往“拉玛”探索，在与之交流的过程中，外星人为地球人设计和建设的新伊甸园里，妮柯尔一家历经磨难，终于又团聚在一起。...
（比）克拉克绘；吉尔松编；傲文译2002 年出版46 页ISBN：7500762038
本书是世界经典魔幻漫画：魔法小女巫中的7魔力。你喜欢仙女吗？那你做仙女吧！哈哈！决不！哈哈！啊，看来一发都恢复原样了！你这样想？这儿太乱了！以前的梅丽桑又回来了！像个窝囊废！我是怎么忍到现的？！可是…......
（美）格利高利·克拉克著2009 年出版349 页ISBN：9787508615707
为什么世界的某些地区如此富强，而其它地区却如此贫困？为什么工业革命以及随之而来、史无前例的经济增长会发生在18世纪的英国，而非其它国家？为什么工业化不会让全世界富裕起来，反而让某些地区更加贫困？...
（英）阿瑟·克拉克，（美）金特里·李著2011 年出版510 页ISBN：9787536472136
本书是拉玛系列作品之四，讲的是：自从第一艘“拉玛”宇宙飞船出现在浩瀚的太阳系，引发人类前往探查以后，外星人的第二艘飞船也来到太阳系。人类在与先进外星文明的接触中，经历了一系列的惊奇和冒险，最终揭开了“.....
（英）阿瑟·克拉克著；高天羽译2018 年出版351 页ISBN：9787559420046
公元1967年，人类经过反复计算，发现要不了两千年，太阳就会变成超新星爆发，地球即将毁灭。在这最后的时刻，有人绝望，有人痛哭，有人放浪形骸，但更多的人将全世界的 力量凝聚到一起，试图移民银河系，或者，至少将......
克拉克著；陈修斋译2011 年出版125 页ISBN：9787100077651
本书内容为莱布尼茨与克拉克之间的一场论战，实际上是莱布尼茨与牛顿派之间关于世界的一些根本观点。
[英]阿瑟?克拉克2019 年出版276 页ISBN：9787532170692
IV 长篇小说-英国-现代，I561.45 2001年木星任务失败之后，发现号宇宙飞船即将坠毁在木星上，美国紧急前往救援。此时，俄国提出合作计划，美苏于是一同远征木星，由弗罗伊德博士率队。他们的任务，不仅要取回发现号上超...
