当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0467秒)
为您推荐: 桩基工程质量的诊断技术 方法 原理及应用实例 电镀废水处理技术及工程实例 超声原理及生物医学工程应用 大型地下顶管施工技术原理及应用pdf电子书版本下载 兽医临床病原微生物诊断技术及图谱 现代测井技术应用典型实例
-
-
-
-
逻辑公式的可满足性判定 方法、工具及应用 【工业技术】
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
2000年道路工程学会学术交流会论文集 国道主干线建设的关键技术与质量控制 【交通运输】
中国公路学会道路工程学会,新疆维吾尔自治区交通厅编2000 年出版349 页ISBN:7114037414 -
-
-
-
计算机的软维护原理及技术 【工业技术】
李晓秋编著2000 年出版287 页ISBN:7505342673本书共分7章,介绍了586微机的硬件结构、磁盘系统、内存管理、总线、BIOS、DOS和Windows95/98系统结构与管理机制、病毒防治及数据维护等内容。
-
数据库原理及应用 数据库基本理论与FoxPro的应用 【工业技术】
李大友主编2000 年出版202 页ISBN:7302011397数据库技术包括数据库系统原理与数据库应用系统两大部分。前者是后者的理论基础,只有在正确理论的指导下,才能设计出好的数据库应用系统。本教材使两者紧密结合在一起。首先给出必要的理论基础,然后在理论指导...
