Computer science - theory and applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings - International Computer Science Symposium in Russia 2010 : Kazan, Russia); Ablayev, Farid; Mayr, Ernst W.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Computer science -- Congresses; Information theory -- Congresses; Logics and Meanings of Programs; Computer Science; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Mathematics of Computing; Discrete Mathematics in Computer Science