-
王渊
-
-
- 所属机构:江西师范大学
- 所在地区:江西省 南昌市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 王昌晶
- 作品数：48被引量：67H指数：6
- 供职机构：江西师范大学计算机信息工程学院
- 研究主题：形式化推导 泛型 PAR平台 APLA 循环不变式
- 刘清华
- 作品数：47被引量：35H指数：4
- 供职机构：江西师范大学
- 研究主题：多路径 多路径传输 性能鲁棒性 HANOI塔问题 HANOI塔
- 黄明和
- 作品数：116被引量：311H指数：9
- 供职机构：江西师范大学软件学院
- 研究主题：面向对象 教学模式 数据挖掘 软件工程专业 SIP
- 左正康
- 作品数：38被引量：58H指数：5
- 供职机构：江西师范大学计算机信息工程学院
- 研究主题：APLA 循环不变式 形式化证明 泛型 泛型程序设计
- 郭斌
- 作品数：31被引量：84H指数：4
- 供职机构：江西师范大学
- 研究主题：软件工程专业 项目驱动教学 教学模式 教学改革 计算机网络
