经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《再見，柏林（末日只會一來再來版）》读书内容简介:」第一次世界大戰後的柏林，百廢待興，所有規矩與束縛也隨之解放，是充滿各種可能的自由之地，共產、法西斯等各式思想大鳴大放，各國人士薈萃於此，或鑽營或偷生。但沒有人會想到，燦爛火光伴隨著邪惡陰影，浩劫如此悄無聲息地降臨，一切已無可挽回。</...详情

经典好书《《林损集》全三册》读书内容简介: 《林损集》主要内容包括：温州文献丛刊整理凡例、则兰口、上册、卷一 专着 上、政理古微、比较学、伦理正名论、老子口义、晚周诸子试题、卷二 专着 下、永嘉翠派通论、永嘉学派述、文章学绪言、文心雕龙讲义、中国文学讲授发端、卷三 叔苴阁诗录、卷四 叔苴阁文录、论说等。作者简介详情

经典好书《贵州师范大学图书馆古籍珍善本提要目录》读书内容简介:单位”，馆藏古籍文献10万余册，善本6千余册，有明代以来的刻本、稿本、抄本、石印本等。本书精选三级乙等及以上馆藏古籍文献，共计285部，其中经部51部、史部77部、子部44部、集部106部、丛部7部。每种撰有提要，介绍版本、形态、编撰者生平简介、内容...详情

经典好书《为什么研究中国建筑》读书内容简介:作者立足建筑艺术，深入浅出的为我们展现了一幅幅反应中国古代建筑的画卷。沿着梁思成先生的足迹，读者不仅可以从宏观上了解中国古代建筑的历史演变，其中凝聚的智慧与艺术，以及中国古建中绘画、雕塑艺术的精髓；而且书中详尽的个案描述、手绘孤本图片的...详情

经典好书《中国古建筑二十讲(精)--中国文库》读书内容简介:p>楼庆西：1930年生。1952年毕业于清华大学建筑系。留校任教至今，现为清华大学建筑学院教授。长期从事中国建筑历史的研究与教学工作。主要著作有：《中国宫殿建筑》、《中国建筑艺术全集・建筑装修与装饰》、《中国传统建筑装饰》、《中国建筑的门文化》、《...详情

经典好书《我的曼達林》读书内容简介:霸道天王愛上妳！青梅竹馬x演藝圈x一見傾心、守護終生的愛情！一個有關滿大人的故事！(#不✦ 收錄完整番外！妳是大明星檢邊林初見面就傾心的對象，所以初見，求求妳，試著，愛上我。如能得...详情

经典好书《在森林裏》读书内容简介:。但走沒多久，就遇到了獅子、灰熊、袋鼠等動物。於是，散步的隊伍愈接愈長，最後，大夥兒還一塊野餐，玩丟手帕、躲貓貓呢！而這「走進森林，和動物們說話、玩耍……」的體驗，不正是每個小孩心嚮往之的嗎？《在森林裡》這則看似平淡的故事，其實是孩子們內在世界的一段...详情

经典好书《诡异学派 四谷老师的怪谈》读书内容简介: 在学校附近的道口处，一名女生被列车撞飞，被害人「弥生雏乃」当场死亡。被撞得七凌八乱的身体被立即拼凑起来，只有下半身怎么也找不到。弥生的美腿到底身在何处…？有声响，可那里却没有任何人。我听到了。到底是什么声音呢？那个声音就是——作者简介详情

经典好书《中国省域生态文明建设评价报告》读书内容简介:实推进生态文明建设，需要相应的评价体系，以了解现状、明确目标、引导政策。《生态文明绿皮书:中国省域生态文明建设评价报告(ECI2012)》（ECI2012）采用国家发布的权威数据，使用生态文明建设评价指标体系ECCI2012，从生态活力、环境质量、社...详情