文献检索列表 |
序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 | 预约/借 |
1 | TP301.2/1322 | 深化知识表征与建模 | 顾小清,权国龙著 | 华东师范大学出版社 | 2020.6 | 预约/借 |
2 | TP301.2/208 | 形式语义学基础与形式说明 | 屈延文编著 | 科学出版社 | 1989.12 | 预约/借 |
3 | TP301.2/641 | 精通正则表达式 | (美)佛瑞德(Friedl,J.E.F.)著;余晟译 | 电子工业出版社 | 2012.07 | 预约/借 |
4 | TP301.2/685:1 | 计算系统的形式语义 | 陆汝钤著 | 清华大学出版社 | 2017.01 | 预约/借 |
5 | TP301.2/685:2 | 计算系统的形式语义 | 陆汝钤著 | 清华大学出版社 | 2017.01 | 预约/借 |
6 | TP301.2/908=2 | 正则指引 | 余晟著 | 电子工业出版社 | 2018 | 预约/借 |