当前位置：首页 > 名称
大约有3,000项符合查询结果项。（搜索耗时：0.0251秒）
为您推荐： 制造执行系统技术及应用 污水处理常用设备及应用 污水处理厂工艺及应用 树脂合成及应用 超声原理及生物医学工程应用 传感器技术及应用
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
-
-
-
-
PIC系列单片机接口技术及应用系统设计
王有绪等著2000 年出版362 页ISBN：7810129929本书内容包括PIC系列的各种单片机介绍、PIC与各种外部设备的接口与编程、PIC单片机应用实例及PIC的开发手段等。
-
-
智能管理系统研究开发及应用
郜焕平著2000 年出版155 页ISBN：7502424067内容简介本书对现有计算机管理系统进行了分析，并指出其存在的问题及智能管理系统对这些问题的解决方案。全书包括：绪论、管理信息系统与计算机集成制造系统、制造业的计算机管理系统发展动态、智能管理系统概...
学科分类