Büchi自动机模型检测及其安全性分析应用研究/江西理工大学优秀博士论文文库

王曦、欧阳城添 著 / 中南大学出版社 / 2019-02 / 平装

破碎统计力学原理及转移概率在装补球制度中的应用与实践/江西理工大学优秀博士论文文库

吴彩斌 著 / 冶金工业出版社 / 2017-12 / 平装