知识库系统”是人工智能的一个重要分支，是近年来发展起来的一门综合性的新兴学科。随着计算机科学技术和人工智能技术的迅速发展，基于知识的智能系统已在工业、农业、军事和科教等国民经济领域得到广泛应用；与此同时，人们对智能系统的要求和期望也越来越高，迫切希望它们能有效地解决更加复杂的问题。实践证明，任何一个智能系统的行为都离不开知识，如何合理地存贮、组织、管理、应用和共享知识是所有智能系统深入发展所面临的共同问题。本书以知识库系统的发展为主线，结合知识处理和数据库技术的最新成果，全面地介绍了知识库系统的基础理论、技术进展、现有成就和今后的发展趋势。本书第l章是知识库系统的概还，简要介绍了知识和知识库的定义、知识库系统的结构和相关的技术，使读者对本书有一个全面的了解。一阶谓词逻辑语言是最基本的知识表示工具，也是逻辑程序设计的基础，第2章在扼要阐述一阶谓词逻辑原理的基础上介绍了近十余年发展起来的非经典逻辑及其在知识库系统中的应用。

本书以操作系统的基本原理为主线，讲述操作系统的基本概念、原理及实现技术。本书共八章，第一章操作系统引论，介绍操作系统的形成与发展、特征与功能等；第二章系统讲述进程的概念、进程调度、进程同步与互斥、死锁等；第三章讲述了操作系统的存储管理技术；第四章讲述设备管理：第五章讲述文件管理方法：第六章讲述作业管理与控制：第七章则介绍了操作系统的组成结构；第八章介绍了当今流行的操作系统——Windows NT。微型机上的操作系统得到了广泛的使用，本书考虑到这些问题，在有关概念及技术的讲述之后，用一节的篇幅介绍常见的微型机操作系统MS－DOS、Windows等，并给出实例。本书可作为中等专业学校及中等职业学校计算机相关专业的操作系统课程教材，也可作为各类计算机培训班的教材。对于从事计算机工作的科技人员来说，也是一本学习操作系统的参考书。

本书主要介绍分布式操作系统的基本概念、基本原理与技术，以及设计方法。全书共分九章。首先介绍了分布式系统与分布式操作系统的有关概念，然后介绍了分布式系统的物质基础——通信问题。在此基础上介绍了分布式操作系统的各种管理问题：进程与线程管理、同步、命名机制与名字管理、资源管理、文件系统等。最后介绍了分布式操作系统的安全性和保护问题，以及死锁有关概念与检测问题。本书内容丰富，由浅入深，循序渐进，全面反映了分布式操作系统的基本原理和设计技术，可作为计算机科学与技术各专业的研究生教材和本科高年级教材，也可为从事分布式系统研究、设计、开发的科技工作者的参考书。

本书从应用的角度出发，以现代统计方法为主线，结合社会经济、工商企业活动中的实例，介绍了SPSS10.0 for Windows最新统计分析软件的操作使用。

本册内容包括三维模型制作的基础知识、UCS坐标系、三维模型制作与编辑、三维动态观察器、图形渲染以及AutoCAD在Internet上的应用知识等内容。

Office2000是当前最具魅力的套装办公软件。本书全面系统地介绍了Office2000的基本组成及各部分的实用功能。全书沿袭美国CoureTechnology公司职业培训教程的风格，由浅入深、循序渐进地介绍了Word2000、Excel2000、PowerPoint2000和Access2000的常用功能；每一章都是以实例开头，逐渐展开，将知识点融于实例之中，且在讲解过程中配有丰富的图解说明及快速提示，语言通俗、流畅，有很强的实用性和可操作性。///本书适合于学生、教师、公司会议的

本书系作者有关操作系统三部书中的一部，作者对分布式操作系统作了极详尽的阐释，针对分布式系统来讲解通讯，同步、处理、文件系统及内存管理；此外，书中还新增添了分布式共享内存，实时分布系统，容错分布系统和ATM网络的内容。对Amoeba.Mach.Chorus和OSF/DCE进行了仔细的实例研究。此书为读者提供对分布式系统的操作透彻而简明的理解。

本书是“计算机技术开发人员宝典丛书”Sun核心技术内幕套书之一，是一本介绍Solaris系统中多线程接口编程技术的指导书。全书由10章 和3个附录组成，主要内容包括多线程编程基础介绍，基本线程程序设计，线程属性，在程序中使用同步对象，操作系统编程，接回函数的安个性，编译和调试，增强多线程程序性能的工具，用Solaris线程库编程和程序设计原则。附录分别介绍了例子程序——多线程的grep、Solaris多线程的例子： barrier C，及多线程安全性级别例子：库接口。本书内容新颖、丰富，实用性强，语言精炼，并附有大量的程序实例。书中既有对多线程编程技术基础知识的全面介绍，又有关于线程库中典型例程的讲解和多线程应用程序的编译、调试、安全性等实际问题的详细介绍。本书不但是从事网络接口编程的广大开发人员和编程人员的技术指导书，而且是科研院所、高等院校师生自学、教学参考用书和各种技术图书馆馆藏读物。本书光盘内容包括与本书配套电子书。

本教材是根据原机械工业部中专计算机专业教学指导委员会审定的《操作系统》课程教学大纲编写的。全书以实用操作系统为背景，讲述了操作系统的结构、原理及实现方法，内容包括：操作系统原理，DOS结构分析，中文操作系统，Windows95操作系统和网络操作系统NetWare3.1x。本教材在内容上突出能力培养，力求反映操作系统发展的最新技术，书中提供的许多实用程序对系统维护和应用程序开发有很大帮助。本教材的编写力求循序渐进，清晰易懂。书中列举了大量实例，每章末附有小结和习题，全书最后附有实验指导，便于教学和自学。本书是中专计算机及应用专业的教材，也适用于大专及职业中专等不同层次的院校师生，亦可供其它相近专业的师生和微机爱好者学习参考。

本书是教育部规划教材，为中等职业学校电工专业系列教材之一。可编程序控制器是工业生产自动化的三大技术支柱之一，本书主要介绍可编程序控制器的工作原理及实际应用，以NB系列可编程序控制器为例，介绍硬件组成、常用指令及编程器的使用，并设计了开关量控制的练习程序。本书面向电气控制、机电一体化专业的中等职业学校学生，也可作电气控制技术人员岗位培训用书。