检索到 4 条 责任者=吴尽 的结果
-
中文图书1.世界是如何创造的?:认识世界的20种科学理论 Z228.2/224
馆藏复本：2
可借复本：2 (日) 细川博昭著
机械工业出版社 2022
(0) 馆藏 -
中文图书2.模型检测 TP274/4544
馆藏复本：3
可借复本：3 (美) Edmund M. Clarke, (美) Orna Grumberg, (美) Doron A. Peled著
电子工业出版社 2018
(0) 馆藏 -
中文图书3.进程代数:对称与动作细化 TP301.6/133
馆藏复本：5
可借复本：0 王永祥，吴尽昭，蒋建民著
科学出版社 2007
(0) 馆藏 -
中文图书4.交互式马尔可夫链:并发系统的设计、验证与评价 O211.6/676
馆藏复本：5
可借复本：4 吴尽昭, 王永祥, 覃广平著
科学出版社 2007
(0) 馆藏
