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 ; .
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.