文献检索列表

首页  上一页  下一页  尾页    共3条记录 每页10条记录 页次：1/1   转到：  
序号 索取号 正题名 责任者 出版者 出版日期
1 TP274/K633   模型检测 (美) Edmund M. Clarke, Jr., Orna Grumber   电子工业出版社   2018.11  
2 TP301.6/W437   进程代数 王永祥, 吴尽昭, 蒋建民著   科学出版社   2007.06  
3 O211.62/W809   交互式马尔可夫链 吴尽昭, 王永祥, 覃广平著   科学出版社   2007.06  
首页  上一页  下一页  尾页    共3条记录 每页10条记录 页次：1/1   转到：