您的位置： 专家智库 > >

钱悦晨

作品数：2 被引量：0H指数：0
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文基金：江苏省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 1个电子电信
  • 1个电气工程
  • 1个水利工程
  • 1个交通运输工程
  • 1个理学

主题

  • 4个程序设计
  • 3个指称语义
  • 3个设计语言
  • 3个OCCAM
  • 3个CSP
  • 3个并发语言
  • 3个程序设计语言
  • 1个代数
  • 1个等价
  • 1个等价性
  • 1个等价性证明
  • 1个递归
  • 1个递归函数
  • 1个定理
  • 1个定理证明
  • 1个动点
  • 1个断言
  • 1个信息抽取
  • 1个形式化
  • 1个形式化方法

机构

  • 2个南京大学
  • 1个南京林业大学
  • 1个解放军理工大...
  • 1个中华人民共和...

资助

  • 4个江苏省自然科...
  • 2个国家高技术研...
  • 2个国家自然科学...
  • 1个国家重点基础...
  • 1个中国博士后科...
  • 1个江苏省“六大...
  • 1个创新研究群体...
  • 1个国家教育部博...
  • 1个国家重点实验...
  • 1个江苏省“青蓝...
  • 1个江苏省高校自...
  • 1个江苏省科技计...

传媒

  • 3个解放军理工大...
  • 2个南京大学学报...
  • 2个计算机科学
  • 1个数学学报（中...
  • 1个计算机研究与...
  • 1个电子学报
  • 1个南京航空航天...
  • 1个计算机学报
  • 1个武汉大学学报...
  • 1个计算机工程与...
  • 1个计算机应用与...
  • 1个科学
  • 1个小型微型计算...
  • 1个软件学报
  • 1个中国科学（E...
  • 1个Journa...
  • 1个南京师大学报...
  • 1个数学年刊（A...
  • 1个中国图象图形...
  • 1个计算机技术与...

地区

  • 3个江苏省
  • 1个北京市
共 4 条 记 录，以下是 1-4
宋方敏
供职机构：南京大学计算机科学与技术系
研究主题：量子计算 形式化设计 公理集合论 操作系统 量子算法
发表作品相关人物供职机构所获资助研究领域
赖蓉
供职机构：解放军理工大学指挥自动化学院
研究主题：程序设计语言 并发语言 CSP OCCAM 指称语义
发表作品相关人物供职机构所获资助研究领域
朱军
供职机构：中华人民共和国工业和信息化部
研究主题：程序设计
发表作品相关人物供职机构所获资助研究领域
严涛
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：电力网格 分布式资源管理 分布式检索 资源管理 TAG
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0