文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 91 | TP30/Z783 | 计算机硬件组装和评测及数码产品评测教程 | 周奇主编 | 北京大学出版社 | 2008.02 |
| 92 | TP301.1/C588 | 有限自动机理论 | 陈文宇编著 | 电子科技大学出版社 | 2007.03 |
| 93 | TP301.2/1 | 精通正则表达式 | (美)Jeffrey E. F. Friedl著;余晟译 | 电子工业出版社 | 2007 |
| 94 | TP301.2/F760 | 正则表达式必知必会 | (美) 本·福塔著;门佳, 杨涛等译 | 人民邮电出版社 | 2019.07 |
| 95 | TP301.2/G180 | 正则表达式经典实例 | (美) Jan Goyvaerts, Steven Levithan著;郭 | 人民邮电出版社 | 2010.06 |
| 96 | TP301.2/J536 | VHDL设计实例与仿真 | 姜雪松, 吴钰淳, 王鹰等编著 | 机械工业出版社 | 2007 |
| 97 | TP301.2/J605 | 形式语义学引论 | 蒋严, 潘海华著 | 中国社会科学出版社 | 2015.06 |
| 98 | TP301.2/W622 | 程序设计语言的形式语义 | 温斯克尔著;宋国新 … 等译 | 机械工业出版社 | 2004.01 |
| 99 | TP301.4/B982 | 可计算性与数理逻辑 | (美)[布勒斯]George S. Boolos,(美)John P. | 电子工业出版社 | 2005.7 |
| 100 | TP301.5/B395 | 复杂性新探 | 北京大学现代科学与哲学研究中心编 | 人民出版社 | 2007.09 |