“胡世华先生诞辰一百周年纪念会”和“2012逻辑、计算与信息...

关于2012年度北京市科学技术奖推荐工作的通知

关于组织参加第十四届中国专利奖评选的通知

2012年度国家科学技术进步奖推荐项目公示

CALL FOR PAPERS --- The 8th IEEE eScience conference 2012

CALL FOR PAPERS --- ASHES 2012

CALL FOR PAPERS --- HP-PAC 2012

CALL FOR PAPERS --- SEES 2012

[5-10]Commutative Data Automata

[4-20]Hard-Real-Time Scheduling on a Weakly Programmable ...

[4-20]Automotive Control Systems and Related Developments

[4-12]Information Visualization and Its Applications to A...

[3-8]Width-parameterized SAT: time-space tradeoffs

[1-13]先进列车运行控制技术的研究与发展

[1-11]Multiparty session types and Multiparty Session Aut...

[1-5]Dynamic Quality-aware Configuration and Optimization...