文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 91 | TP301.2/F690 | 正则表达式必知必会 | (美)福达著;杨涛译 | 人民邮电出版社 | 2007.12 |
| 92 | TP301.2/J536 | VHDL设计实例与仿真 | 姜雪松, 吴钰淳, 王鹰等编著 | 机械工业出版社 | 2007 |
| 93 | TP301.2/J605 | 形式语义学引论 | 蒋严, 潘海华著 | 中国社会科学出版社 | 2015.06 |
| 94 | TP301.2/W382 | 深入浅出Hyperscan | 王翔[等]著 | 人民邮电出版社 | 2021.09 |
| 95 | TP301.2/W622 | 程序设计语言的形式语义 | 温斯克尔著;宋国新 … 等译 | 机械工业出版社 | 2004.01 |
| 96 | TP301.5/C654 | 计算机数学 | 陈志平, 徐宗本编著 | 科学出版社 | 2001.08 |
| 97 | TP301.5/D794 | 计算复杂性导论 | 堵丁柱, 葛可一, 王洁[著] | 高等教育出版社 | 2002.08 |
| 98 | TP301.5/D7941 | 计算复杂性导论 | 堵丁柱等[著] | 高等教育出版社 | 2002 |
| 99 | TP301.5/G510 | 计算复杂性 | 顾小丰, 孙世新, 卢光辉编著 | 机械工业出版社 | 2005.03 |
| 100 | TP301.5/H218 | 多智能体系统有限时间一致性控制问题 | 何小燕著 | 经济管理出版社 | 2020.05 |