张爱新，李建华著2010 年出版214 页ISBN：9787111297260
本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。
李建学，李光元，吴春芳编著2007 年出版420 页ISBN：7302145369
本书以精选案例的形式介绍数据结构课程的知识。
李建国主编；谢裕宣绘2005 年出版17 页ISBN：7534418933
本画集是由《画刊》提名的21世纪中国优秀画家作品集，该册为柯建军油画作品集。
李建国主编；侯吉明绘2005 年出版15 页ISBN：7534418933
本画集是由《画刊》提名的21世纪中国优秀画家作品集，该册为柯建军油画作品集。
李建国主编；关山雪绘2005 年出版17 页ISBN：7534418933
本画集是由《画刊》提名的21世纪中国优秀画家作品集，该册为柯建军油画作品集。
李建国主编；刘俊培绘2005 年出版33 页ISBN：7534418933
本画集是由《画刊》提名的21世纪中国优秀画家作品集，该册为柯建军油画作品集。
李建国主编；葛增明绘2005 年出版15 页ISBN：7534418933
本画集是由《画刊》提名的21世纪中国优秀画家作品集，该册为柯建军油画作品集。
李建国主编；闻立圣绘2005 年出版15 页ISBN：7534418933
本画集是由《画刊》提名的21世纪中国优秀画家作品集，该册为柯建军油画作品集。
李建国主编；刘小曼绘2005 年出版15 页ISBN：7534418933
本画集是由《画刊》提名的21世纪中国优秀画家作品集，该册为柯建军油画作品集。
李建国主编；冯劲草绘2005 年出版15 页ISBN：7534418933
本画集是由《画刊》提名的21世纪中国优秀画家作品集，该册为柯建军油画作品集。
