-
中文图书1.模型检测量子系统:原理与算法:principles and algorithms O413/Y532
馆藏复本:4
可借复本:4 应明生, 冯元著
机械工业出版社 2023
(0) 馆藏 -
中文图书2.量子有限自动机:等价性和最小化:equivalence and minimization TP301.1/L499
馆藏复本:3
可借复本:3 李绿周, 邱道文著
浙江大学出版社 2019.06
(0) 馆藏

