搜索结果: 91-105 共查到“知识要闻 计算机软件”相关记录1068条 . 查询时间(4.186 秒)
![](http://www.firstlight.cn/upload/imgfile/20233/16/2023316102058684.png)
![](http://www.firstlight.cn/upload/imgfile/20238/20/2023820151226512.png)
中国科学院软件所在数据库系统的正确性保障方面取得进展(图)
数据库系统 自动化检测 软件工程
2023/8/20
2023年1月10日,软件所软件工程中心数据库系统可靠性保障团队的两篇论文被ICSE·2023接收。ICSE(International Conference on Software Engineering)是软件工程领域的顶级国际会议,迄今已经举办45届。研究成果聚焦数据库系统在SQL语句、事务执行方面的正确性,是该研究团队在数据库系统可靠性保障方向的新探索。
![](http://www.firstlight.cn/upload/imgfile/20244/3/202443144627454.png)
![](http://www.firstlight.cn/upload/imgfile/20233/5/202335114159407.jpg)
欢迎依托山东大学软件学院、山东大学-南洋理工大学人工智能国际联合研究院(C-FAIR)申报2023年度国家自然科学基金优秀青年科学基金项目(海外)
山东大学软件学院 山东大学 南洋理工大学 人工智能国际联合研究院 国家自然科学基金优秀青年科学基金项目 C-FAIR
2022/12/19
![](http://www.firstlight.cn/upload/imgfile/20233/5/202335114337459.jpg)
![](http://www.firstlight.cn/upload/imgfile/202311/30/20231130102850610.png)
![](http://www.firstlight.cn/upload/imgfile/20239/3/20239310322091.jpg)
江苏科技大学学子夺得第8届CCPC中国大学生程序设计竞赛铜奖(图)
CCPC 程序设计 铜奖
2023/9/3
![](http://www.firstlight.cn/upload/imgfile/202311/30/2023113010318149.png)
南方科技大学计算机科学与工程系本科生在2022鲲鹏应用创新大赛中获佳绩(图)
南科大计算机系 鲲鹏 数据库
2023/11/30
![](http://www.firstlight.cn/upload/imgfile/20233/5/20233513455529.jpg)
软协大讲堂第二十二期:“软件安全测评” 成功举办(图)
软协大讲堂 第二十二期 软件 安全测评
2023/3/5
![](http://www.firstlight.cn/upload/imgfile/202311/30/2023113010334679.png)
南方科技大学计算机科学与工程系本科生获“火焰杯”软件测试高校就业选拔赛一等奖(图)
火焰杯 软件测试 选拔赛
2023/11/30
![](http://www.firstlight.cn/upload/imgfile/202212/19/20221219163748350.png)
2022年度“可达鸭编程杯”山东大学程序设计精英挑战赛-暨首届济南市大中小学程序设计精英挑战赛成功举办(图)
可达鸭编程杯 山东大学 程序设计精英挑战赛 济南市大中小学程序设计精英挑战赛 程序设计
2022/12/19
![](http://www.firstlight.cn/upload/imgfile/20231/7/202317153912383.jpg)