经典自守形式专题2016.11(波) 亨里克·伊万涅茨 (Henryk Iwaniec) , 著 基于多元统计图表示原理的信息融合和模式识别技术2007.10洪文学等, 著 形式逻辑原理2007.04诸葛殷同等, 著 形式逻辑初稿2015.12王立吾, 编著 形式语言与自动机2005.07陈文宇, 编著 新编形式逻辑2008.01张起建, 编著 大规模分布式系统架构与设计实战2014.1彭渊, 著 架构解密2017.7Leader-us, 著 架构解密2020.5吴治辉, 编著 流形上的分析2012.5(美) 曼克勒斯 (Munkres,J.R.) , 著 笔记本电脑的选购、使用与维护2008.《疯狂学电脑 》编委会, 编著 詹姆逊形式理论研究2020.2王瑞瑞, 著 白话区块链2017.10蒋勇, 文延, 嘉文, 著 成本计算与分析2018.7胡晖, 赵进, 主编 语病百讲2018.7李明洁, 著