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