← 返回

计算机科学与软件研究—李未院士纪念文集

著者复杂关键软件环境全国重点实验室主编
ISBN9787030845337
分类号TP3-53,TP311.5-53 自动化技术、计算机技术
学科工学
版次第1版
出版社科学出版社
丛书名
出版年2026
价格¥248.00
页码10,448页
类型 📄 纸质书
核心评分8.6/10
读者对象
主题词计算机科学—纪念文集,软件工程—纪念文集
内容简介:本书共计论文22篇。书中共3章,第1章介绍了李未和学生在结构操作语义、开放逻辑和可满足性问题求解等软件基础理论方向的工作;第2章介绍了李未率先提出的海量信息系统的基本问题以及学生在非结构化数据处理、暗物质数据挖掘、机器学习等方向上的工作;第3章则包含了李未提出的互联网群体智能思想和慕课教育理念,以及在群体智能理论、计算教育学等相关方向上合作者和学生的延续工作。
登录后可荐购