文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | K816.1/39A | 逻辑的引擎 | (美)马丁·戴维斯(Martin Davis)著;张卜天 | 湖南科学技术出版社 | 2018 |
| 2 | TP302.2/1 | 计算机辅助逻辑综合 | 沈嗣昌编 | 高等教育出版社 | 1982.07 |
| 3 | TP302.2/10 | 数字逻辑原理与工程设计 | 刘 真编 | 高等教育出版社 | 2003.11 |
| 4 | TP302.2/11 | 数字逻辑教程 | 张礼平编著 | 华东理工大学出版社 | 2002.8 |
| 5 | TP302.2/12 | 数字逻辑学习与解题指南 | 欧阳星明主编 | 华中理工大学出版社 | 2000.05 |
| 6 | TP302.2/13 | 数字逻辑 | 裴亚男, 付智辉主编 | 西南交通大学出版社 | 2005.6 |
| 7 | TP302.2/14 | 数字逻辑与数字系统设计 | 张少敏 … [等] | 高等教育出版社 | 2006.07 |
| 8 | TP302.2/15 | 逻辑动态系统代数状态空间法理论与应用 | 闫永义,岳菊梅著 | 科学出版社 | 2018 |
| 9 | TP302.2/16 | 计算机科学的逻辑基础 | (美) 雷克斯·佩奇, 鲁本·冈博亚著;汪荣贵 | 机械工业出版社 | 2021 |
| 10 | TP302.2/2 | 数字逻辑与数字系统 | 王永军,丛玉珍主编 | 电子工业出版社 | 1997.05 |