Computer science - theory and applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings / [electronic resource] : CSR 2010 edited by Farid Ablayev, Ernst W. Mayr. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010. - xi, 396 p. : ill., digital ; 24 cm. - Lecture notes in computer science, 6072 0302-9743 ; .

9783642131820 (electronic bk.) 9783642131813 (paper)


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.

QA75.5 / .I58 2010

004.0151