检索到 10 条 分类号=TP301.2 的结果
-
中文图书1.深入浅出Hyperscan:高性能正则表达式算法原理与设计 TP301.2/8
馆藏复本：3
可借复本：3 王翔 ... [等] 著
人民邮电出版社 2021
(0) 馆藏 -
中文图书2.基于VHDL的数字系统设计方法 TP312VH/26
馆藏复本：2
可借复本：2 (美) 威廉姆·J. 戴利, R. 柯蒂斯·哈丁, 托·M. 阿莫特著
机械工业出版社 2019
(0) 馆藏 -
中文图书3.形式语义学引论.第2版 TP301.2/7
馆藏复本：3
可借复本：3 周巢尘，詹乃军著
科学出版社 2017
(0) 馆藏 -
中文图书4.计算系统的形式语义 TP301.2/6
馆藏复本：4
可借复本：4 陆汝钤著
清华大学出版社 2017
(0) 馆藏 -
中文图书5.形式化方法导论 TP301.2/5
馆藏复本：5
可借复本：5 张广泉编著
清华大学出版社 2015
(0) 馆藏 -
中文图书6.正则表达式经典实例.2版 TP301.2/4
馆藏复本：1
可借复本：1 (美)Jan Goyvaerts，(美)Steven Levithan著
人民邮电出版社 2014
(0) 馆藏 -
中文图书7.正则表达式必知必会.2版 TP301.2/3
馆藏复本：7
可借复本：7 (美)Ben Forta著
人民邮电出版社 2015
(0) 馆藏 -
中文图书8.论证型式 H030/30
馆藏复本：6
可借复本：6 武宏志著
中国社会科学出版社 2013
(0) 馆藏 -
中文图书9.精通正则表达式 TP301.2/2
馆藏复本：1
可借复本：1 (美)Jeffrey E.F.Friedl著
电子工业出版社 2007
(0) 馆藏 -
中文图书10.形式语用学导论 H030/2051
馆藏复本：5
可借复本：5 张韧弦著
复旦大学出版社 2008
(0) 馆藏
