您的位置： 专家智库 > >

国家高技术研究发展计划(2002CB312002)

作品数：1 被引量：1H指数：1
相关作者：颜锋韩婷婷陈韬略吕建更多>>
相关机构：南京大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 4个电子电信
  • 4个自动化与计算...
  • 4个文化科学
  • 2个政治法律
  • 1个经济管理
  • 1个石油与天然气...
  • 1个建筑科学
  • 1个轻工技术与工...
  • 1个语言文字
  • 1个文学

主题

  • 4个等价
  • 4个递归
  • 4个递归函数
  • 4个移动计算
  • 4个移动进程演算
  • 4个异步
  • 4个有限状态自动...
  • 4个语言
  • 4个语言表达
  • 4个语言表达能力
  • 4个通信
  • 4个通信安全
  • 4个通信机制
  • 4个同余
  • 4个同余关系
  • 4个状态自动机
  • 4个自动机
  • 3个行为等价
  • 3个序关系
  • 3个英文

机构

  • 4个南京大学
  • 1个中国科学院
  • 1个国电南京自动...
  • 1个计算机软件新...

资助

  • 4个国家高技术研...
  • 4个国家重点基础...
  • 4个国家自然科学...
  • 4个江苏省自然科...
  • 2个江苏省教育厅...
  • 1个国家社会科学...
  • 1个江苏省青年科...
  • 1个国家杰出青年...
  • 1个国家科技重大...
  • 1个江苏省高技术...
  • 1个江苏省“六大...
  • 1个“九五”国家...
  • 1个国家攀登计划
  • 1个国家自然科学...
  • 1个江苏省基础研...
  • 1个教育部“新世...
  • 1个中央高校基本...

传媒

  • 4个武汉大学学报...
  • 4个高技术通讯
  • 4个小型微型计算...
  • 4个计算机科学
  • 4个2005年全...
  • 3个南京大学学报...
  • 2个计算机工程
  • 2个软件学报
  • 1个计算机集成制...
  • 1个科学通报
  • 1个中国高等教育
  • 1个计算机研究与...
  • 1个电子学报
  • 1个中国科学（A...
  • 1个计算机学报
  • 1个计算机工程与...
  • 1个计算机应用与...
  • 1个微电子学与计...
  • 1个计算机应用
  • 1个计算机应用研...

地区

  • 4个江苏省
共 4 条 记 录，以下是 1-4
吕建
供职机构：南京大学
研究主题：移动AGENT 面向对象 软件开发 INTERNET 软件体系结构
发表作品相关人物供职机构所获资助研究领域
韩婷婷
供职机构：南京大学
研究主题：进程代数 移动计算 环境演算 Π演算 鲁棒
发表作品相关人物供职机构所获资助研究领域
颜锋
供职机构：南京大学
研究主题：Π演算 移动计算 进程代数 分布式计算 空间逻辑
发表作品相关人物供职机构所获资助研究领域
陈韬略
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：进程代数 移动计算 环境演算 移动进程演算 移动AGENT
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0