文献检索列表 |
序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
1 | TP274/K633 | 模型检测 | (美) Edmund M. Clarke, Jr., Orna Grumber | 电子工业出版社 | 2018.11 |
2 | H03/H160 | 语料库语言学与英语教学 | 何安平著 | 外语教学与研究出版社 | 2004.10 |
文献检索列表 |
序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
1 | TP274/K633 | 模型检测 | (美) Edmund M. Clarke, Jr., Orna Grumber | 电子工业出版社 | 2018.11 |
2 | H03/H160 | 语料库语言学与英语教学 | 何安平著 | 外语教学与研究出版社 | 2004.10 |