银河帝国5:迈向基地 书籍
经典好书《银河帝国5:迈向基地》读书内容简介:绕太阳旋转的第三颗行星上,生活了十多万年之久。人类在这个小小的行星(他们称之为“地球”)上,建立了两百多个不同的行政区域(他们称之为“国家”),直到地球上诞生了第一个会思考的机器人。在机器人的帮助下,人类迅速掌握了改造外星...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
走向近代化的北京城 书籍
经典好书《走向近代化的北京城》读书内容简介:史年代北京市市政管理机构的演化、北京市的道路铺设与城市规化、北京市排放污水系统、北京市城市公共空间——公园建设、北京市供水系统、北京市电灯照明系统、北京市的交通等城市建设基本工程系统。研究了这些机构、系统兴起发展的内在因素、外部条件以及这些工程对北京...详情
心若向阳,无谓悲伤 书籍
经典好书《心若向阳,无谓悲伤》读书内容简介:光,那一点也不丢人。别人的生活没有你想像的好,你的生活也没有自己以为的坏。你的伤痕甚至都不能比别人更独特。重要的是,生命中发生的每一件事情都自有意义,每一次的历经都应使我们变成更好的人,千万不要做一个白白吃过了上天给过的苦头之后却并不去...详情
远大前程 书籍
经典好书《远大前程》读书内容简介:和姐姐、姐夫生活在一起。圣诞节前,皮普到墓地去悼念父母,遇到了逃犯马格威奇。皮普为他拿来了食物充饥,令马格威奇非常感动,但最后他还是被警察带走了。圣诞过后,皮普被邀请到村里最富有的哈维沙姆小姐家做客,遇到了哈维汉姆小姐收养的女孩埃斯特拉...详情
走向世界共和国 书籍
经典好书《走向世界共和国》读书内容简介:日本當代文藝評論家、思想家。1941年,生於兵庫縣。1965年,東京大學經濟學系畢業、研究所英國文學碩士班課程。歷任法政大學教授(1975–94)、耶魯大學東亞學系客座教授(1975–77)、近畿大學教授(1994–2006)、近畿大學國際人文...详情
经典好书《前端工程化:体系设计与实践》读书内容简介:工程师的工作效率,加快Web开发迭代速度,是现在前端开发领域中非常重要的一环。前端工程化:体系设计与实践》系统、全面地介绍了前端工程体系的各个环节,包括设计要点和实践经验。全书分为7章,分别是前端工程简史、脚手架、构建、本地开发服务器、部署、工作流、...详情
走向静默,如你本来 书籍
经典好书《走向静默,如你本来》读书内容简介:拜访者的对谈,破除了人们对心灵修行的偏见,以及各种因自我概念形成的枷锁、疑惑。同时,对于如何找寻“真我”,提出了具体的“参究自我”的方法。《走向静默,如你本来》总共六百五十多个问题,从冥想、上师、修持、瑜伽等多个角度,帮助我们认识拉玛那教导的全貌,同...详情
面向对象软件构造 书籍
经典好书《面向对象软件构造》读书内容简介:f Architect of Eiffel Software (based in California, http://eiffel.com) and Professor of Software Engineering at ETH Zurich, ...详情
当下的冲击 书籍
经典好书《当下的冲击》读书内容简介:>为什么我们不应该更注重生活的质量而非速度?为什么我们不用面对面的交流代替冷冰冰电脑屏幕上的文字代码?为什么我们不可以选择一个虽然有缺陷但有血有肉的人类社会,而非一个虽趋于完美但冷漠的数字世界?在当下的冲击面...详情