（比）彼得，（比）弗兰克著；薛颖译2007 年出版60 页ISBN：7500930941
本书收录了120个运动类的游戏，是对人的数学推算和逻辑推理能力的一个挑战。
杜捷夫，杜捷夫主编；王桂华，马国全，赵永飞等副主编；马金成，马国全，王桂华等编著2012 年出版153 页ISBN：9787508274362
本书分为十六章，多层次地介绍了针对青少年健康保健方面的有关知识，包括青少年时期性器官养护与疾病防治，传染性疾病、癌症、冠心病、高血压病、肥胖的早期预防，计划生育知识，心理素质培养，幸福婚姻的选择，心理......
（英）约翰·O.E.克拉克，迈克尔·阿拉比等著，张海译2009 年出版417 页ISBN：9787538859232
现代科学的巨大宏伟的大厦，或许是人类心灵的最伟大的胜利。但是，它的起源、发展和成就的故事却是历史当中人们知道得最少的部分之一，而且我们也很难在一般文献中找到它的踪迹。本书就为读者提供了这样一个了解...
（美）克拉克等著2010 年出版345 页ISBN：9787302224174
本书内容包括：构建和运行JavaFX程序、利用JavaFX可视组件创建用户体验、为用户界面增加光效、反射以及其他特效、用JSON和XML创建RESTful应用程序。...
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（英）格雷格·克拉克著2018 年出版188 页ISBN：9787300259192
为什么有些城市成为了国际化的大都市，哪些城市将成为未来的领导者？从古典雅典、罗马到现在的纽约、新加坡，少数城市成为了政治、经济、军事中心，在21世纪，国际化大都市的数量比历史上更多，这反映了经济和政治力.....
（俄）瓦列里·列昂尼多维奇·彼得罗夫著2008 年出版334 页ISBN：9787500466673
本书向读者介绍了俄罗斯地缘政治的起源，形成过程及阶包括的内容。
