您的位置： 专家智库 > >

国家自然科学基金(60073001)

作品数：7 被引量：18H指数：3
相关作者：徐云青徐义峰李舟军李梦君周倜更多>>
相关机构：衢州学院国防科学技术大学北京航空航天大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
相关领域：自动化与计算机技术电子电信更多>>

领域

  • 6个自动化与计算...
  • 5个电子电信
  • 2个经济管理
  • 2个哲学宗教
  • 2个生物学
  • 2个天文地球
  • 2个化学工程
  • 2个矿业工程
  • 2个石油与天然气...
  • 2个冶金工程
  • 2个金属学及工艺
  • 2个机械工程
  • 2个动力工程及工...
  • 2个电气工程
  • 2个建筑科学
  • 2个水利工程
  • 2个轻工技术与工...
  • 2个交通运输工程
  • 2个航空宇航科学...
  • 2个环境科学与工...

主题

  • 5个电子商务
  • 5个形式化
  • 5个形式化验证
  • 5个商务
  • 5个体系结构
  • 5个欺骗
  • 5个公平
  • 4个蛋白
  • 4个蛋白质
  • 4个蛋白质相互作...
  • 4个电子商务协议
  • 4个信息检索
  • 4个形式化分析
  • 4个认证性
  • 4个软件体系结构
  • 4个数据流
  • 4个连接子
  • 4个逻辑程序
  • 3个信息检索技术
  • 3个数据流挖掘

机构

  • 6个国防科学技术...
  • 6个北京航空航天...
  • 5个永州职业技术...
  • 5个中南大学
  • 4个湖南农业大学
  • 4个四川大学
  • 4个中南林业科技...
  • 3个北京跟踪与通...
  • 2个安徽工业大学
  • 2个安徽省农业科...
  • 2个安徽新华学院
  • 2个安徽医科大学
  • 2个北方工业大学
  • 2个北方民族大学
  • 2个北海道大学
  • 2个北京工商大学
  • 2个北京工业职业...
  • 2个北京航空工程...
  • 2个北京市药品检...
  • 2个北京印刷学院

作者

  • 6个李舟军
  • 5个李梦君
  • 4个周倜
  • 4个杨素荣
  • 4个王涛
  • 4个谭汉松
  • 4个陈火旺
  • 4个刘锋
  • 4个颜跃进
  • 4个张艳
  • 3个刘军万
  • 3个邢建英
  • 3个李强
  • 3个陈义明
  • 3个陈波
  • 2个丁为民
  • 2个丁仁伟
  • 2个文健
  • 2个李岩
  • 2个林松

传媒

  • 6个计算机工程与...
  • 6个计算机应用研...
  • 6个计算机科学
  • 5个计算机研究与...
  • 4个计算机学报
  • 4个武汉大学学报...
  • 4个计算机工程
  • 2个分析化学
  • 2个分子科学学报
  • 2个化工科技
  • 2个光机电信息
  • 2个工业安全与环...
  • 2个中华精神科杂...
  • 2个商业时代
  • 2个中国科技论坛
  • 2个中国临床药理...
  • 2个中国药物依赖...
  • 2个中国计划生育...
  • 2个全面腐蚀控制
  • 2个医疗装备
共 6 条 记 录，以下是 1-6
国家自然科学基金(60473057)
基于进程代数的复杂安全协议的形式化分析与验证
相关领域：自动化与计算机技术 电子电信
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(90604007)
相关领域：自动化与计算机技术 电子电信
相关作品相关人物相关机构相关资助相关领域
“十五”国家科技攻关计划(2001BA102A07-04-01)
银行计算机灾难恢复系统研究
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划
相关领域：自动化与计算机技术 农业科学 电子电信 医药卫生 理学
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划(2002AA144040)
相关领域：自动化与计算机技术 电子电信
相关作品相关人物相关机构相关资助相关领域
国家科技重大专项
相关领域：医药卫生 石油与天然气工程 天文地球 环境科学与工程 农业科学
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0