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

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

电视墙显示及控制技术 【工业技术】

最新儿科诊疗技术及数据手册 【医药卫生】

通信与网络技术及编程 【工业技术】

全国计算机等级考试试题详解及模拟试卷 二级基础知识 【工业技术】

MATLAB高级应用 图形及影像处理 【工业技术】

本书系统介绍了利用MATLAB实现工程计算及其运算结果的可视化技术以及可视影像在MATLAB中的数字化处理技术，属于MATLAB的高级应用。本书理论与实际并重，内容丰富，通俗易懂，并附有大量的应用实例，是学习和应用MATL...

单片机原理及接口技术 【工业技术】

新编计算机应用等级基础教程 【工业技术】

高等学校非计算机专业教学用书:本书详细介绍了计算机硬件与软件的基础知识、DOS操作系统6.22、汉字系统UCDOS7.0、拼音、五笔字型和自然码输入法、中文Windows98操作系统、WPS2000文字处理系统等。...

计算机应用基础 【工业技术】

大学计算机基础教育教材全国计算机等级考试培训全国中小学教师计算机培训:本书在保证满足1998年教育部规定的《全国计算机等级考试大纲》一级（Windows环境）、二级（基础知识）中规定的基础知识的前提下，力求介绍最...

最新计算机等级考试试题与实战技巧 基础知识及QBASIC 【工业技术】