您的位置： 专家智库 > >

王朋

作品数：4 被引量：2H指数：1
供职机构：解放军理工大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 2个电子电信
  • 1个天文地球
  • 1个文化科学

主题

  • 4个函数式程序设...
  • 4个泛型
  • 4个泛型编程
  • 4个编程
  • 4个程序设计
  • 3个定理
  • 2个定理机器证明
  • 2个引文
  • 2个O
  • 1个代码
  • 1个等价
  • 1个等价性
  • 1个电梯控制
  • 1个电梯控制系统
  • 1个电子商务
  • 1个定理证明
  • 1个动目标
  • 1个动目标检测
  • 1个多尺度
  • 1个多尺度分析

机构

  • 4个解放军理工大...
  • 1个中国人民解放...

资助

  • 4个国家高技术研...
  • 2个国家自然科学...
  • 2个江苏省自然科...
  • 1个中国博士后科...
  • 1个国家部委预研...

传媒

  • 3个计算机工程与...
  • 3个军事通信技术
  • 3个计算机技术与...
  • 2个计算机应用与...
  • 2个解放军理工大...
  • 1个传感器世界
  • 1个南京大学学报...
  • 1个计算机工程与...
  • 1个计算机工程
  • 1个计算机应用
  • 1个计算机应用研...
  • 1个软件学报
  • 1个中国科技信息
  • 1个软件导刊
  • 1个科技资讯
  • 1个电脑知识与技...
  • 1个传感器与微系...
  • 1个南京邮电大学...
  • 1个气象科技进展
  • 1个2007全国...

地区

  • 4个江苏省
共 4 条 记 录，以下是 1-4
于尚超
供职机构：解放军理工大学
研究主题：泛型编程 泛型 函数式程序设计 HASKELL语言 编程
发表作品相关人物供职机构所获资助研究领域
李阳
供职机构：解放军理工大学
研究主题：尺度自适应 目标跟踪 无人机 图像检索方法 相关滤波
发表作品相关人物供职机构所获资助研究领域
徐健
供职机构：解放军理工大学
研究主题：泛型编程 函数式程序设计 泛型 O
发表作品相关人物供职机构所获资助研究领域
张兴元
供职机构：解放军理工大学
研究主题：形式化验证 形式化 活动性 定理证明 数字签名
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0