您的位置： 专家智库 > >

上海市科学技术委员会基础研究重点项目(06JC14022)

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

领域

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

主题

  • 5个自动生成
  • 5个领域语言
  • 5个开发环境
  • 5个集成开发环境
  • 5个GARMEN...
  • 5个GARDEN
  • 4个形式化
  • 4个软件测试
  • 4个状态机
  • 3个代码
  • 3个代码生成
  • 3个代数
  • 3个代数模型
  • 3个信息检索
  • 3个形式化方法
  • 3个循环不变式
  • 3个异常处理
  • 3个引擎
  • 3个用户
  • 3个语法树

机构

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

作者

  • 5个张乃孝
  • 5个珺小明
  • 3个李楠
  • 3个毕忠勤
  • 3个金大海
  • 3个肖庆
  • 3个贾荣飞
  • 3个赵会群
  • 3个甘红星
  • 3个丁佐华
  • 3个史册
  • 3个张天
  • 3个杨朝红
  • 3个曾振柄
  • 3个徐珞
  • 3个王冠
  • 3个吴际
  • 3个金茂忠
  • 2个张晓华
  • 2个张晓华

传媒

  • 5个中国科学（E...
  • 3个内蒙古大学学...
  • 3个计算机研究与...
  • 3个合肥工业大学...
  • 3个电子学报
  • 3个计算机学报
  • 3个计算机工程与...
  • 3个计算机工程
  • 2个分析化学
  • 2个分子科学学报
  • 2个化工科技
  • 2个吉林蔬菜
  • 2个光机电信息
  • 2个工业安全与环...
  • 2个中华精神科杂...
  • 2个商业时代
  • 2个中国数据通信
  • 2个中国科技论坛
  • 2个中国临床药理...
  • 2个中国药物依赖...
共 5 条 记 录，以下是 1-5
国家高技术研究发展计划(2006AA01Z165)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划
相关领域：自动化与计算机技术 农业科学 电子电信 医药卫生 理学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划(2007AA010302)
相关领域：自动化与计算机技术 理学 建筑科学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60473056)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0