- 学术报告公告
- 尊龙凯吋官方网站2012年可信计算论坛
- 尊龙凯吋官方网站2012年可信计算论坛
- 2012可验证软件研讨会暨暑期学校
- "POWER上运行Linux”的IBM蓝色加油站系列技术讲座
- Ontology-driven Data Integration: The PhysioMIMI Project
- 计算机之父—阿兰•图灵的传奇人生
- 网络技术的发展与挑战
- Digital Archeology of Software
- 物联网/CPS技术与产业发展战略
- he uses of phylogenetic networks in developmental systems biology
- 60周年校庆报告暨可信计算论坛:蛋白质相互作用网络检测的新算法
- Probable World: Taming Data Uncertainty
- Controller automata, a Model for Real-Time Systems with Mutex Componet