（法）让-皮埃尔·吉尔森（JEAN-PIERRE）摄；（法）多米尼克·罗布斯坦（DOMINIQUCLOBSTEIN）文；杨荷清译2020 年出版134 页ISBN：
（法）卡洛夫著；（法）蒙泰涅，（法）罗特洛尔绘；康乃馨译2014 年出版79 页ISBN：7121217341
如果我们把石头定义为“没有生命的天然固体”，那么，石油和天然气又应该归为哪类？为什么有些石头拥有和动植物一样的外表？在遥远的过去，它们会不会曾经是活的生物？还有，它们是怎么形成的，有多大年纪了？在我们......
（法）艾米利·博蒙特，（法）艾曼纽·帕罗瓦西恩，（法）伯纳德·阿鲁尼等编绘；辛萧月译2016 年出版124 页ISBN：9787536573109
《恐龙和神秘的史前世界》从恐龙化石的出土讲起，回溯到遥远的史前地球，对恐龙和一大批现在已经灭绝了的远古动物进行了多方面的介绍。图书采用你问我答的方式编写而成，书中的问题都是从孩子们中间征集而来的，能...
（英）约翰·O.E.克拉克，迈克尔·阿拉比等著，张海译2009 年出版417 页ISBN：9787538859232
现代科学的巨大宏伟的大厦，或许是人类心灵的最伟大的胜利。但是，它的起源、发展和成就的故事却是历史当中人们知道得最少的部分之一，而且我们也很难在一般文献中找到它的踪迹。本书就为读者提供了这样一个了解...
（美）克拉克等著2010 年出版345 页ISBN：9787302224174
本书内容包括：构建和运行JavaFX程序、利用JavaFX可视组件创建用户体验、为用户界面增加光效、反射以及其他特效、用JSON和XML创建RESTful应用程序。...
（美）黛布拉·哈夫纳（Debra W.Haffner）著；王震宇译2004 年出版231 页ISBN：7806794816
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（英）格雷格·克拉克著2018 年出版188 页ISBN：9787300259192
为什么有些城市成为了国际化的大都市，哪些城市将成为未来的领导者？从古典雅典、罗马到现在的纽约、新加坡，少数城市成为了政治、经济、军事中心，在21世纪，国际化大都市的数量比历史上更多，这反映了经济和政治力.....
