(英)约翰·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世纪,国际化大都市的数量比历史上更多,这反映了经济和政治力.....
(美)布雷齐尔(Breazeale,W.H.),(美)哈塔瓦(Hathaway,R.)主编2003 年出版290 页ISBN:7533849000
本书是美国培生教育出版集团出版的一本供初中生使用的实验手册,全书共72个探究性实验,内容有生物、化学、物理、地理等学科。
(美)哈里特·比彻·斯陀著2010 年出版484 页ISBN:9787510018992
本书是我公司推出的“世界经典文学名著文库”之一,原汁原味的经典英文故事,辅以国内知名英美文学教授的评注,是该丛书的特色,帮助读者提高英美文学的阅读和鉴赏能力。...
(美)弗兰克·钱宁·哈德克著2013 年出版282 页ISBN:9787515103730
本书从听觉、视觉、味觉、嗅觉、神经、手、韧性、注意力、阅读、思维、记忆、想象等方面一一进行训练指导,从而使我们的意志力获得充分的发展,并使良好的意志力成为一种习惯,成为我们在学习、工作和生活方面取...
帕尔哈提·玉素甫编2006 年出版326 页ISBN:7105080531
本书收集中央人民广播电台维语广播创办50周年有奖征文活动部分获奖作品。内容包括“广播伴我成长”、“广播是我第一位老师”、“声波万里五十载”、“广播让我生活充满爱”等40余篇诗歌、散文、回忆文章,主...