- 学术报告公告
- 12月18日 张师超:williamhill官方网站2012年可信计算论坛系列报告:直亲最近邻点及其填充模型
- Dines Bjørner院士:可信计算论坛:A Role for Mereology in Domain Science and Engineeri...
- Jean-Francois Monin:可信计算论坛:Formal Verification of Imperative Programs: the North F...
- Sparse interpolation in the presence of noise and outlier errors
- williamhill官方网站2012年可信计算论坛
- Stability Criteria for Large Complex Systems with Time Delays and Asymm
- williamhill官方网站2012年校庆学术报告(软件学院)
- Using SOA and Cloud in a research project on Cutaneous T-Cell Lymphoma
- 学术报告
- 学术报告公告
- williamhill官方网站2012年可信计算论坛
- williamhill官方网站2012年可信计算论坛
- 2012可验证软件研讨会暨暑期学校