信号与系统 书籍
经典好书《信号与系统》读书内容简介:信号与系统分析的基本理论基本分析方法及其应用。全书共分十一章:主要讲述了线性系统的基本理论、信号与系统的基本概念、线性时不变系统、连续舞样、通信和反馈系统中的实例,并行讲座了连结系统、离散系统、时域系统和频瑾系统的分析方法,以使读者能透乇地理解各种信...详情
复杂适应系统 书籍
经典好书《复杂适应系统》读书内容简介:适应社会系统的著作,由该领域两位权威学者联袂完成。复杂适应社会系统——不论是“政治党派”、“股票市场”,还是蚂蚁群落——都体现了社会科学在理论上与实践上所面临的一些最有趣的挑战。通过引人入胜的文字描述和难易适中且附有直观解释的技术细节,本书着重介绍了...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 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...详情
深入理解计算机系统 书籍
经典好书《深入理解计算机系统》读书内容简介:本书适用于那些想要写出更快、更可靠程序的程序员。通过掌握程序是如何映射到系统上,以及程序是如何执行的,读者能够更好的理解程序的行为为什么是这样的,以及效率低下是如何造成的。粗略来看,计算机系统包括处理器和存储器硬件、编译器、操作系统和网络互连环境。而...详情
深入理解UNIX系统内核 书籍
经典好书《深入理解UNIX系统内核》读书内容简介:IX操作系统的内核技术,包含丰富的图示与细节展示。作者从操作系统设计的角度来审视UNIX系统内核,针对内核中的每个模块,深入探讨其结构和设计,详细阐释主流UNIX系统如何选择具体模块的实现方法,以及每种方法的优缺点,为读者更好地理解操作系统内核知识、...详情
经典好书《FreeBSD操作系统设计与实现(第2版) 英文版》读书内容简介:一版的基础上进行了全面更新,以涵盖版本FreeBSD 5和版本11之间的所有重大改进。本书大约有1/3的内容是全新的,还有1/3的内容进行了完全重写。在本书中,三位FreeBSD项目领导人先概述了FreeBSD内核的当前设计和实现,接下...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
现代操作系统 书籍
经典好书《现代操作系统》读书内容简介:p>Andrew S.Tanenbaum 拥有美国麻省理工学院的理学学士学位和加州大学伯克利分校的哲学博士学位,目前是荷兰阿姆斯特丹Vrije大学的计算机科学系教授,并领导着一个计算机系统的研究小组。多年来,他在操作系统、编译技术、网络及局域分布式...详情