CS分支列表:
1.Hardware 硬件
Ø Control structures and Microprogramming(控制结构和微程序设计)、
Ø Arithmetic and Logic structures(算法和逻辑结构)、
Ø Memory structures(存储结构)、
Ø Input/output and Data communications(输入/输出和数据通讯)、
Ø Logic Design(逻辑设计)、
Ø Integrated circuits(集成电路)、
Ø VLSI design(超大规模集成电路设计)、
Ø Performance and reliability(性能和稳定性)
2. Software 软件
Ø Computer program and Computer programming(计算机程序和计算机程序设计)、
Ø Concurrent Programming(并发程序设计)、
Ø Parallel Programming(并行程序设计)
Ø Program specification(程序规约)、
Ø Program verification(程序验证)、
Ø Programming techniques(程序设计技术)、
Ø Software engineering(软件工程)、
Ø Configuration management and Software Configuration Management (SCM) (配置管理和软件配置管理)、
Ø Design patterns (模式设计)、
Ø Formal methods (形式方法)、
Ø Object orientation(面向对象程序设计)、
Ø Aspect orientation (面向方面程序设计)、
Ø Documentation Optimization(文件优化)、
Ø Software metrics(软件度量学)、
Ø Structured programming(结构化程序设计)、
Ø Programming languages(程序设计语言)、
Ø Imperative programming Languages(命令程序设计语言)、
Ø Functional programming Languages( 函数程序设计语言)、
Ø Logic programming Languages( 逻辑程序设计语言)、
Ø Operating Systems(操作系统)、
Ø Compiler(编译器)、
Ø Lexical analysis (语法分析)、
Ø Compiler optimization(编译器优化)
3. Theoretical computer science 理论计算机科学
Ø Algorithmic information theory(算法信息理论)、
Ø Computability theory(可计算性理论)、
Ø Cryptography (密码学)、
Ø Formal semantics of programming languages (程序语言的形式语义学)、
Ø Theory of computation (or theoretical computer science) 计算理论(理论计算机科学)、
Ø Analysis of algorithms and problem complexity (算法和问题复杂性分析)、
Ø Logics and meanings of programs(程序逻辑和内涵)、
Ø Mathematical logic and Formal languages(数理逻辑和形式语言)、
Ø Type theory(类理论)、
Ø Quantum computing (昆腾计算)、
Ø Quantum information theory(昆腾信息理论)
4. Data and information systems数据和信息系统
Ø Data structures (数据结构)、
Ø Data storage representations(数据储存和表示)、
Ø Data encryption(数据加密)、
Ø Data compression(数据压缩)、
Ø Data recovery(数据恢复)、
Ø Coding and Information theory (编码和信息理论)、
Ø Files(文件)、
Ø File formats(文件格式)、
Ø Information systems(信息系统)、
Ø Databases (数据库)、
Ø Information Storage and retrieval(信息存储和检索)、
Ø Information Interfaces and Presentation(信息接口和表述)
5. Mathematical foundations 数学基础领域
Ø Boolean algebra(布尔代数)、
Ø Discrete mathematics(离散数学)、
Ø Graph theory (图形理论)、
Ø Mathematical logic (数理逻辑)、
Ø Probability and Statistics(概率论和统计学)、
Ø Information theory( 信息理论)、
Ø Domain theory (域论)、
Ø Category theory (范畴论)、
Ø Set theory (集合论)
6.Computer systems organization 计算机系统组织
Ø Computer architecture(计算机体系结构)
Ø Computer networks (计算机网络)、
Ø Distributed computing(分布式计算)、
Ø Performance of systems (系统性能)、
Ø Computer system implementation(计算机系统实现)。
7.Computing methodologies计算方法论
Ø Symbolic and Algebraic manipulation (符号和代数处理)、
Ø Artificial intelligence(人工智能)、
Ø Computer graphics(计算机图像学)、
Ø Image processing and computer vision(图像处理和计算机视觉)、
Ø Pattern recognition(模式识别)、
Ø Speech recognition (语音识别)、
Ø Simulation and Modeling(仿真和建模)、
Ø Document and text processing(文件和文本处理)、
Ø Digital signal processing(数字信号处理)等。
8.Computer applications计算机的应用领域
Ø Enterprise resource planning(企业资源计划)(ERP)、
Ø Customer relationship management(客户关系管理)、
Ø Human Resource Management Systems(人力资源管理系统)、
Ø Numerical analysis(数值分析)、
Ø Automated theorem proving(自动定理验证)、
Ø Computer algebra systems(计算机代数系统)、
Ø Computational chemistry(计算化学)、
Ø Computational physics(计算物理学)、
Ø Bioinformatics(生物信息学)、
Ø Computational biology(计算生物学)、
Ø Medical informatics (医药信息学)、
Ø Computer-aided engineering(半自动计算机工程)、
Ø Robotics(机器人技术)、
Ø Human-computer interaction(人机交互)、
Ø Speech synthesis(言语合成)
Ø Telecommunications(电讯学)、
Ø Queuing theory(排队理论)等。