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

<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>

中國科學院軟件研究所

學術報告

[2014-11-25][11-27]Quantum Simulation: Challenges and Opportunities
[2014-11-18][11-25]Probabilistic Termination
[2014-11-19][11-20]Mobile Visualization of Hierarchical Structures
[2014-11-19][11-20]Fast Numerical Methods for Electronic Structure Calculations
[2014-11-18][11-20]面向網絡評論文本的觀點信息抽取
[2014-10-31][11-15]云服務集成中的安全問題，以及程序分析技術在這一領域的潛力
[2014-10-24]11月13日“軟件與網絡安全”科學與技術前沿論壇
[2014-11-03][11-6]Efficient Data Structures and Sorting Algorithms for Bisimulation
[2014-10-31][11-2]城市計算與大數據
[2014-10-31][11-2]大數據時代對建模仿真的挑戰與思考
[2014-10-24][10-28]Full Abstraction for a Probabilistic Functional Programming Language
[2014-10-08][10-9]對缺陷靜態檢測的一些思考和探索
[2014-10-08][10-9]硬件輔助的軟件可信性運行時檢測技術
[2014-09-22][9-28]Do We Need to Handle Every Temporal Violation in Scientific Workflow Systems?
[2014-09-22][9-28]如何寫高質量的英文論文
[2014-09-16][9-18]RT-Xen: Real-Time Virtualization for Embedded Systems
[2014-09-05][9-12]INTrEPID: A project on energy optimization in buildings
[2014-09-05][9-9]A Safety-Critical Java Technology Compatibility Kit
[2014-08-21][8-25]Querying Big Data: Theory and Practice
[2014-08-20][8-22]我國社會治安的狀況及應對措施
[2014-08-13][8-14]Formal Semantics in Modern Type Theories: Is It Model-theoretic, Proof-theoretic, or Both?
[2014-07-08][7-29]“軟件安全”的一些問題
[2014-07-18][7-24]Reusable tools for formal modeling of machine code
[2014-07-04][7-3]軟件所青聯第18期活動--網絡安全--Towards a Trustworthy Android Ecosystem
[2014-06-30][6-30]An Efficient Model Checking Algorithm of FG-LTL

上5頁 «1112 »

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>

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