欧冠滚球app
网站地图
联系我们
所长信箱
English
中国科学院
网站地图
联系我们
所长信箱
English
中国科学院
MENU
Toggle navigation
首 页
研究所概况
本所简介
现任领导
历任领导
学术委员会
学位委员会
组织机构
院士名人
历史沿革
院所风貌
联系我们
机构设置
科研部门
管理部门
支撑部门
科研创新
学科方向
科研成果
获奖
专利
软件著作权
论文
专著
规章制度
成果转化
参股企业
院地合作
国际合作
人才队伍
院士专家
研究员(正高级工程师)
副研究员(高级工程师)
人才招聘
研究生教育
招生信息
导师信息
培养管理
学位管理
就业指导
优秀毕业生
博士后流动站
下载区
党群文化
党委
纪委
工会
党建工作
纪监审工作
廉洁文化
青年工作
文化活动
健康之友
离退休生活
形象标识
科学传播
科普动态
科普文章
视频图片
科普场馆
学术期刊
期刊
信息公开
信息公开规定
信息公开指南
信息公开目录
依申请公开
信息公开年度报告
信息公开联系方式
首页
>
新闻动态
>
科研进展
科研进展
[2019-03-22]
软件定义
[2019-05-05]
智能软件
[2021-09-15]
学术年会
[2021-08-10]
isQ量子程序设计与验证平台
[2023-01-19]
国家重点研发计划“激光材料及器件在线测试与自动化设计技术”项目启动暨实施方案论证会在北京召开
[2023-01-10]
欧冠滚球app在数据库系统的正确性保障方面取得进展
[2022-12-20]
“群智杯”国际集群智能算法挑战赛启动仪式成功举行
[2022-12-05]
欧冠滚球app顺利完成中老重大虫媒传染病智能化监测预警平台现场部署
[2022-11-21]
首个人机交互情感计算国际标准正式发布
[2022-11-14]
欧冠滚球app提出处理器缓存数据预取新方法
[2022-11-02]
欧冠滚球app成功举办第20届自动验证与分析技术国际会议(ATVA 2022)
[2022-10-06]
欧冠滚球app智能软件研究中心员工吴伟当选LLVM基金会理事会
[2022-09-20]
欧冠滚球app量子计算编程软件isQ正式开源
[2022-09-19]
欧冠滚球app赴老挝部署中老重大虫媒传染病智能化监测预警平台
[2022-09-02]
喜报:李勇博士学位论文入选2022年度中国科学院优秀博士学位论文
[2022-08-31]
从SAT到SMT——逻辑约束求解研究获新突破
[2022-08-30]
欧冠滚球app博士后Alexander Bentkamp获奖
[2022-08-24]
欧冠滚球app博士生斩获全国高校密码数学挑战赛总决赛一等奖
[2022-08-03]
“健康丝绸之路”建设暨澜湄合作疟疾和登革热联防联控调研会在普洱召开
[2022-07-30]
欧冠滚球app天智超算系统型谱验证样机搭载力箭一号升空
[2022-07-18]
欧冠滚球app提出自动驾驶系统仿真测试方法
[2022-07-18]
欧冠滚球app在图数据库系统测试方面取得进展
[2022-07-18]
欧冠滚球app在开源智能家居系统设备集成缺陷研究方面取得进展
[2022-07-07]
欧冠滚球app提出测试用例冗余检测新方法
[2022-07-07]
欧冠滚球app在代码注释数据治理方面取得研究进展
1
2
3
4
5
»
下5页
Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版权所有 © 欧冠滚球app 京ICP备05046678号-1 文保网安备1101080077
电话:86-10-62661012 传真:86-10-62562533 电子邮箱:info@iscas.ac.cn
欧冠滚球app(发展)有限公司