复杂自适应系统
Complex Adaptive Systems
计算机辅助验证(扩展)
Computer-Aided Verification (Extended)
智能机器人(扩展)
Intelligent Robotics (Extended)
移动和普适计算(扩展)
Mobile and Ubiquitous Computing (Extended)
人机交互(扩展)
Human-Computer Interaction (Extended)
个别研究(扩展)
Individual Studies (Extended)
机器学习与智能数据分析(扩展)
Machine Learning and Intelligent Data Analysis (Extended)
编程语言原理、设计和实现(扩展)
Programming Language Principles, Design, and Implementation (Extended)
分布式并行计算(扩展)
Distributed and Parallel Computing (Extended)
网络安全与密码学
Network Security and Cryptography
研究技能、评估方法和统计
Research Skills, Evaluation Methods, and Statistics