Computer science - theory and applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings /
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
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