书架信息
| 题名 | 责任者 | 出版社 | 出版日期 | 索书号 | |
| 1 | Verilog SOPC高级实验教程 | 夏宇闻, 黄然等编著 | 北京航空航天大学出版社 | 2009 | Y/TP312/1033/ 7 |
| 2 | 数字系统设计与Verilog HDL.第4版 | 王金明编著 | 电子工业出版社 | 2011 | TN79/1086/ -4 |
| 3 | Verilog digital system design : Register transfer level synthesis, testbench, and verification =... | Zainalabedin Navabi著 ; 夏宇闻改编. | Publishing House of Electronics Industry ; | 2007. | TP312/N316-2 |
| 4 | Verilog数字系统设计教程.第3版 | 夏宇闻编著 | 北京航空航天大学出版社 | 2013 | TP312/1033/ 1-3 |
| 5 | EDA技术与Verilog HDL设计 | 王金明, 徐志军, 苏勇编著 | 电子工业出版社 | 2013 | TN702/2843/ 2 |
| 6 | EDA技术及数字系统的应用 | 包明, 曹阳主编 | 北京大学出版社 | 2014 | TN702/2767/ 2 |
| 7 | Verilog HDL高级数字设计 | (美) Michael D. Ciletti著 | 电子工业出版社 | 2014 | TP312/2483/ 1 |
| 8 | EDA技术与VHDL程序开发教程 | 王千文编著 | 清华大学出版社 | 2014 | TN702.2/1020 |
| 9 | EDA技术及其应用 | 周振超, 冯暖主编 | 清华大学出版社 | 2015 | TN702/7754 |
| 10 | Android程序设计入门、应用到精通 | 孙宏明著 | 清华大学出版社 | 2015 | TN929.53/1936/ 1 |
| 11 | Android实例详解:基础进阶开发 | 韩迪, 李建庆编著 | 北京邮电大学出版社 | 2015 | TN929.53/4535/ 1 |