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

经典好书《想象的共同体》读书内容简介:学融于一体，提出一个解释民族与民族主义问题的具有哥白尼革命特质的新理论典范，把民族、民族属性与民族主义视为一种“特殊的文化的人造物”作为研究起点，而民族这种特殊的人造物就是“想象的共同体”。接着论证了民族主义是如何从美洲最先发生，然后再向欧洲、亚非等...详情

经典好书《神奇的校车-在人体中浏览》读书内容简介:。他们对未知世界充满了好奇，他们希望父母能够解答他们感兴趣的所有问题。特别是对于自己的身体，孩子们更是充满了好奇。男人和女人为什么长得不一样？动物也能听懂我的话吗？我的心为什么总是跳个不停，它为什么不感到累呢？这些看似简单的问题，怎能用几句话就给孩子...详情

经典好书《邮差总敲两次门》读书内容简介::10 邮差总敲两次门 在命运之神冥冥的操控下，人性的把握是一个有多大限度的挣扎。当命运之神出奇地宽容，人的本性又是如何地将之躏踏。网无所不网，也许你并不想去了解，其实了解了对你并没有多大的...详情

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

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

经典好书《世界现代设计图史》读书内容简介:兴趣的人来说，是一本系统性、资料性和总结性都很强的参考书。我们常常无拘无束地谈论“设计史”，但我们对这门涉及范围甚广的学科真正了解多少？重要的风格和流派有哪些？每个风格的重要特征是什么？它们的代表人物又是谁？《世界现代设计图史》《世界现代设计图史》通...详情

经典好书《你不在身边，我总是失眠》读书内容简介:在身边，我总是失眠》，情感励志书，记录各种错过和失去的感情，专门治愈那些失恋后在黑夜大哭、大醉、失眠、辗转、悲伤、绝望、颓废的傻姑娘。心疼你为爱他掏出了心，却从此吃饭、睡觉、工作、买醉都无法填补身体上的洞。你以为你输在美貌...详情

经典好书《空间网格结构分析理论与计算方法》读书内容简介: 《空间网格结构分析理论与计算方法》为中国建筑工业出版社出版发行。作者简介详情