图像处理模型数值分析与数值仿真2012.8刘朝霞, 著 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 中文评价本体研究及系统应用2018.10周红照, 著 基于自然语言思想的递进C/C++教程2009.08李春庚, 编著 基于自然语言思想的递进C/C++教程2011.李春庚, 编著 走近形式语用学2011.7蒋严, 主编 通信信号处理模型方法及应用2018.1包建荣, 等编著 绘画形式语言研究2008.09蒋跃, 著 编程语言的形式语义学2003.(英) 温斯克尔 (Winskel,G.) , 著 模形式和三元二次型2018.5裴定一, 著 大数据智能2016.1刘知远, 等著 面向自然语言信息处理的扩展三段论研究2019.10张晓君, 著 大数据智能2019.11刘知远等, 编著 图像处理与模式识别2007.范立南, 韩晓微, 张广渊, 著 大数据环境下基于知识整合的语义计算技术与应用2018.8蔡圆媛, 著