Turing machines - Congresses.

Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (Language materials, printed)

Theory of Computation.

Data Structures, Cryptology and Information Theory.

Mathematical Logic and Formal Languages.

Mathematics of Computing.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Computational complexity

Computer science

Turing machines

Computer Science.