师怡爽
作品数: 8被引量:26H指数:4
  • 所属机构:首都师范大学信息工程学院
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:北京市教委科技发展计划

相关作者

关永
作品数:347被引量:1,198H指数:16
供职机构:首都师范大学
研究主题:形式化验证 定理证明 机器人 嵌入式系统 形式化
刘维民
作品数:15被引量:259H指数:9
供职机构:首都师范大学信息工程学院
研究主题:嵌入式系统 ARM 远程教育 计算机 教学效果
张杰
作品数:131被引量:301H指数:8
供职机构:北京化工大学
研究主题:形式化验证 定理证明 高速通信 抗辐照 SPACEWIRE
宋巍
作品数:39被引量:88H指数:6
供职机构:首都师范大学
研究主题:教学改革 中文 预设 混合式 课程建设
王万森
作品数:103被引量:658H指数:14
供职机构:首都师范大学
研究主题:人工智能 智能教学系统 智能科学与技术 数据挖掘 概率逻辑