- Jean-Francois Monin:可信计算论坛:Formal Verification of Imperative Programs: the North F...
- Sparse interpolation in the presence of noise and outlier errors
- 以诚为本赢在信誉9001cc2012年可信计算论坛
- Stability Criteria for Large Complex Systems with Time Delays and Asymm
- 以诚为本赢在信誉9001cc2012年校庆学术报告(软件学院)
- Using SOA and Cloud in a research project on Cutaneous T-Cell Lymphoma
- 学术报告
- 学术报告公告
- 以诚为本赢在信誉9001cc2012年可信计算论坛
- 以诚为本赢在信誉9001cc2012年可信计算论坛
- 2012可验证软件研讨会暨暑期学校
- "POWER上运行Linux”的IBM蓝色加油站系列技术讲座
- Ontology-driven Data Integration: The PhysioMIMI Project
- 计算机之父—阿兰•图灵的传奇人生