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

经典好书《TOEFLiBT词汇-词以类记》读书内容简介:力、阅读、写作三部分高度契合，是获得TOEFL iBT高分的重要手段。本书对词汇的取舍、词义的选择建立在俐者在新东方讲坛高强度授课中培养出的对TOEFL近20年来400多篇阅读文章的透彻把握之上，这些教学经验使作者敏感地体验到TOEFL...详情

经典好书《以正史为中心的宋元版本研究》读书内容简介:應義塾大學斯道文庫教授、著名漢學家。主要研究中國古代中世史，尤精漢籍版本學，主要著作有《正史宋元版的研究》、《東洋史概說》等，整理古籍有影印《北宋版通典》，黃善夫本《史記》、《後漢書》等，並主編《日本古典籍書志詞典》等書。作者简介</b...详情

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

经典好书《我曾以为，可以和妈妈一起生活很久很久》读书内容简介:的礼物。妈妈被查出身患癌症，而面对病痛和治疗，她始终保持着一如往日的乐观，微笑面对。那段日子里的点滴小事，被作者用画笔一一记录，可爱妈妈的生活囧事常常让人忍俊不禁。只是，一切的努力最终也没能留住妈妈，但那些珍贵的日子在画笔下永远留存。妈...详情

经典好书《远大前程》读书内容简介:和姐姐、姐夫生活在一起。圣诞节前，皮普到墓地去悼念父母，遇到了逃犯马格威奇。皮普为他拿来了食物充饥，令马格威奇非常感动，但最后他还是被警察带走了。圣诞过后，皮普被邀请到村里最富有的哈维沙姆小姐家做客，遇到了哈维汉姆小姐收养的女孩埃斯特拉...详情

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

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

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

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