用TCP/IP进行网际互联 第一卷 原理、协议与结构(第四版) PDF 超清版

大小：

类型：

《普通高等教育十一五国家级规划教材21世纪大学本科计算机专业系列教材:形式语言与自动机理论(第2版)》是作者结合其20余年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的3个学科形态。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，

大小：

类型：

编辑推荐 1.原理 基础，从调试Linux内核到动手编写一个简单的内核模块，真正从零开始学习Linux内核。2.实验 案例，70余个创新实验贯穿全书，与你分享业内一线项目经验。3.课件 视频，教学资源丰富，视频讲解透彻，与你共享精品在线配套资源（可在异步社区下载）。4.涵盖当前Linux社区中新的开发工具和社区运作方式，反映Linux内核社区新发展。 内容简介 本书是一本介绍Linux内核实践的入门书，基于Linux 4.0内核，重点讲解Linux内核的理论和实验。本书分

大小：

类型：

大小：

类型：

《离散数学》是1982年9月由上海科学技术文献出版社出版的图书，作者是左孝凌 李为鉴 刘永才。本书主要介绍了数理逻辑，集合论，代数结构和图论四个专题、形式语言与自动机以及纠错码初步等内容。 本书在内容阐述时力求严谨，推演时务尽详尽，大部分概念都用离子予以说明。 本书可作为理工科院校计算机专业的离散数学教材，也可作为自动控制、电子工程、管理科学等有关专业的教学用书，并可供计算机科研工作者及有关工程技术人员参考。

大小：

类型：

Drools是java的开源系统规则引擎，能够根据自定规则保持不一样的权威专家情境，而不用改动源码，规则引擎会全自动加载相匹配的规则去融入不一样的场所。 自打上一个5.x系列公布至今，它是忙碌的一年，发生了许多 转变。 5.x系列中较大的埋怨之一是欠缺界定的部署方式。Drools和jBPM应用的体制更加灵活，可是太灵便了。6.0的一大重中之重是简单化系统软件的构建，部署和加载（利用）层面。如今构建和部署与Maven保持一致，而且利用率现在是朝向承诺

大小：

类型：

《操作系统概念（第六版影印版） 》是2002年由高等教育出版社出版的图书， 作者是沙茨。 本书是计算机类专业操作系统课程的一本经典教材，自第一版问世以来，经历了近20年的锤炼，被认为是该课程教材的一本圣经。它对操作系统的概念和基本原理给出了清晰的阐述。本书所涉及的基本概念和算法均基于当前商用操作系统，并在非特定操作系统的通用环境中展开讲解。书中介绍了大量与流行操作系统相关的实现技术，包括Solaris 2、Linux、Windows NT、