收藏本站
基础软件与系统重点实验室
菜单 搜索
下载中心
会议室预定
电子邮箱
  • 首页
  • 实验室概况
    • 实验室介绍
    • 组织管理
    • 学术委员会
  • 科学研究
    • 研究方向
    • 科研进展
    • 科研成果
    • 学术论文
  • 党建工作
    • 办事指南
    • 反腐倡廉
      • 党纪党规
      • 警示教育
    • 媒体转载
    • 支部活动
    • 科研攻坚
  • 人才队伍
    • 院士专家
    • 研究员/正高级工程师
    • 副研究员/高级工程师
  • 研究室简介
    • 约束求解研究室
    • 基础软件验证研究室
    • 基础软件测试与分析研究室
    • 可信智能系统研究室
    • 操作系统研究室
    • 量子软件研究室
    • 空间感知系统研究室
    • 前瞻研究室
  • 联系我们
唐稚松
now163
当前位置: 首页  "now163" 的文章
  • 中国共产党纪律处分条例(2024年)——分则2024-08-27
  • 中国共产党纪律处分条例(2024年)——总则2024-08-27
  • 中国科学院传达2024年夏季党组扩大会议精神2024-08-27
  • 【悼念周光召】历史的启迪和重大科学发现产生的条件2024-08-19
  • 扎实推进重大科技任务实施2024-08-15
  • 中共中国科学院党组:勇担科技强国建设使命重任2024-08-15
  • 中国科学院党组召开2024年夏季扩大会议2024-08-01
  • 软件所举办创新文化论坛报告会—百年未有之大变局与建设现代化强国的优势和底气2024-07-31
  • 中共中央印发《中国共产党巡视工作条例》2024-07-31
  • 拒绝学术评议中的“跨界”“挂名”“一言堂”行为!中国科学院发布8条诚信提醒2024-07-31
  • 软件所分布式SMT求解器研究工作获CAV杰出论文奖(中国首次)2024-07-29
  • 中国科学院软件研究所基础软件与系统重点实验室招聘启事2024-05-09
  • 中国科学院软件研究所基础软件与系统重点实验室2024年优秀人才招聘启事2024-01-25
  • AIA:AI辅助算法设计的若干尝试2023-12-22
  • 知识图谱的关键技术2023-12-20
|<<45678910...>>|
  • 人才队伍

    • 院士专家
    • 研究员/正高级工程师
    • 副研究员/高级工程师

中华人民共和国科学技术部          国家自然科学基金委员会          中国科学院         北京分院         软件研究所         软件所图书馆    

Copyright © 2019-2024 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1