检索到 13 条 分类号=TP301.2 的结果
-
中文图书1.形式语义学的预设问题研究
馆藏复本：0
可借复本：0 陈晶晶著
中国社会科学出版社 2024
(0) 馆藏 -
中文图书2.形式化方法导论.2版 TP301.2/7=2
馆藏复本：2
可借复本：0 张广泉编著
清华大学出版社 2023
(0) 馆藏 -
中文图书3.形式化方法:理论及应用:theory and applications
馆藏复本：0
可借复本：0 华保健编著
中国科学技术大学出版社 2024
(0) 馆藏 -
中文图书4.形式语言与自动机导论
馆藏复本：0
可借复本：0 (美)彼得·林茨(Peter Linz)，(美)苏珊·H. 罗杰(Susan H. Rodger)著
机械工业出版社 2025
(0) 馆藏 -
中文图书5.可编程逻辑器件与Verilog HDL语言 TP332.1/47
馆藏复本：2
可借复本：2 李洪涛 ... [等] 编著
东南大学出版社 2023.8
(0) 馆藏 -
中文图书6.走向意义:形式语义学与维特根斯坦 TP301.2/6
馆藏复本：2
可借复本：2 (荷) 司马亭著
清华大学出版社 2022.07
(0) 馆藏 -
中文图书7.自动机理论、语言和计算导论 TP301.1/2
馆藏复本：2
可借复本：2 (美) 约翰·E.霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D.乌尔曼著
机械工业出版社 2022.04
(0) 馆藏 -
中文图书8.深入浅出Hyperscan:高性能正则表达式算法原理与设计 TP301.2/5
馆藏复本：3
可借复本：3 王翔 ... [等] 著
人民邮电出版社 2021.9
(0) 馆藏 -
中文图书9.FPGA入门指南:用Verilog HDL语言设计计算机系统 TP332.1/38
馆藏复本：3
可借复本：3 张文挺著
人民邮电出版社 2021
(0) 馆藏 -
中文图书10.正则指引.2版 TP301.2/4=2
馆藏复本：5
可借复本：3 余晟著
电子工业出版社 2018
(0) 馆藏 -
中文图书11.正则表达式必知必会 TP301.2/1
馆藏复本：4
可借复本：3 (美)Ben Forta著
人民邮电出版社 2007
(0) 馆藏 -
中文图书12.形式语言与自动机理论.2版 TP301.2/3
馆藏复本：5
可借复本：3 蒋宗礼, 姜守旭编著
清华大学出版社 2007
(0) 馆藏 -
中文图书13.精通正则表达式:基于.NET/ASP/PHP/JSP/JavaScript TP301.2/2
馆藏复本：4
可借复本：3 沙金编著
人民邮电出版社 2008
(0) 馆藏
