| 热线开通啦~ |
| 发表时间:2024年07月05日 |
| |
| 交通银行陕西省分行行长陈海春一行来校交流座谈 |
| 发表时间:2024年07月05日 |
| |
| 他们，上岸了 |
| 发表时间:2024年07月04日 |
| |
| 我校获批2项全省高校统战理论研究与实践项目 |
| 发表时间:2024年07月04日 |
| |
| 河南理工大学来校调研交流工作 |
| 发表时间:2024年07月04日 |
| |
| 【党风与廉政】推动群众身边不正之风和腐败问题集中整治在学校扎实开展 |
| 发表时间:2024年07月04日 |
| |
| 陕西省煤矿安全管理人员素质提升培训班在我校举办 |
| 发表时间:2024年07月03日 |
| |
| 我校学子在第六届“丝路朗诵大赛”全国半决赛暨陕西省决赛中喜获佳绩 |
| 发表时间:2024年07月03日 |
| |
| 收获满满，西科有料！ |
| 发表时间:2024年07月03日 |
| |
| 12支队伍，飒！ |
| 发表时间:2024年07月02日 |
| |
| 校领导带队赴西安西瑞控制技术有限公司访企拓岗 |
| 发表时间:2024年07月02日 |
| |
| 校领导带队赴浙江宇视科技有限公司开展“校企融合谋发展 培育新质生产力... |
| 发表时间:2024年07月02日 |
| |
| 【学术报告预告】基于交互式定理证明的程序验证研究 |
| 报告专家：曹钦翔 报告时间：2024年7月2日19：00 报告地点：腾讯会议：621-170-081 专家简介：本科毕业于北京大学，博士毕业于美国普林斯顿大学，2018年回国任教，获上海浦江人才计划资助，现为上海交通大学约翰霍普克洛夫特计算机科学中心副教授，博士生导师。长期从事基于交互式定理证明的程序验证工具开发，并研究有关程序逻辑特别是分离逻辑的理论问题，其研究成果发表于POPL、OOPSLA |
| 发表时间:2024年07月02日 |
| |
| 校长邓军讲授党纪学习教育专题党课 |
| 发表时间:2024年07月01日 |
| |
| 西安科技大学召开警示教育会议 |
| 发表时间:2024年07月01日 |
| |
| 共有 15,770 条 首页 上一页 下一页 尾页 共有 1,052 页 当前第 143 页 |
版权所有 西安科技大学 地址：西安市雁塔路58号 电话：029-85583114 邮编：710054 陕ICP备10002064号 
陕公网安备 61010302000682号
您是第 位访客
