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

经典好书《系统化教学设计》读书内容简介:满挑战的理论和实践相结合的学科。　本书是教学设计领域的又一部经典著作．其主要特点是充分体现了加涅的学习论和教学论思想。不管是中小学教学，还是幼儿园教学，甚至是各种各类的社会培训、远程教学，本书提供的教学设计方法与策略都是改善教学过程、提高学习效果的利...详情

经典好书《计算机系统：系统架构与操作系统的高度集成》读书内容简介:n，拥有威斯康星大学麦迪逊分校计算机科学专业博士学位。现在是佐治亚理工学院计算机系教授，STAR Center & Korean Programs中心主任。主要研究兴趣是体系结构设计、程序设计和并行分布式系统分析。曾获得NSF授予的美国...详情

经典好书《计算机体系结构(第2版中文版计算机科学与技术学科研究生系列教材)/计算机科学与技术学》读书内容简介:教材。作者结合自身从事国产龙芯高性能通用处理器研制的实践，以准确精练、生动活泼的语言，将计算机体系结构的知识深入浅出地传授给读者。全书共13章，第1～4章从计算机体系结构的研究内容和发展趋势、二进制和逻辑电路、指令系统结构等方面介绍计算...详情

经典好书《设计体系：数字产品设计的系统化方法》读书内容简介:设计吗？应当先做设计再出规范，还是先出规范再做设计？如果老板的意见与设计师自己的想法相左，设计师应该坚持己见吗？针对这类问题，先进的互联网团队已经逐渐形成了一套新的方法论——设计体系（design syste...详情

经典好书《计算机系统设计原理》读书内容简介:》介绍了计算机系统中相当广泛的原理和抽象，并深入介绍了它们。《世界著名计算机教材精选:计算机系统设计原理》使用伪代码介绍核心概念，使得读者可以测试他们对于该概念的具体实例的理解。通过使用伪代码，《世界著名计算机教材精选:计算机系统设计原理》将客户端—...详情

经典好书《计算机系统设计原理》读书内容简介:设计的权威专家、美国麻省理工学院Saltzer和Kaashoek教授编写。《计算机系统设计原理(影印版)》是第一本阐述计算机系统设计中的基本原理和抽象的教材，是麻省理工开放式课程计划(MIT Open Courseware)中“计算机系统工程”课程的...详情

经典好书《深入理解计算机系统》读书内容简介:获得密歇根大学（University of Michigan）学士学位，随即就读麻省理工学院（Massachusetts Institute of Technology）的研究生院，并在1981年获计算机博士学位。他在加州理工学院（Californi...详情

经典好书《数据采集技术与系统设计》读书内容简介:介绍数据采集技术的基础知识和相关技术，具体包括传感器技术、模拟信号处理技术、模数转换技术、数模转换技术、人机接口技术、数据采集系统的抗十扰技术、数据分析与处理、总线技术、高性能数据采集系统芯片ADuc812、基于zigBee无线传感器网络的数据采集、...详情

经典好书《UNIX操作系统设计》读书内容简介:AT&T;公司贝尔实验室工作，对UNIX系统的设计思想有深刻了解，又有讲授UNIX系统的丰富经验。本书是Linux之父Linux Torvalds曾捧读的经典著作。在本书中，作者描述了构成UNIX操作系统基础的内部算法与结构，以及它们与程...详情