乐9购彩票-首页

中國科學院乐9购彩票

軟件所“開源軟件供應鏈重大基礎設施建設”啓動會暨實施方...

软件所等提出国际首个完全实用的异步共识算法“小飞象” ...

中國科學院副院长、党组副书记阴和俊调研软件所

軟件所舉行新一屆領導班子宣布會議

開源軟件供應鏈2020峰會成功舉行

吴志林研究员获2020年“CCF-IEEE CS青年科学家奖”

科研進展

2021-04-09“超大規模可擴展大氣動力學全隱式並行模擬及示範應用”項目啓動
2021-04-07【科学网】打造开源软件基础设施为国产软件“定魂筑根”
2021-04-01軟件所“開源軟件供應鏈重大基礎設施建設”啓動會暨實施方案...
2021-04-02軟件所召開黨員代表大會圓滿完成換屆選舉工作
2021-04-01蘇璞睿團隊獲“縱橫杯”網絡安全競賽RHG智能漏洞挖掘大賽冠軍
2021-03-29軟件所舉行2020年度工作總結考核交流會

2021-03-302020年中國軟件行業收入、企業數量及未來前景分析
2021-03-30互聯網醫療，讓看病更輕松
2021-03-30打破“数据孤岛“ 智能交通基础设施有了新样板
2021-02-24未来三年工业互联网将如何发展
2021-02-24工業互聯網創新發展走深向實
2021-02-24中國計算機惡意程序監測概況分析

2019-07-15國家自然科學基金委員會關于發布“十三五”第四批重大項目指...
2019-05-09關于2019年度北京市自然科學基金重點研究專題項目申報的通知
2019-01-02國家自然科學基金委員會2019年項目指南
2018-11-06科技部關于發布國家重點研發計劃“變革性技術關鍵科學問題”...
2018-11-06科技部關于發布科技創新2030—“新一代人工智能”重大項目201...
2018-10-24關于2018年度北京市自然科學基金對外合作交流活動基金項目申...

2021-01-20[01-22] 軟件定義卫星与天智工程
2020-12-15[2021-01-08] 基于定理证明的分离逻辑验证工具
2020-12-08[12-09] A Dynamical Aspect of D-finite Power Series
2020-12-08[12-09] 单带图灵机的时空转换（Time Versus Space on Single...
2020-11-26[11-26] 彻底解决针对操作系统的超越授权攻击
2020-11-24[12-02] Verified Separate Compilation of C Programs into ...

2021-01-28第一屆RISC-V技術及生態研討會征文通知
2019-04-242019年度中國科學院乐9购彩票学术年会征稿通知
2019-03-252019軟件定義卫星高峰论坛征文通知
2018-03-222018年度中國科學院乐9购彩票学术年会征稿通知
2018-03-22【8-14】[CFP] 2018年全国知识图谱与语义计算大会（CCKS 2018）
2018-03-22【10-19】第十七届全国计算语言学學術會議（CCL 2018）及第六...

2018-04-25关于在学术論文署名中常见问题或错误的诚信提醒
2017-02-27關于學習北京大學等七家單位落實《若幹意見》的實踐案例的通知
2020-12-152020年市場監管科研成果獎推薦項目公示
2020-10-292020年北京市科學技術獎擬提名項目公示
2020-10-222020年北京市科學技術獎擬提名項目公示
2020-06-30首屆“開源軟件供應鏈點亮計劃-暑期2020”中選名單公布
2020-06-20中國科學院乐9购彩票声明
2020-04-26開源軟件供應鏈點亮計劃-暑期2020通知
2020-01-17關于“清源鏈醫療廢棄物處置溯源系統V1.0”和“基于區塊鏈的...
2020-01-062020年國家技術發明獎提名項目公示

快速通道

專題專欄

Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版权所有 © 中國科學院乐9购彩票　京ICP備05046678號-1　文保網安備1101080077
電話：86-10-62661012　傳真：86-10-62562533　電子郵箱：info@iscas.ac.cn

友情链接：842彩票-首页吉林快3-首页海鸥彩票-首页 209彩票-首页乐和彩-首页