银河帝国5:迈向基地 书籍
经典好书《银河帝国5:迈向基地》读书内容简介:绕太阳旋转的第三颗行星上,生活了十多万年之久。人类在这个小小的行星(他们称之为“地球”)上,建立了两百多个不同的行政区域(他们称之为“国家”),直到地球上诞生了第一个会思考的机器人。在机器人的帮助下,人类迅速掌握了改造外星...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
走向近代化的北京城 书籍
经典好书《走向近代化的北京城》读书内容简介:史年代北京市市政管理机构的演化、北京市的道路铺设与城市规化、北京市排放污水系统、北京市城市公共空间——公园建设、北京市供水系统、北京市电灯照明系统、北京市的交通等城市建设基本工程系统。研究了这些机构、系统兴起发展的内在因素、外部条件以及这些工程对北京...详情
心若向阳,无谓悲伤 书籍
经典好书《心若向阳,无谓悲伤》读书内容简介:光,那一点也不丢人。别人的生活没有你想像的好,你的生活也没有自己以为的坏。你的伤痕甚至都不能比别人更独特。重要的是,生命中发生的每一件事情都自有意义,每一次的历经都应使我们变成更好的人,千万不要做一个白白吃过了上天给过的苦头之后却并不去...详情
走向世界共和国 书籍
经典好书《走向世界共和国》读书内容简介:日本當代文藝評論家、思想家。1941年,生於兵庫縣。1965年,東京大學經濟學系畢業、研究所英國文學碩士班課程。歷任法政大學教授(1975–94)、耶魯大學東亞學系客座教授(1975–77)、近畿大學教授(1994–2006)、近畿大學國際人文...详情
走向静默,如你本来 书籍
经典好书《走向静默,如你本来》读书内容简介:拜访者的对谈,破除了人们对心灵修行的偏见,以及各种因自我概念形成的枷锁、疑惑。同时,对于如何找寻“真我”,提出了具体的“参究自我”的方法。《走向静默,如你本来》总共六百五十多个问题,从冥想、上师、修持、瑜伽等多个角度,帮助我们认识拉玛那教导的全貌,同...详情
面向对象软件构造 书籍
经典好书《面向对象软件构造》读书内容简介:f Architect of Eiffel Software (based in California, http://eiffel.com) and Professor of Software Engineering at ETH Zurich, ...详情
经典好书《Python3面向对象编程(第2版影印版)(英文版)》读书内容简介:nadian software developer and author currently living in Seattle, Washington. He has been active in the open source community...详情
面向对象分析与设计 书籍
经典好书《面向对象分析与设计》读书内容简介:代表作之一,也是此领域公认的不可替代的权威著作,在推动面向对象技术走向现实应用的过程中发挥了重要的作用,曾获得《Software Development》杂志的Jolt图书大奖。本书吸收了众多项目的丰富经验,从概念、方法和应用三个角度全面深入论述了面...详情
面向模式的软件架构,卷3 书籍
经典好书《面向模式的软件架构,卷3》读书内容简介:德国慕尼黑西门子研究院高级软件工程师,Michael Kircher Software UG (haftungsbeschränkt)公司总经理。关注的领域包括分布式对象计算、软件架构、模式、极限编程及创新环境中脑力劳动者的管理。与人合著有*Remo...详情