-
华东师范大学2012年可信计算论坛系列报告2012-12-18
-
学术报告公告2012-12-18
-
12月18日 张师超:华东师范大学2012年可信计算论坛系列报告:直亲最近邻点及其填充模型2012-12-17
-
Jean-Francois Monin:可信计算论坛:Formal Verification of Imperative Programs: the North Face2012-12-04
-
Dines Bjørner院士:可信计算论坛:A Role for Mereology in Domain Science and Engineering2012-12-04
-
Sparse interpolation in the presence of noise and outlier errors2012-11-01
-
华东师范大学2012年可信计算论坛2012-11-01
-
Stability Criteria for Large Complex Systems with Time Delays and Asymm2012-10-08
-
华东师范大学2012年校庆学术报告(软件学院)2012-10-08
-
Using SOA and Cloud in a research project on Cutaneous T-Cell Lymphoma2012-10-08
-
学术报告2012-09-20
-
学术报告公告2012-09-05
-
华东师范大学2012年可信计算论坛2012-06-18
-
华东师范大学2012年可信计算论坛2012-06-04