學術報告----中國科學院軟件研究所

<u id="saeeq"><wbr id="saeeq"></wbr></u>

<s id="saeeq"><div id="saeeq"></div></s>

<u id="saeeq"></u>

<u id="saeeq"><noscript id="saeeq"></noscript></u>

<s id="saeeq"></s>

中國科學院軟件研究所

學術報告

[2017-04-21][4-25]Formal methods and agile development: towards a happy marriage
[2017-04-18][4-21]A Brief Tutorial on the Prototype Verification System (PVS)
[2017-04-17][4-21]Tempo: From Data Streams to Graph Streams, from Searching to Mining
[2017-04-10][4-14]“軟件智能分析”學術沙龍第一次活動
[2017-04-06][4-11]基于數據的科學發現與普適計算
[2017-03-22][3-24]Fake News: the View from Natural Language Generation
[2017-03-13][3-16]Understanding and Detecting Wake Lock Misuses for Android Applications
[2017-02-16][2-17]體感交互：研究與進展
[2017-01-20][1-22]軟件所青年聯合會第47期活動--- Context Model for 3D Scene Understanding
[2017-01-09][2017-1-10]Towards Better Adequacy of Neural Machine Translation
[2016-12-21][12-22] 軟件所青年聯合會第46期活動----大數據應用之智能出行大數據
[2016-12-07][12-7]“高性能科學計算”前沿系列邀請報告3 -- Reliable Matrix Computations via Algorithm-Based Fau...
[2016-12-05][12-7]Design Automation for Cyber-Physical Systems: Challenges and Opportunities
[2016-11-28][11-29]Network, Popularity and Social Cohesion: A Game-Theoretic Approach
[2016-11-17][11-21]基于彩色眼底圖的多眼科疾病眼篩查技術
[2016-11-16][11-21]Adventures in Code Generation
[2016-11-15][11-18]Computer Assisted Mathematical Proofs: Successes and Limitations
[2016-10-27][10-31]Mining Input Grammars for Security
[2016-09-26][9-26]FDR3: current and recent developments in CSP model checking
[2016-09-09][9-14] Towards Engineering Green, Fast, and Reliable Mobile Applications
[2016-09-07][9-7]大規模精細化結構動力彈塑性仿真技術的進展和思考
[2016-09-05][9-7]軟件所青年聯合會第44期活動-－－商業智能數據挖掘
[2016-08-31][8-31]軟件所青年聯合會第43期活動－ People Analytics: Prospects and Opportunities
[2016-08-16][8-18]New Intel SSDCapabilities and Disk Forensics
[2016-08-16][8-18]Distinguishing MobileDevices Through General WiFi Monitoring

上5頁 «678 9 10 »下5頁

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

<u id="saeeq"><wbr id="saeeq"></wbr></u>

<s id="saeeq"><div id="saeeq"></div></s>

<u id="saeeq"></u>

<u id="saeeq"><noscript id="saeeq"></noscript></u>

<s id="saeeq"></s>

久久久综合香蕉尹人综合网