曲式与作品分析问题研究2016.侯静宜, 编著 形式化方法导论2015.张广泉, 编著 深化知识表征与建模2020.顾小清, 权国龙, 著 绘画形式语言分析2020.7刘悦, 著 曲式与作品分析问题研究2018.2潘妤, 著 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 汉语语义角色与句式的互动研究2015.11丁加勇, 著 分布计算系统2012.1胡亮, 徐高潮, 魏晓辉, 著 语篇中性状语义的构建2017.12范庆芬, 著 分布式计算2012.3(美) 克谢姆卡亚尼 (Kshemkalyani,A.D.) , (美) 辛哈 (Singhal,M.) , 著 分布计算系统2004.01徐高潮, 胡亮, 鞠九滨, 编著 现代汉语形容词句法组合的语义理解与生成研究2016.8吴颖, 等著 形式主义现形记2020.9《形式主义现形记》编写组, 编写 笔记本电脑电路分析与故障诊断2009.12邱满良, 编著 语义的分析与认知2004.08韩宝育, 著