(明)罗贯中著;(越南)严全,(法)里科,(法)让·勒维,(法)昂热丽克·勒维译2012 年出版3965 页ISBN:7020071739
(英)亚历山德拉·库肯著;(法)乔艾尔·德雷德米,(英)迈克·加尔顿绘;唐玮译2015 年出版25 页ISBN:9787533177645
本书以寻找太空中的机器人为线索,向孩子介绍了宇宙中的行星还有不可思议的机器人以及关于太空的历史、科学知识。让孩子真正感受在寻找游戏中的欢乐,锻炼孩子的观察力、想象力和创造力,同时将趣味性与科普性...
(苏)热斯田尼科夫(Жестяников,В.М.),奥勃诺夫连斯基(Обновленский,П.А.)著;庄德霖译1962 年出版302 页ISBN:
(法)儒勒·列纳尔(Jules Renard)原著;(法)蒂埃里·勒费弗尔(Thierry Lefevre)改编;(法)马赛尔·拉韦尔德(Marcel Laverdet)插图 钱培鑫注释2002 年出版163 页ISBN:7532729540
(英)约翰·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世纪,国际化大都市的数量比历史上更多,这反映了经济和政治力.....
(法)吉奥尔达,(法)米利勒·布洛克著;(法)利奥奈·凯什兰插图;李蕴珠,鞠惠芬译2005 年出版307 页ISBN:7801126718
本书是由一年365天每天一个小故事组成。书中的故事均来自世界各地,每个故事都是一个祝福。