您的位置： 专家智库 > >

国家自然科学基金(61229201)

作品数：3 被引量：6H指数：2
相关作者：张昱陈意云李兆鹏曹慧芳张其良更多>>
相关机构：中国科学技术大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

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

主题

  • 3个定理
  • 3个定理证明
  • 3个堆内存
  • 3个形式化
  • 3个形式化验证
  • 3个循环不变式
  • 3个引擎
  • 3个指向
  • 3个上下文
  • 3个上下文敏感
  • 3个自动定理证明
  • 3个自动化
  • 3个内存
  • 3个共享
  • 3个函数
  • 3个编程
  • 3个编程模型
  • 3个编译器
  • 3个C程序
  • 3个LLVM

机构

  • 3个中国科学技术...
  • 1个安徽工业大学
  • 1个安徽技术师范...
  • 1个安徽省农业科...
  • 1个安徽新华学院
  • 1个安徽医科大学
  • 1个北方工业大学
  • 1个北方民族大学
  • 1个北海道大学
  • 1个北京跟踪与通...
  • 1个北京工商大学
  • 1个北京工业职业...
  • 1个北京航空工程...
  • 1个北京经济管理...
  • 1个北京市药品检...
  • 1个北京印刷学院
  • 1个北京应用物理...
  • 1个北京中医药大...
  • 1个滨州医学院
  • 1个财政部财政科...

作者

  • 3个张昱
  • 3个李兆鹏
  • 3个李泉龙
  • 3个陈意云
  • 3个张其良
  • 3个张维
  • 3个周坤
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个丁一刚
  • 1个丁一夫
  • 1个丁中海
  • 1个丁为民
  • 1个丁丽平
  • 1个丁丽英
  • 1个丁亮
  • 1个丁亮

传媒

  • 3个计算机学报
  • 3个电子技术（上...
  • 3个小型微型计算...
  • 3个计算机科学
  • 1个分析化学
  • 1个分子科学学报
  • 1个化工科技
  • 1个吉林蔬菜
  • 1个光机电信息
  • 1个工业安全与环...
  • 1个中华精神科杂...
  • 1个商业时代
  • 1个中国数据通信
  • 1个中国科技论坛
  • 1个中国临床药理...
  • 1个中国药物依赖...
  • 1个中国计划生育...
  • 1个全面腐蚀控制
  • 1个医疗装备
  • 1个植物学通报
共 3 条 记 录，以下是 1-3
国家高技术研究发展计划
相关领域：自动化与计算机技术 农业科学 电子电信 医药卫生 理学
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划(2012AA010901)
相关领域：自动化与计算机技术 轻工技术与工程
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(61170018)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0