• 网站地图
  • 联系我们
  • 所长信箱
  • English
  • 中国科学院
  • 首页
  • 研究所概况
  • 新闻动态
  • 科技创新
  • 人才队伍
  • 合作交流
  • 研究生教育
  • 党群文化
  • 支撑服务
  • 科学传播
研究所概况

本所简介

现任领导

学术委员会

组织机构

历史沿革

所长致辞

历任领导

学位委员会

院士名人

院所风貌

科研部门

计算机科学国家重点实验室

信息安全国家重点实验室

综合信息系统技术国家级重点实验室

基础软件国家工程研究中心

信息安全共性技术国家工程研究中心

卫星导航应用国家工程中心分中心

并行软件与计算科学实验室

软件工程技术研究开发中心

人机交互技术与智能信息处理实验室

互联网软件技术实验室

无锡分部

重庆分部

哈尔滨分部

广州分部

青岛分部

点击了解更多
快捷通道
点击了解更多
热点新闻

软件领域战略合作研讨会在京召开

05-02

哈尔滨市副市长张显友一行调研软件所

04-28

日本NTT Data公司来软件所交流访问

04-28

唐山市副市长吴海英一行访问软件所

04-24

科技动态

“胡世华先生诞辰一百周年纪念会”和“2012逻辑、计算与信息...

关于2012年度北京市科学技术奖推荐工作的通知

关于组织参加第十四届中国专利奖评选的通知

2012年度国家科学技术进步奖推荐项目公示

CALL FOR PAPERS --- The 8th IEEE eScience conference 2012

CALL FOR PAPERS --- ASHES 2012

CALL FOR PAPERS --- HP-PAC 2012

CALL FOR PAPERS --- SEES 2012

2012-04-18

2012-03-05

2012-02-10

2012-02-06

2011-12-16

2011-12-16

2011-12-16

2011-12-15

学术报告

[5-10]Commutative Data Automata

[4-20]Hard-Real-Time Scheduling on a Weakly Programmable ...

[4-20]Automotive Control Systems and Related Developments

[4-12]Information Visualization and Its Applications to A...

[3-8]Width-parameterized SAT: time-space tradeoffs

[1-13]先进列车运行控制技术的研究与发展

[1-11]Multiparty session types and Multiparty Session Aut...

[1-5]Dynamic Quality-aware Configuration and Optimization...

2012-04-19

2012-04-19

2012-04-19

2012-04-06

2012-02-28

2012-01-10

2012-01-10

2012-01-04

通知公告


专题专栏

版权所有:中国科学院软件研究所京ICP备05046678号 文保网安备1101080077