Computer science [For papers involving machine computations and programs in a specific mathematical area, see Section --04 in that area] 334467

## Mathematics Subject Classification – MSC2010

General reference works (handbooks, dictionaries, bibliographies, etc.) 523

Instructional exposition (textbooks, tutorial papers, etc.) 7900

Research exposition (monographs, survey articles) 5604

Explicit machine computation and programs (not the theory of computation or programming) 330

Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) 3213

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 5421

Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) [See also 94Axx] 2401

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) [See also 68Q85] 5682

Complexity classes (hierarchies, relations among complexity classes, etc.) [See also 03D15, 68Q17, 68Q19] 4416

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) [See also 68Q15] 8224

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 9283

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) [See also 68W20, 68W40] 1230

Problem solving (heuristics, search strategies, etc.) 10753

Languages and software systems (knowledge-based systems, expert systems, etc.) 4400

Information systems (hypertext navigation, interfaces, decision support, etc.) [See also 68M11] 5195

Algorithms [For numerical algorithms, see 65-XX; for combinatorics and graph theory, see 05C85, 68Rxx] 43747