Linux操作系统实训教程2008.08《国家人力资源和社会保障部、国家工业和信息化部信息专业技术人才知识更新工程 (“653工程”) 指定教材》编委会, 编 实时随机系统模型检测2016.张君华, 著 入侵检测2009.08鲜永菊, 主编 微机测控系统实训教程2010.8赵国相, 主编 汽车基本检测项目实训教程2016.8金娇荣, 主编 汽车电控系统项目实训教程2015.2马彦军, 编 入侵检测2003.罗守山, 褚永刚, 王自亮, 编著 汽车电控系统维修实训教程2009.12陈天明, 等主编 模型检测2015.11(美) 克拉克 (Clarke Jr,E.M.) , (美) 格伦贝格 (Grumberg,O.) , (美) 佩莱德 (Peled,D.A.) , 著 模型检测2018.11(美) 埃德蒙·M.克拉克, 等著 过程检测仪表实训教程2016.2李飞, 主编 数字系统仿真综合实训教程2016.2李春杨, 主编 Linux 操作系统实训教程2006.05曹希立, 张金波, 主编 民用运输机场时钟系统检测规范2019.5民航专业工程质量监督总站, 主编 Linux操作系统实训教程2007.07吴天发等, 编著