经典好书《人人都是架构师：分布式系统架构落地与瓶颈突破》读书内容简介:破》并没有过多渲染系统架构的理论知识，而是切切实实站在开发一线角度，为各位读者诠释了大型网站在架构演变过程中出现一系列技术难题时的解决方案。《人人都是架构师：分布式系统架构落地与瓶颈突破》首先从分布式服务案例开始介绍，重点为大家讲解了大规模服务化场景...详情

经典好书《热力学与统计物理学（第二版）》读书内容简介: 作者简介详情

经典好书《信号与系统》读书内容简介:信号与系统分析的基本理论基本分析方法及其应用。全书共分十一章：主要讲述了线性系统的基本理论、信号与系统的基本概念、线性时不变系统、连续舞样、通信和反馈系统中的实例，并行讲座了连结系统、离散系统、时域系统和频瑾系统的分析方法，以使读者能透乇地理解各种信...详情

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

经典好书《商务与经济统计》读书内容简介:ney），辛辛那提大学数量分析系教授和生产力提高中心主任。他出生在艾奥瓦州得梅因市，在德雷克大学获得工商管理学士学位，在印第安纳大学获得工商管理硕士和工商管理博士学位，并成为NDEA会员。在1978～1979年期间，斯威尼教授曾在宝洁公司管理科学小组...详情

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

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

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

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