您的位置： 专家智库 > >

国家自然科学基金(60433010)

作品数：28 被引量：188H指数：7
相关作者：段振华王小兵雷丽晖张海宾舒新峰更多>>
相关机构：西安电子科技大学西北大学武汉大学更多>>
发文基金：国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

领域

  • 21个自动化与计算...
  • 10个理学
  • 9个经济管理
  • 9个自然科学总论
  • 8个天文地球
  • 8个电子电信
  • 8个交通运输工程
  • 8个社会学
  • 7个化学工程
  • 7个矿业工程
  • 7个石油与天然气...
  • 7个冶金工程
  • 7个金属学及工艺
  • 7个机械工程
  • 7个动力工程及工...
  • 7个电气工程
  • 7个水利工程
  • 7个轻工技术与工...
  • 7个航空宇航科学...
  • 7个环境科学与工...

主题

  • 14个形式化
  • 14个时序逻辑
  • 14个自动机
  • 13个调度
  • 13个投影时序逻辑
  • 13个面向对象
  • 13个PETRI网
  • 11个多核
  • 11个排序
  • 11个工作流
  • 11个编程
  • 10个定理
  • 10个形式化验证
  • 9个定理证明
  • 9个信息检索
  • 9个面向对象程序
  • 9个面向对象程序...
  • 8个安全协议
  • 7个等价
  • 7个多核并行

机构

  • 20个西安电子科技...
  • 13个西北大学
  • 12个武汉大学
  • 9个清华大学
  • 9个西安交通大学
  • 8个北京大学
  • 8个华中科技大学
  • 8个北京航空航天...
  • 8个浙江大学
  • 7个河海大学
  • 7个长沙理工大学
  • 7个东南大学
  • 7个国防科学技术...
  • 6个大连理工大学
  • 6个北京师范大学
  • 5个北海道大学
  • 5个北京工商大学
  • 5个哈尔滨工程大...
  • 5个福建师范大学
  • 4个国务院发展研...

作者

  • 13个段振华
  • 10个张海宾
  • 9个王小兵
  • 8个黄伯虎
  • 7个魏玲
  • 7个舒新峰
  • 7个张文修
  • 7个张琛
  • 6个杨琛
  • 6个张曼
  • 6个祁建军
  • 4个贾建
  • 3个潘伟丰
  • 3个王树良
  • 3个胡文斌
  • 3个郭思培
  • 3个齐治昌
  • 3个曾诚
  • 3个陈林
  • 3个叶鹏

传媒

  • 16个计算机科学
  • 15个西安交通大学...
  • 15个西安电子科技...
  • 11个西北大学学报...
  • 10个系统工程理论...
  • 10个计算机研究与...
  • 10个华中科技大学...
  • 10个计算机工程与...
  • 10个四川大学学报...
  • 9个计算机工程
  • 9个小型微型计算...
  • 8个系统工程与电...
  • 8个计算机集成制...
  • 8个电子与信息学...
  • 8个模式识别与人...
  • 8个电子学报
  • 8个中国科学（E...
  • 7个分析化学
  • 7个东南大学学报...
  • 7个工业控制计算...
共 21 条 记 录，以下是 1-10
国家自然科学基金(60873018)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60373103)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家教育部博士点基金
相关领域：理学 自动化与计算机技术 医药卫生 农业科学 经济管理
相关作品相关人物相关机构相关资助相关领域
国家教育部博士点基金(20030701015)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划
相关领域：天文地球 医药卫生 理学 农业科学 自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60703117)
相关领域：自动化与计算机技术 理学 水利工程
相关作品相关人物相关机构相关资助相关领域
软件工程国家重点实验室开放基金
相关领域：自动化与计算机技术 文化科学 理学 电子电信 天文地球
相关作品相关人物相关机构相关资助相关领域
中国人民解放军总装备部预研基金
相关领域：自动化与计算机技术 电子电信 航空宇航科学技术 理学 一般工业技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60673096)
相关领域：自动化与计算机技术 理学 社会学 经济管理
相关作品相关人物相关机构相关资助相关领域
陕西省教育厅自然科学基金(05JK293)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共3页<123>
聚类工具0