检索到 23 条 分类号=TP301.2 的结果
-
中文图书1.走向意义:形式语义学与维持根斯坦 TP301.2/17
馆藏复本：3
可借复本：2 (荷)司马亭(Martin Stokhof)著
清华大学出版社 2022
(0) 馆藏 -
中文图书2.自动机理论、语言和计算导论 TP301.1/8
馆藏复本：2
可借复本：1 (美)约翰·E. 霍普克罗夫特(John E. Hopcroft)，(美)拉杰夫·莫特瓦尼(Rajeev Motwani)，(美)杰弗里·D....
机械工业出版社 2022
(0) 馆藏 -
中文图书3.深入浅出Hyperscan:高性能正则表达式算法原理与设计 TP301.2/16
馆藏复本：3
可借复本：2 王翔[等]著
人民邮电出版社 2021
(0) 馆藏 -
中文图书4.深化知识表征与建模:语义图示的设计、开发与应用 TP301.2/15
馆藏复本：3
可借复本：2 顾小清, 权国龙著
华东师范大学出版社 2020
(0) 馆藏 -
中文图书5.FPGA入门指南:用Verilog HDL语言设计计算机系统 TP332.1/127
馆藏复本：2
可借复本：1 张文挺著
人民邮电出版社 2021
(0) 馆藏 -
中文图书6.正则指引.第2版 TP301.2/14=2
馆藏复本：2
可借复本：1 余晟著
电子工业出版社 2018
(0) 馆藏 -
中文图书7.安全协议操作语义与验证 TP393.08/499
馆藏复本：3
可借复本：2 (瑞士) Cas Cremers，(卢森堡) Sjouke Mauw著
电子工业出版社 2018
(0) 馆藏 -
中文图书8.形式语义学引论.第2版 TP301.2/13=2
馆藏复本：3
可借复本：2 周巢尘，詹乃军著
科学出版社 2017
(0) 馆藏 -
中文图书9.永磁同步电动机调速系统研究 TP301.2/12
馆藏复本：1
可借复本：0 康标著
西安工业大学 2017
(0) 馆藏 -
中文图书10.计算系统的形式语义.下 TP301.2/11-2
馆藏复本：2
可借复本：1 陆汝钤著
清华大学出版社 2017
(0) 馆藏 -
中文图书11.计算系统的形式语义.上 TP301.2/11-1
馆藏复本：2
可借复本：1 陆汝钤著
清华大学出版社 2017
(0) 馆藏 -
中文图书12.形式语言与自动机 TP301.2/10
馆藏复本：1
可借复本：1 陈有祺编著
机械工业出版社 2008
(0) 馆藏 -
中文图书13.形式化方法导论 TP301.2/8
馆藏复本：3
可借复本：2 张广泉编著
清华大学出版社 2015
(0) 馆藏 -
中文图书14.精通正则表达式 TP301.2/9
馆藏复本：5
可借复本：4 (美) Jeffrey E. F. Friedl著
电子工业出版社 2012
(0) 馆藏 -
中文图书15.正则表达式入门经典 TP301.2/7
馆藏复本：2
可借复本：2 (美)Andrew Watt著
清华大学出版社 2008
(0) 馆藏 -
中文图书16.形式语言与自动机 TP301.2/5
馆藏复本：6
可借复本：6 陈文宇, 欧齐, 程炼编著
人民邮电出版社 2005
(0) 馆藏 -
中文图书17.形式语言与自动机理论 TP301.2/4
馆藏复本：6
可借复本：6 蒋宗礼, 姜守旭编著
清华大学出版社 2003
(0) 馆藏 -
中文图书18.形式语义学基础与形式说明 TP301.2/6=2
馆藏复本：2
可借复本：2 屈延文编著
科学出版社 2010
(0) 馆藏 -
西文图书19.VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijk TP311.52-53/E3:2(4TH:91)
馆藏复本：1
可借复本：1 S. Prehn, W.J. Toetenel (eds.)
Springer-Verlag, c1991.
(0) 馆藏 -
西文图书20.VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijk TP311.52-53/E3:(4TH:91)
馆藏复本：1
可借复本：1 S. Prehn, W.J. Toetenel (eds.).
Springer-Verlag, c1991.
(0) 馆藏
