Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / [electronic resource] : edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - 1 online resource (XV, 356 p. 37 ill.) - Lecture Notes in Computer Science, 7876 0302-9743 ; .

Computability -- complexity -- algorithms -- present current research.

9783642382369


Computer science.
Data structures (Computer science).
Computers.
Algorithms.
Computer logic.
Mathematical logic.
Computer science--Mathematics.