文献检索列表 |
序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 | 预约/借 |
1 | G633.6/JY115 | 逻辑代数 | 刘靖宇编9著 | 1983 | 预约/借 | |
2 | O142/22 | 逻辑代数初步与电子计算机简介 | 张文贵著 | 人民教育出版社 | 1983 | 预约/借 |
3 | O159/7 | 模糊开关和自动机理论和应用 | (美)亚伯拉罕(K.Abraham),(美)塞缪尔(C.L.S | 上海科学技术出版社 | 1984 | 预约/借 |
4 | O225/248 | 斯坦福算法博弈论二十讲 | (美)蒂姆·拉夫加登(Tim Roughgarden)著;郝 | 机械工业出版社 | 2021.7 | 预约/借 |
5 | TP23/36 | 自动机引论 | 陶仁骥著 | 科学出版社 | 1986 | 预约/借 |
6 | TP274/2 | 数制 | (德)莫司(L.Moos)著;林尔康译 | 科学出版社 | 1979 | 预约/借 |
7 | TP301.1/292 | 自动机理论语言和计算导论 | (美)John E.Hopcroft,(美)Rajeev Motwani,( | 机械工业出版社 | 2004 | 预约/借 |
8 | TP301.1/S270 | 有限自动机理论 | 陈文宇等著 | 电子工业出版社 | 2013 | 预约/借 |
9 | TP301.2/1322 | 深化知识表征与建模 | 顾小清,权国龙著 | 华东师范大学出版社 | 2020.6 | 预约/借 |
10 | TP301.2/208 | 形式语义学基础与形式说明 | 屈延文编著 | 科学出版社 | 1989.12 | 预约/借 |