• 密钥封装机制的抗量子安全性设计理论2019-07-17
• 学习数据和概率分布的等价性及其应用2019-07-17
• 大规模Partial MaxSAT问题的高效求解2019-07-17
• 笔式人机交互关键技术及应用2019-07-17
• 主持我国SM2和SM9数字签名算法写入ISO/IEC 14888-3标准正文正式发布2019-07-17
• 计算机科学基础理论与形式化方法2019-07-15
• 软件系统原理及开发方法2019-07-15
• 图形图像与人机交互2019-07-15
• 并行与分布计算及可信计算2019-07-15
• 计算机科学国家重点实验室计算资源管理条例（试行）2019-07-15
• Journal 20162019-07-14
• Journal 20152019-07-14
• Journal 20142019-07-14
• Journal 20132019-07-14
• Journal 20122019-07-14
• Journal 20112019-07-14
• Journal 20102019-07-14
• Journal 20092019-07-14
• Journal 20082019-07-14
• Journal,before 20082019-07-14