电脑体验，效果更佳

肖美华图谱-自然科学领域：

相关人员

刘晓清 王命延 尹传文 胡波 薛锦云 朱宜炳 熊昊 王兵

研究领域

非形式化方法 形式化方法 并发系统 启发式搜索 反例 电子商务协议 原子性 事务

所属机构

江西南昌 南昌大学计算中心 南昌大学信息工程学院 中国科学院软件研究所 江西师范大学计算机信息工程学院 江西南昌330027中国科学院软件研究所... 江西南昌330027南昌大学计算中心江西...

标签云