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

经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情

经典好书《运动解剖书》读书内容简介:幅带批注的手绘插图，前所未有的细致讲解，层次分明，生动详实地展示了与初始运动状态直接关联的骨、关节与肌肉。在此，本书依次介绍：- 躯干部分：脊柱、骨盆、胸廓；- 上肢部分：肩、肘、腕、手；- 下...详情

经典好书《临床神经解剖图谱》读书内容简介: 王云祥、张雅芳等编著的《临床神经解剖图谱(精)》是一本针对临床神经科专用的、详尽的解剖图谱。本书包括四部分内容：1.脑脊髓大体标本照片；2.脑脊髓大体连续切片；3.脑干脊髓连续组织切片；4.脑干脊髓内部结构的彩色模式图（结合脑干脊髓的临床综合症）。作者简介详情

经典好书《极品家丁2》读书内容简介:外一个时空里。在项羽取得政权后，又过了很多年，华夏建立起一个名叫大华的王朝……一个现代世界的销售经理，因为一次意外，回到了大华朝所在的年代，成为萧家大宅里一名光荣的家丁。与亲人时空相隔的林晚荣，决意忘掉悲伤，开始自己辉煌的异时空之旅。<...详情

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

经典好书《Axure RP 6原型设计精髓》读书内容简介:：即使你不懂任何编程语言，无法控制项目管理、预算和进展计划，也可以通过《Axure RP 6原型设计精髓》掌握Axure，让你的设计更具创造力和高效。《Axure RP 6原型设计精髓》先介绍Axure的界面、术语、功能，然后以一个中型...详情

经典好书《波得·沃克 极简主义庭园》读书内容简介: 全书分为两部分，第一部分由莱威的评论《与大地对话：彼得·沃克的艺术》和沃克的一篇自述；第二部分为沃克的代表作，介绍了从70年代中期以后有代表性的园林设计作品及设计方案三十余项。作者简介详情

经典好书《终极选择》读书内容简介:”震惊世人——温和谦逊的乡村教师突然将人推向疾驰的火车，致人死亡。16年后，一个少年为追寻懵懂的爱而踏上寻求真相之路，却遭遇离奇失踪。围绕着当年死刑犯的女儿，政法大学的应届生们感觉他们渐渐陷入了一个万劫不复的怪圈……失踪、重伤、死亡。黑暗中仿佛有一只...详情

经典好书《月光坂的花園大宅 秋》读书内容简介:有小孩卻非常喜歡被男人擁抱的男人，和單戀那個男人的男人。以及，喜歡那樣的男人的少年。三人的心意複雜交錯，所追求的是---在被群花所包圍的大宅裡，開始流動...详情