获奖
    获奖名称: 获奖类别: 获奖时间:
    获奖等级:
    获奖名称 获奖类别 获奖等级 获奖时间
    网络软件基础架构平台(网驰ONCE)技术和系统 国家科学技术进步奖 二等奖 2011
    公开密钥基础设施技术研究与应用 国家科学技术进步奖 二等奖 2005
    软件过程服务技术及集成管理系统 国家科学技术进步奖 二等奖 2005
    网络分布软件支撑平台及石化应用示范工程 国家科学技术进步奖 二等奖 2002
    高性能分布式并行数值代数软件研究与开发 国家科学技术进步奖 二等奖 2000
    计算机网络安全关键技术研究与产品开发 国家科学技术进步奖 二等奖 2000
    保险业务综合网络管理系统 国家科学技术进步奖 三等奖 1999
    并发进程的代数理论及验证工具 国家自然科学奖 二等奖 1999
    支持可理解性和可复用性的软件设计系统URS-1 国家科学技术进步奖 二等奖 1992
    基于时序逻辑的软件工程环境的理论与设计 国家自然科学奖 一等奖 1989
    有限自动机的可逆性理论 国家自然科学奖 三等奖 1987
    分布式程序设计理论 国家自然科学奖 二等奖 1987
    UNIX系统的研究分析推广应用和开发 国家科学技术进步奖 三等奖 1985

  • 1
友情链接:众彩彩票登入  免费国产高清无码  快3网正规网站  特区七星彩票论坛  腾讯十分彩有几种玩法  星炫棋牌网站  威尼斯登录网站  丰大彩票登录  博乐美网站  91自拍国产专区