文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | K815.2/H183 | 名将与名战 | 何雷主编 | 京华出版社 | 2011.03 |
| 2 | K815.2/H1831 | 名将与名战 | 何雷主编 | 京华出版社 | 2011.03 |
| 3 | TP3/L612 | 基于Petri网的计算树逻辑模型检测 | 刘关俊, 何雷锋著 | 科学出版社 | 2024.01 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | K815.2/H183 | 名将与名战 | 何雷主编 | 京华出版社 | 2011.03 |
| 2 | K815.2/H1831 | 名将与名战 | 何雷主编 | 京华出版社 | 2011.03 |
| 3 | TP3/L612 | 基于Petri网的计算树逻辑模型检测 | 刘关俊, 何雷锋著 | 科学出版社 | 2024.01 |