yabo手机版登录
网站地图
联系我们
所长信箱
English
中国科学院
网站地图
联系我们
所长信箱
English
中国科学院
MENU
Toggle navigation
首 页
研究所概况
本所简介
现任领导
历任领导
学术委员会
学位委员会
组织机构
院士名人
历史沿革
院所风貌
联系我们
机构设置
科研部门
管理部门
支撑部门
科研创新
学科方向
科研成果
获奖
专利
软件著作权
论文
专著
规章制度
成果转化
参股企业
院地合作
国际合作
人才队伍
院士专家
研究员(正高级工程师)
副研究员(高级工程师)
人才招聘
研究生教育
招生信息
导师信息
培养管理
学位管理
就业指导
优秀毕业生
博士后流动站
下载区
党群文化
党委
纪委
工会
党建工作
纪监审工作
青年工作
文化活动
健康之友
离退休生活
规章制度
形象标识
科学传播
科普动态
科普文章
科普场馆
科普站点
科学图片
学术期刊
期刊
信息公开
信息公开规定
信息公开指南
信息公开目录
依申请公开
信息公开年度报告
信息公开联系方式
yabo手机版登录成果获2021年度CCF科学技术奖自然科学一等奖
2021年世界互联网大会“开源生态论坛”在乌镇成功举办 ...
可持续发展大数据国际研究中心成立 yabo手机版登录参与研制的“可...
yabo手机版登录“开源软件供应链重大基础设施建设”启动会暨实施方...
yabo手机版登录等提出国际首个完全实用的异步共识算法“小飞象” ...
中国科学院副院长、党组副书记阴和俊调研yabo手机版登录
科研进展
软件定义'>
软件定义
智能软件'>
智能软件
学术年会
isQ量子程序设计与验证平台
“健康丝绸之路”建设暨澜湄合作疟疾和登革热联防联控调研会...
yabo手机版登录天智超算系统型谱验证样机搭载力箭一号升空
yabo手机版登录提出自动驾驶系统仿真测试方法
yabo手机版登录在图数据库系统测试方面取得进展
yabo手机版登录在开源智能家居系统设备集成缺陷研究方面取得进展
yabo手机版登录提出测试用例冗余检测新方法
新闻动态
科技动态
传媒扫描
2022-08-01
yabo手机版登录召开党委中心组学习会 深入学习中科院人才会议精神和...
2022-07-28
胡忠雄会见yabo手机版登录所长赵琛
2022-07-01
yabo手机版登录举行2022届研究生毕业典礼
2022-06-28
yabo手机版登录举行庆祝中国共产党成立101周年大会
2022-06-02
yabo手机版登录召开第九届二次工会会员代表大会
2022-06-02
yabo手机版登录召开2022年度工作会议暨第九届第二次职工代表大会
更多 +
2022-07-29
软件再定义手机
2022-07-29
世界互联网大会成立
2022-07-29
基础科学国际年强调促进可持续发展
2022-06-30
促进数字技术与制造业深度融合
2022-06-30
助力量子计算技术进一步发展
2022-06-30
中国这十年·系列主题新闻发布|科技事业发生历史性、整体性...
更多 +
2022-02-24
【中国科学报】为“软件”起名字的人
2022-02-21
【中国科学报】屡破纪录的“冰丝带”藏着一个“超级大脑”
2022-02-17
【新华社】全新量子计算软件发布 国产量子计算软硬件结合迈出...
2022-01-12
【科技日报】跟随总书记脚步看冬奥场馆科技含量
2022-01-06
【新华社】“超级大脑”上线——国家速滑馆“冰丝带”建成智...
2022-01-06
【中国科学报】开源:发展迅猛 势不可挡
更多 +
学术报告
学术会议
CALL FOR PAPER
2022-06-29
[07-01] Algorithmic Foundation of Blockchain: the Case of...
2022-06-29
[07-01] Local Search for SMT on Linear Integer Arithmetic
2022-05-25
[05-27] 数值程序分析、验证与修复
2022-04-27
[04-28] 区块链发展形势与区块链服务网络(BSN)创新实践
2022-04-11
[04-27] 片上系统的模块化规范与形式化验证
2022-04-02
[04-08] Superposition for Higher-Order Logic
更多 +
2022-06-06
【7-1】2022年度yabo手机版登录学术年会征稿通知
2022-01-28
第二届RISC-V技术及生态研讨会征文通知
2021-01-28
第一届RISC-V技术及生态研讨会征文通知
2020-09-24
【11-4】开源软件供应链2020峰会
2020-04-26
开源软件供应链点亮计划-暑期2020通知
2020-04-26
天智星云杯第三届软件定义卫星创新大赛
更多 +
2022-06-06
【7-1】2022年度yabo手机版登录学术年会征稿通知
2021-06-10
【7-12】yabo手机版登录2021年度学术年会征稿通知
2021-05-25
yabo手机版登录“软件定义未来”亲子科普文章征稿
2021-01-28
第一届RISC-V技术及生态研讨会征文通知
2019-04-24
2019年度yabo手机版登录学术年会征稿通知
2019-03-25
2019软件定义卫星高峰论坛征文通知
更多 +
通知公告
人才招聘
招生信息
内部公告
2022-05-26
关于在科技奖励推荐过程中常见问题的诚信提醒
2022-02-17
关于规范学术论著署名问题的负面行为清单
2017-02-27
关于学习北京大学等七家单位落实《若干意见》的实践案例的通知
2022-07-19
关于刘力铭就业推荐表遗失的公示
2022-06-06
关于《信息安全技术数据安全能力成熟度模型》项目申报2022年...
2022-05-16
参与申报2021年度北京市科学技术奖(科学技术进步奖)提名项...
2022-05-06
参与申报2021年度北京市科学技术奖(科学技术进步奖)提名项...
2022-05-05
2022年度云南省科学技术进步奖拟提名项目公示
2022-03-08
2022年度云南省卫生科技成果奖拟提名项目公示
2022-02-25
yabo手机版登录青年公寓2号楼12套老旧公寓装修设计比选招标文件
更多 +
2019-06-18
yabo手机版登录诚聘海内外杰出人才
2022-02-14
海外优青!yabo手机版登录诚邀您的加入!
2019-06-18
yabo手机版登录所级优秀人才项目及岗位招聘启事
2019-08-30
yabo手机版登录特别研究助理招聘启事
2021-09-23
yabo手机版登录2022年度校园招聘启事
2022-08-10
yabo手机版登录软件工程技术研究开发中心招聘启事
2022-08-10
yabo手机版登录可信计算与信息保障实验室招聘启事
2022-08-09
yabo手机版登录计算机科学国家重点实验室招聘启事
2022-08-09
yabo手机版登录可信计算与信息保障实验室招聘启事
2022-08-08
yabo手机版登录可信计算与信息保障实验室招聘启事
更多 +
2016-08-20
2022招生简章及招生目录
2015-03-13
yabo手机版登录乘车路线和附近宾馆
2022-08-02
yabo手机版登录2023年接收推免生预报名公告
2022-07-29
2022年“软件与网络”优秀营员名单
2022-07-15
2022年“软件与网络”夏令营营员名单
2022-05-30
yabo手机版登录2022年全国大学生“软件与网络”夏令营...
2022-05-22
yabo手机版登录2022年秋季普通招考博士生、硕博连读研究生拟录取名单公示
2022-04-28
2022年yabo手机版登录硕士招生拟录取考生名单公示(补录/代招)
2022-04-28
2022年yabo手机版登录硕士招生复试名单(补录/代招)
2022-04-09
2022年yabo手机版登录硕士招生拟录取统考生名单公示
更多 +
更多 +
快速通道
专题专栏
Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版权所有 © yabo手机版登录 京ICP备05046678号-1 文保网安备1101080077
电话:86-10-62661012 传真:86-10-62562533 电子邮箱:info@iscas.ac.cn
yabo手机版登录(西昌)有限公司