搜索结果: 16-30 共查到“计算机软件”相关记录15543条 . 查询时间(2.025 秒)
广东白云学院大数据与计算机学院朱婷婷副教授
广东白云学院大数据与计算机学院 朱婷婷 副教授 软件工程
2024/5/10
朱婷婷，1987年1月出生，女，副教授。2013年~2020年在广州某科技公司任算法部副经理，2020年12月入职广东白云学院任专业教师，2021年11月起担任大数据与计算机学院数据工程系主任。
广东白云学院大数据与计算机学院徐宝林高级工程师
广东白云学院大数据与计算机学院 徐宝林 高级工程师 计算机软件
2024/5/10
徐宝林，大数据与计算机学院副院长，软件工程专业负责人，高级工程师。
广东白云学院大数据与计算机学院博士生导师张大斌教授
广东白云学院大数据与计算机学院 博士生导师 教授 计算机软件
2024/5/10
张大斌，大数据与计算机学院院长（学术）。1969年7月出生，男，湖北潜江人，教授，博士生导师，民盟成员。
中国科学院软件所在形式化方法领域多个方向取得进展（图）
量子软件 系统 理论
2024/6/28
2024年4月17日，中国科学院软件研究所基础软件与系统重点实验室（计算机科学国家重点实验室）蔡少伟研究员、量子软件、薛白研究员三个研究团队的论文均作为“Regular Papers”被形式化验证领域国际旗舰会议Computer Aided Verification(CAV 2024)录用，研究成果涉及可满足性模理论分布式求解、量子系统定量模型检测、控制系统高精度可达集下近似的高效计算等方面的工作...
自东南大学信息学院移动通信全国重点实验室、紫金山实验室王承祥教授团队自主研发的东南大学-紫金山实验室-6G普适信道仿真器(SEU-PML-6GPCS)软件v1.0发布后，获得了用户的广泛支持与积极反馈。结合6G普适信道仿真器软件研发进度与用户反馈意见，我们再次重磅推出SEU-PML-6GPCS软件v2.0，致力于为广大科研工作者及产业界提供更加普适、功能更加强大且用户界面友好的无线信道仿真工具，支...
