本书内容包括数理逻辑，集合论，代数结构和图论以及形式语言与自动化。
本书详细讲述了从单处理机到分布式和并行计算机系统的基本思想、原则及概念，内容包括进程管理与协作、内存管理、文件系统与输入输出、系统保护与安全等。本书不仅从商用操作系统和研究型操作系统中选用了大量的例子来阐述有关的概念，而且针对各部分内容，给出了相应的编程实验练习，以增强读者的实际动手能力。 本书适合作为计算机科学或计算机工程等相关专业的“操作系统”教科书，也可作为从事计算机工作的科技人员学习计算机操作系统的参考书。
本书内容包括数理逻辑，集合论，代数结构和图论以及形式语言与自动化。
![微积分教程：计算机代数方法：第2版[美]安申尔、哥德费尔德|主 编高等教育出版社9787040173888](http://img3m1.ddimg.cn/27/34/11980594521-1_l.jpg)
本书为高等工业院校《工业造型设计》专业的通用教材之一。 本书根据《工业设计》有关专业的基础教学要求，较为系统地介绍了《造型基础》的形态理论、常用的视觉技法和表现技法，以及构成(平面造型、色彩构成和立体空间造型)等知识。书中插图丰富，利于教学。 本书既适于作为高等院校的有关专业教材，也可作为中专或岗位培训的教材，还可供企业中《工业设计》人员和其他业余爱好者参考。
