DOS程序员共享软件精要

常用工具软件基础培训百例

本书介绍了计算机实用常用工具的使用方法等。

办公软件及应用

本书以最基本的办公自动化知识为基础，介绍了办公自动化的基本概念、系统的基本设备，常用办公软件的应用。

建筑工程造价软件应用 鲁班系列软件

本书主要围绕“工程量计算和计价的软件应用”这一主题展开，以目前市场上应用较广的“鲁班软件”为实例，介绍利用软件进行工程量的计算和工程量清单计价的编制。本书共分为5篇36章，前三篇主要介绍鲁班土建、钢...

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

告别失控 软件开发团队管理必读

工具软件一点通

本书讲述目前最流行的几个工具软件的使用方法和技巧，包括：指法练习、压缩与解压缩、图片浏览、即时通讯、杀毒等工具软件。

软件无线电原理与工程应用

本书介绍了软件无线电的基本概念，基本理论等。

AutoCAD制图软件

本书是全国专业技术人员计算机应用能力考试用书之一，由国家人事部全国专业技术人员计算机应用能力考试专家委员会编写。本书系统地介绍了AutoCAD制图软件系统知识。...

软件工程规范

本书讲述了个人软件工程原则，循序渐进地介绍了个人软件过程的各个阶段。全书共14章。有4个附录。作者有精辟的语言深入浅出讲解了个人软件过程。并且提供了大量的实例和练习。...