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

经典好书《アカギ 28 【特装版】 ~公式ZIPPO付き~》读书内容简介: 作者简介详情

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

经典好书《昨日公園》读书内容简介:文字魔術師，寫出了生命裡的瘋狂與遺憾「人生就像同坐一班列車，為什麼身旁搭乘的人，總得有人先走一步呢？」－－〈月光石〉直木賞驚悚小說大獎 得獎作家 朱川湊人A...详情

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

经典好书《梅棹忠夫の京都案内》读书内容简介:京都には隅々まで張り巡らされた暗黙のルールがある。生粋の京都人にして民族学の第一人者が、その美意識や本音を、京ことば、観光都市とあらゆる角度から鋭い視点で解説。辛口でユーモアたっぷりなエッセイ。作者简介梅棹忠夫（19...详情

经典好书《世纪奇案》读书内容简介:奇案》分为五章：第一章讲发生在洛杉矶的“菲尔·斯佩克特案”，第二章讲发生在芝加哥的“布朗餐厅屠杀事件”，第三章讲发生在托莱多的“教堂圣器室谋杀案”，第四章讲发生在哈特福特市“警察枪击案”。作者对这些事件娓娓道来，重在探讨疑难案件中的侦查鉴定问题，但对...详情

经典好书《福尔摩斯探案集》读书内容简介:科大学，行医10余年，收入仅能维持生活。后专写侦探小说。《血字的研究》几经退稿才发表，以《四签名》闻名于世。1891年弃医从文，遂成侦探小说家。代表作有《波斯米亚丑闻》《红发会》、《五个桔核》等。1894年决定停止写侦探小说，在《最后一案》中让福尔摩...详情

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

经典好书《哈尔滨档案》读书内容简介:了一张发黄的照片。照片上的女子身穿风衣，凝眸远眺，有种难以言说的魅力。她叫 曼娅，生于中国海拉尔，1938年因“日本间谍罪”被枪决。二十多年后，正是经由这张照片，外交官玛拉走上了一条历经曲折的寻亲之路。面对真真假假的历史档案、扑朔迷离的口述追忆，她以...详情