经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
空间·时间·建筑 书籍
经典好书《空间·时间·建筑》读书内容简介:方法来研究历史;用空间概念来分析建筑;用恒与变(Constance and Change)来揭示发展的本质;用大历史衬托具体建筑现象,又用具体现象的深刻分析来呼应时代;种种直笔与曲笔的结合,共时与历时分析的结合使人在雄浑的历史感中体会到建筑真意。 ...详情
经典好书《编写高质量代码:改善Python程序的91个建议》读书内容简介:为你编写健壮、优雅、高质量的Python代码提供切实帮助!内容全部由Python编码的最佳实践组成,从基本原则、惯用法、语法、库、设计模式、内部机制、开发工具和性能优化8个方面深入探讨了编写高质量Python代码的技巧与禁忌,一共总结出91条宝贵的建...详情
经典好书《构建高可用Linux服务器(第3版)》读书内容简介:inux运维领域公认的经典畅销书,是国内51CTO、IT168等知名网站和多位资深运维专家共同推荐的运维工程师必备的工具书!“酒哥”在Linux运维领域潜心实践近10年,一直在运维一线,技术和思维都紧跟时代的发展,非常清楚运维工程师们需...详情
中国古建筑二十讲 书籍
经典好书《中国古建筑二十讲》读书内容简介:历史及建筑元素特征、共分二十讲,从居址到都城,从祭坛到祠堂,从建筑个体到建筑理论,叙述全面,语言平易,深入浅出。作者亦精于古建筑摄影,有三百余幅精美图片,使这本书更富鉴藏价值。作者简介楼庆西:1930年生。1...详情
日本建築史序說 书籍
经典好书《日本建築史序說》读书内容简介:包慕萍太田博太郎 日本著名建筑史大家。重要著作有《日本建筑史序说》《日本的古寺》《日本民居》《日本建筑史基础资料集成丛书》等等。1912年生于东京1935年东京大学工学部建筑学科毕业1943年东...详情
经典好书《互联网金融时代消费信贷评分建模与应用》读书内容简介:亚大学,复旦大学、台湾大学EMBA,曾任职于香港维信理财公司、台湾台北富邦银行、台湾中国信托商业银行、澳商澳盛银行及台湾台新银行等机构;兼任台湾金融研训院特约讲师、VISA中国区兼职顾问。具备台湾银行业消费金融风险管理与大陆小贷、P2P...详情
負建築 书籍
经典好书《負建築》读书内容简介:p>負建築絕非失敗的建築,而是人類真正需要的建築。繼安藤忠雄及伊東豐雄後,下一位國際級的日本建築大師。「有沒有可能建造一種既不刻意追求象徵意義又不刻意追求視覺需求的建築呢?正是在這樣的悲觀氛圍中,我寫下了一系列的文章,也由此誕生了這本書,並取了一個莫...详情