经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《現代思想の源流》读书内容简介:有:《暴力实体论》等。 卞崇道(1942～),现为中国社会科学院哲学研究所研究员。著作有:《现代日本哲学与文化》等。 周秀静(女,1964～),中国社会科学院博士研究生。译著有:《共生的理想》等。作者简介</...详情

经典好书《空间·时间·建筑》读书内容简介:方法来研究历史；用空间概念来分析建筑；用恒与变（Constance and Change）来揭示发展的本质；用大历史衬托具体建筑现象，又用具体现象的深刻分析来呼应时代；种种直笔与曲笔的结合，共时与历时分析的结合使人在雄浑的历史感中体会到建筑真意。 　...详情

经典好书《编写高质量代码：改善Python程序的91个建议》读书内容简介:为你编写健壮、优雅、高质量的Python代码提供切实帮助！内容全部由Python编码的最佳实践组成，从基本原则、惯用法、语法、库、设计模式、内部机制、开发工具和性能优化8个方面深入探讨了编写高质量Python代码的技巧与禁忌，一共总结出91条宝贵的建...详情

经典好书《构建高可用Linux服务器(第3版)》读书内容简介:inux运维领域公认的经典畅销书，是国内51CTO、IT168等知名网站和多位资深运维专家共同推荐的运维工程师必备的工具书！“酒哥”在Linux运维领域潜心实践近10年，一直在运维一线，技术和思维都紧跟时代的发展，非常清楚运维工程师们需...详情

经典好书《数学的建筑》读书内容简介: 作者简介详情

经典好书《中国古建筑二十讲》读书内容简介:历史及建筑元素特征、共分二十讲，从居址到都城，从祭坛到祠堂，从建筑个体到建筑理论，叙述全面，语言平易，深入浅出。作者亦精于古建筑摄影，有三百余幅精美图片，使这本书更富鉴藏价值。作者简介楼庆西：1930年生。1...详情

经典好书《日本建築史序說》读书内容简介:包慕萍太田博太郎 日本著名建筑史大家。重要著作有《日本建筑史序说》《日本的古寺》《日本民居》《日本建筑史基础资料集成丛书》等等。1912年生于东京1935年东京大学工学部建筑学科毕业1943年东...详情

经典好书《空中殺人現場》读书内容简介:作！明明只是和往常相同的航班，為何這次卻遇上了——數萬英呎的高空上，迷霧般的詭計上演中……只要有心，人人都可以是偵探！輕快巧妙的解謎過程╳戲劇性轉折與張力┼東野式幽默=充分顯現東野圭吾豐富想像力...详情

经典好书《殺人現場は雲の上》读书内容简介:とビー子。同期入社でルームメイトという誰もが知る仲よしコンビ。容姿と性格にはかなり差がある凸凹コンビではあるけれど…。この二人が奇妙な事件に遭遇する。昼間、乗務中にお世話した男の妻が、自動ロックのホテルの室内で殺害されたのだ。雲をつかむような難事件の...详情