您的位置： 专家智库 > >

梁智远

作品数：3 被引量：2H指数：1
供职机构：西南大学计算机与信息科学学院更多>>
发文基金：重庆市自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

领域

  • 3个自动化与计算...
  • 1个经济管理
  • 1个金属学及工艺
  • 1个电子电信
  • 1个农业科学
  • 1个文化科学
  • 1个自然科学总论
  • 1个理学

主题

  • 3个形式化
  • 3个形式化验证
  • 3个有限自动机
  • 3个统计测试
  • 3个自动机
  • 3个可靠性
  • 3个可靠性分析
  • 1个代理
  • 1个代理技术
  • 1个等价
  • 1个等价变换
  • 1个递推
  • 1个递推公式
  • 1个电路
  • 1个电路板
  • 1个电容
  • 1个电容式
  • 1个电位器
  • 1个电子商务
  • 1个动态解

机构

  • 3个西南大学
  • 1个同济大学
  • 1个重庆工业管理...
  • 1个西南民族大学
  • 1个西南师范大学

资助

  • 3个重庆市自然科...
  • 1个贵州省科学技...
  • 1个国家重点基础...
  • 1个国家自然科学...
  • 1个四川省应用基...
  • 1个北京市属高等...
  • 1个教育部“春晖...
  • 1个四川省教育厅...
  • 1个西南师范大学...
  • 1个重庆市科技攻...
  • 1个重庆市科技计...
  • 1个重庆市信息产...
  • 1个重庆市信息产...
  • 1个重庆市教委科...
  • 1个青年科技基金

传媒

  • 3个计算机科学
  • 2个广西轻工业
  • 1个计算机应用
  • 1个计算机工程与...
  • 1个西南师范大学...
  • 1个移动信息
  • 1个西华大学学报...
  • 1个中国教育网络
  • 1个西南大学学报...
  • 1个重庆理工大学...
  • 1个2006年全...
  • 1个2009国际...
  • 1个2009国际...
  • 1个2008年计...

地区

  • 3个重庆市
共 3 条 记 录，以下是 1-3
张为群
供职机构：西南大学计算机与信息科学学院
研究主题：软件开发 数据库 统一建模语言 面向对象 UML
发表作品相关人物供职机构所获资助研究领域
黄娟
供职机构：西南大学计算机与信息科学学院
研究主题：WEB软件 可靠性分析 统计测试 WEB服务组合 BPEL
发表作品相关人物供职机构所获资助研究领域
闻晓
供职机构：西南大学
研究主题：分布式 BPEL 采集终端 柑橘 肥水
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0