云计算与分布式系统2013.1(美) 黄铠, (美) 福克斯 (Fox,G.C.) , (美) 唐加拉 (Dongarra,J.J.) , 著 可穿戴计算2019.3(意) 詹卡洛·福尔蒂诺 (Giancarlo Fortino) , 等著 在线红外线气体分析仪器成套系统设计与研发2017.5严玥, 严实, 著 形势与政策2014.8《形式与政策》编委会, 主编 普通形式逻辑理论与实践2010.赵永振, 编著 形式主义和马克思主义2011.5(英) 本尼特, 著 式样哲学2015.10(英) 斯宾塞 (Spencer,H.) , 著 形式逻辑教程2004.12陈全星, 唐月娥, 著 物理学中的分形2014.7刘式达, 刘式适, 编著 分布计算应用模型2009.陈明, 著 面向模式的软件架构2010.6(德) 布施曼 (Buschmann,F.) , (英) 亨尼 (Henney,K.) , (美) 施密特 (Schmidt,D.C.) , 著 音乐作品曲式分析2007.01李虻, 胡晓, 编著 图像情感语义分析技术2011.4陈俊杰, 等著 形式逻辑导论2008.06刘汉民, 主编 形式逻辑浅谈2015.7袁晓茂, 编著