您的位置： 专家智库 > >

国家自然科学基金(60473056)

作品数：3 被引量：19H指数：2
相关作者：张乃孝孙猛杨红丽裘宗燕珺小明更多>>
相关机构：北京大学联合国大学华东师范大学更多>>
发文基金：国家自然科学基金上海市科学技术委员会基础研究重点项目国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 5个自动化与计算...
  • 2个电子电信
  • 2个文化科学
  • 2个理学

主题

  • 4个软件结构
  • 3个形式化
  • 3个形式化方法
  • 3个自动生成
  • 3个网络
  • 2个英文
  • 2个语言
  • 2个软件开发
  • 2个软件开发方法
  • 2个设计语言
  • 2个神经网
  • 2个神经网络
  • 2个时态逻辑
  • 2个数据结构
  • 2个数据结构课程
  • 2个数据收集协议
  • 2个状态机
  • 2个自动机
  • 2个领域语言
  • 2个逻辑系统

机构

  • 4个北京大学
  • 2个华东师范大学
  • 1个北京工业大学

资助

  • 5个国家自然科学...
  • 2个国家高技术研...
  • 2个上海市科学技...
  • 1个北京市自然科...
  • 1个高等学校骨干...
  • 1个中国博士后科...
  • 1个北京市教育委...
  • 1个国家教育部博...

传媒

  • 4个北京大学学报...
  • 3个软件学报
  • 3个计算机科学
  • 2个计算机研究与...
  • 2个计算机学报
  • 2个中国科学（E...
  • 2个传感技术学报
  • 2个全国程序设计...
  • 1个传感器世界
  • 1个Intern...
  • 1个中国大学教学
  • 1个北京工业大学...
  • 1个河南大学学报...
  • 1个计算机工程与...
  • 1个计算机应用与...
  • 1个微电子学与计...
  • 1个计算机应用
  • 1个计算机工程与...
  • 1个软件导刊
  • 1个计算机教育

地区

  • 4个北京市
  • 1个上海市
共 5 条 记 录，以下是 1-5
张乃孝
供职机构：北京大学数学科学学院
研究主题：程序设计语言 程序语言 程序设计 数据结构 语言
发表作品相关人物供职机构所获资助研究领域
孙猛
供职机构：北京大学
研究主题：UML RSL 形式化 MEDIATOR CSP
发表作品相关人物供职机构所获资助研究领域
珺小明
供职机构：华东师范大学软件学院
研究主题：GARMENT 集成开发环境 领域语言 自动生成 GARDEN
发表作品相关人物供职机构所获资助研究领域
裘宗燕
供职机构：北京大学数学科学学院
研究主题：程序设计语言 语言 形式化方法 异常处理 程序设计
发表作品相关人物供职机构所获资助研究领域
杨红丽
供职机构：北京工业大学
研究主题：XML SCHEMA 数据收集协议 无线传感器网络 XML_SCHEMA
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0