经典好书《社会关系与空间结构》读书内容简介:空社会学”，无论是对广大读者还是对社会学、社会理论等专业领域的学者来说，都似乎是一个不同寻常的举动，其学术和社会意义是需要予以说明的。的确，尽管历史学和(人文)地理学的研究中经常会涉及时代(时期)、区域等时间和空间的概念，但是，把时间和...详情

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

经典好书《FreeBSD操作系统设计与实现(第2版) 英文版》读书内容简介:一版的基础上进行了全面更新，以涵盖版本FreeBSD 5和版本11之间的所有重大改进。本书大约有1/3的内容是全新的，还有1/3的内容进行了完全重写。在本书中，三位FreeBSD项目领导人先概述了FreeBSD内核的当前设计和实现，接下...详情

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

经典好书《UML系统分析设计与应用案例》读书内容简介:向对象的软件系统分析和设计中的应用，并通过实例讲解了系统的面向对象分析与设计过程，以及如何用UML语言为系统建模。此外，还介绍了如何使用Rational Rose 2000中的前向工程和逆向工程。 本书结合了丰富的实例，通过实例启...详情

经典好书《前端工程化：体系设计与实践》读书内容简介:工程师的工作效率，加快Web开发迭代速度，是现在前端开发领域中非常重要的一环。前端工程化：体系设计与实践》系统、全面地介绍了前端工程体系的各个环节，包括设计要点和实践经验。全书分为7章，分别是前端工程简史、脚手架、构建、本地开发服务器、部署、工作流、...详情

经典好书《数据库管理系统原理与设计》读书内容简介: 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...详情

经典好书《网格系统与版式设计》读书内容简介:设计案例，包括包豪斯的平面设计和耐克的产品目录，从构成要素与程序入手，对网格系统做出了通俗易懂的介绍，讲解了网格系统的应用法则，并提供了详细的版式设计步骤。作者凭借其锐利的目光以及清晰的解说，揭示了成功的设计作品是如何运用各种手段构成视觉关系的，向读...详情

经典好书《心理学与人际关系》读书内容简介:释人际关系第一书。畅销经典《心理学与工作》作者的最新力作。丰富的心理测试、实践案例为你的职业发展导航。作为领导，该如何应付那些爱抱怨的下属？作为下属，该如何与那些严苛而善变的领导相处？作为团队中的一员，该如何适当地表达看法，创造共同价值...详情