学术信息网 西电导航 关于 使用说明 搜索 系统首页 登录 控制面板 收藏 古天龙的留言板
荣誉获奖

出版学术著作/教材《有序二叉决策图及应用》《软件开发的形式化方法》《网络协议的形式化分析与设计》《软件工程》《计算机科学与技术方法论》《离散数学》等6部;