中国·新葡萄(8883·AMG)官方网站-Macau Store

公共目录

您目前的位置：新葡萄8883官网AMG» 公共目录» 学术活动

学术活动

[2012-05-28]Petri网及其在计算机网络分析中的应用
[2012-05-28]接入网源地址验证SAVI协议的形式化验证和测试
[2012-05-22]降低漏电功耗的SRAM型FPGA布线方法
[2012-05-22]Machinery Diagnostics and Health Ev...
[2012-05-07]学术报告:增强现实3D互动前沿技术
[2012-03-07]学术报告:软件的危机与对策
[2012-03-04]学术报告：开关电源中的电解电容器剩余寿命和早期失效分析...
[2011-12-29]学术报告_美国伊利诺伊斯大学香槟分校鲁继文博士（计算机视觉、图像处理、...
[2011-12-12]学术报告：一种网络可达性算法分析
[2011-11-14]学术报告：“CNGI-CERNET2与下一代互联网研究与建设进展”.....
[2011-10-31]高阶逻辑中离散马可夫链的形式化
[2011-10-19]学术报告：Machinery Diagnostics and Heal...
[2011-09-16]形式化方法学术报告
[2010-11-14]学校召开校学术委员会成立大会