搜索结果: 1-2 共查到“理学 mathematical methods”相关记录2条 . 查询时间(0.164 秒)
第二届现代数学方法与高性能计算科学技术国际会议(2nd International Conference on Modern Mathematical Methods and High Performance Computing in Science & Technology)
第二届 现代数学方法与高性能计算科学技术 国际会议
2017/12/20
International Conference on Modern Mathematical Methods and High Performance Computing in Science and Technology (M3HPCST 2018). The M3HPCST 2018 will provide a forum for engineers and scientists in a...
The Mathematical Methods of Programming Group research concentrates on the mathematical foundations of computing. The techniques used include: logics, category theory, logics and theory of institution...