经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第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》读书内容简介:德国慕尼黑西门子研究院高级软件工程师，Michael Kircher Software UG (haftungsbeschränkt)公司总经理。关注的领域包括分布式对象计算、软件架构、模式、极限编程及创新环境中脑力劳动者的管理。与人合著有*Remo...详情

经典好书《逆向思考的艺术》读书内容简介:他的《逆向思考的艺术》是该理论开山之作。在这部经典著作中，尼尔通过对群众心理、舆论宣传及人类行为的剖析，提出了相反意见的行为准则。他指出当公众意见趋向一致之时，往往也是其错误形成之际，从盛行的想法与意见出发，“对新闻、评论以及困扰着我们的无数预言从相...详情