数据库技术及开发教程 【工业技术】

建筑电气安装工程施工图集 上 电梯电气装置施工说明及竣工验收规定 TX14 【工业技术】

建筑电气安装工程施工图集 上 接地装置施工说明及竣工验收规定 TX9 【工业技术】

建筑电气安装工程施工图集 上 电缆线路施工说明及竣工验收规定 TX8 【工业技术】

建筑电气安装工程施工图集 下 10千伏及以下电缆线路安装做法图示 TX61 【工业技术】

建筑装饰工程实用技术 【工业技术】

广域网原理、技术及实现 【工业技术】

甘薯脱毒及高产高效技术 【农业科学】

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

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

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