全国计算机等级考试一级教程 2002年新大纲 第2版 【工业技术】

军队院校指挥自动化专业统编系列教材 计算机软件基础 【工业技术】

最佳全国计算机等级考试短期培训教程 一级Windows版 【工业技术】

计算机技术译林精选系列 Access2000中文版开发指南 【工业技术】

全国计算机等级考试二级培训教程 FoxBASE+语言程序设计 【工业技术】

永不停顿和可伸缩的64位RISC计算机技术概论 【工业技术】

全国计算机等级考试二级培训教程 QBASIC语言程序设计 【工业技术】

计算机网络实用教程实验手册 【工业技术】

本书是计算机科学丛书中的一册。该书以扩展网络知识及准备有关网络资格认证考试为目的，全书提供了70多个实验练习以提高读者对网络知识的理解及运用能力。该书内容丰富，实验组织严谨，易于上手，是一本实用性较强...

全国计算机等级考试二级培训教程 FORTRAN语言程序设计 【工业技术】

逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...