期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

勇攀计算机科学理论新高峰——记“并发进程的代数理论及验证工具”项目主要完成人林惠民研究员

下载PDF
导出
出处 《中国科技奖励》 2000年第2期20-22,共3页 China Awards for Science and Technology
关键词 并发进程的代数理论及验证工具 林惠民 研究员
分类号 K826.16 [历史地理—历史学] TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献
中国科技奖励
2000年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部