现代电子技术应用与设计 【工业技术】

基础建设应用新技术 【工业技术】

电算化会计应用技术 【经济】

软件无线电技术及其应用 【工业技术】

现代计算机应用技术 【工业技术】

现代制造导论 理念 模式 技术 应用 【其他书籍】

电流变技术 机理·材料·工程应用 【数理化】

深圳智能交通技术应用与研究文集 【交通运输】

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

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

GNU技术文档精粹 GNU C库技术手册 卷1 英文版 【工业技术】