bob博鱼体育
网站地图
联系我们
所长信箱
English
bob博鱼体育
网站地图
联系我们
所长信箱
English
bob博鱼体育
MENU
Toggle navigation
首 页
研究所概况
本所简介
现任领导
历任领导
学术委员会
学位委员会
组织机构
院士名人
历史沿革
院所风貌
联系我们
机构设置
科研部门
管理部门
支撑部门
科研创新
学科方向
科研成果
获奖
专利
软件著作权
论文
专著
规章制度
成果转化
参股企业
院地合作
国际合作
人才队伍
院士专家
研究员(正高级工程师)
副研究员(高级工程师)
人才招聘
研究生教育
招生信息
导师信息
培养管理
学位管理
就业指导
优秀毕业生
博士后流动站
下载区
党群文化
党委
纪委
工会
党建工作
纪监审工作
青年工作
文化活动
健康之友
离退休生活
规章制度
形象标识
科学传播
科普动态
科普文章
科普场馆
科普站点
科学图片
学术期刊
期刊
信息公开
信息公开规定
信息公开指南
信息公开目录
依申请公开
信息公开年度报告
信息公开联系方式
bob博鱼体育成果获2021年度CCF科学技术奖自然科学一等奖
2021年世界互联网大会“开源生态论坛”在乌镇成功举办 ...
可持续发展大数据国际研究中心成立 bob博鱼体育参与研制的“可...
bob博鱼体育“开源软件供应链重大基础设施建设”启动会暨实施方...
bob博鱼体育等提出国际首个完全实用的异步共识算法“小飞象” ...
bob博鱼体育副院长、党组副书记阴和俊调研bob博鱼体育
科研进展
软件定义'>
软件定义
智能软件'>
智能软件
学术年会
isQ量子程序设计与验证平台
bob博鱼体育互联网软件技术实验室博士生刘哲再次斩获ACM学生研究竞...
bob博鱼体育提出代码审查意见自动生成新方法
bob博鱼体育开源项目RepChain荣获“Gitee最有价值开源项目”
开源软件供应链重大基础设施在开源生态“投毒”检测中获进展
bob博鱼体育博士后李日灵获得高性能与并行计算领域顶级期刊最佳论文奖
bob博鱼体育在内嵌脚本解释器的漏洞自动化挖掘研究中取得进展
新闻动态
科技动态
传媒扫描
2022-07-01
bob博鱼体育举行2022届研究生毕业典礼
2022-06-28
bob博鱼体育举行庆祝中国共产党成立101周年大会
2022-06-02
bob博鱼体育召开第九届二次工会会员代表大会
2022-06-02
bob博鱼体育召开2022年度工作会议暨第九届第二次职工代表大会
2022-04-27
bob博鱼体育发布“澜湄次区域虫媒传染病联防联控平台”2.0版
2022-04-14
bob博鱼体育召开党委理论学习中心组学习会
更多 +
2022-06-30
促进数字技术与制造业深度融合
2022-06-30
助力量子计算技术进一步发展
2022-06-30
中国这十年·系列主题新闻发布|科技事业发生历史性、整体性...
2022-05-31
在实施数字经济战略上抢新机——二〇二二中国国际大数据产业...
2022-05-31
L3级自动驾驶近了,4D毫米波雷达火了
2022-05-05
百公里!我国创造世界量子直接通信最远纪录
更多 +
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年度bob博鱼体育学术年会征稿通知
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年度bob博鱼体育学术年会征稿通知
2021-06-10
【7-12】bob博鱼体育2021年度学术年会征稿通知
2021-05-25
bob博鱼体育“软件定义未来”亲子科普文章征稿
2021-01-28
第一届RISC-V技术及生态研讨会征文通知
2019-04-24
2019年度bob博鱼体育学术年会征稿通知
2019-03-25
2019软件定义卫星高峰论坛征文通知
更多 +
通知公告
人才招聘
招生信息
内部公告
2022-05-26
关于在科技奖励推荐过程中常见问题的诚信提醒
2022-02-17
关于规范学术论著署名问题的负面行为清单
2017-02-27
关于学习北京大学等七家单位落实《若干意见》的实践案例的通知
2022-06-06
关于《信息安全技术数据安全能力成熟度模型》项目申报2022年...
2022-05-16
参与申报2021年度北京市科学技术奖(科学技术进步奖)提名项...
2022-05-06
参与申报2021年度北京市科学技术奖(科学技术进步奖)提名项...
2022-05-05
2022年度云南省科学技术进步奖拟提名项目公示
2022-03-08
2022年度云南省卫生科技成果奖拟提名项目公示
2022-02-25
bob博鱼体育青年公寓2号楼12套老旧公寓装修设计比选招标文件
2022-02-23
关于在公众媒体上发布学术成果常见问题或错误的诚信提醒
更多 +
2019-06-18
bob博鱼体育诚聘海内外杰出人才
2022-02-14
海外优青!bob博鱼体育诚邀您的加入!
2019-06-18
bob博鱼体育所级优秀人才项目及岗位招聘启事
2019-08-30
中科院bob博鱼体育特别研究助理招聘启事
2021-09-23
bob博鱼体育2022年度校园招聘启事
2022-06-27
中科院bob博鱼体育并行软件与计算科学实验室招聘启事
2022-06-22
中科院bob博鱼体育计算机科学国家重点实验室招聘启事
2022-06-17
中科院bob博鱼体育计算机科学国家重点实验室招聘启事
2022-06-15
中科院bob博鱼体育协同创新中心招聘启事
2022-06-14
中科院bob博鱼体育管理岗位招聘启事
更多 +
2016-08-20
2022招生简章及招生目录
2015-03-13
bob博鱼体育乘车路线和附近宾馆
2022-05-30
bob博鱼体育2022年全国大学生“软件与网络”夏令营...
2022-05-22
bob博鱼体育2022年秋季普通招考博士生、硕博连读研究生拟录取名单公示
2022-04-28
2022年bob博鱼体育硕士招生拟录取考生名单公示(补录/代招)
2022-04-28
2022年bob博鱼体育硕士招生复试名单(补录/代招)
2022-04-09
2022年bob博鱼体育硕士招生拟录取统考生名单公示
2022-03-25
bob博鱼体育2022年硕士研究生招生复试分数线及复试规程
2022-03-25
bob博鱼体育2022年硕士研究生招生复试考生名单
2022-03-21
bob博鱼体育2022年普通招考博士研究生综合考核规程
更多 +
更多 +
快速通道
专题专栏
Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版权所有 © bob博鱼体育 京ICP备05046678号-1 文保网安备1101080077
电话:86-10-62661012 传真:86-10-62562533 电子邮箱:info@iscas.ac.cn
bob博鱼体育(中国)有限公司官网登录