Ablayev, Farid.
Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings / [electronic resource] : edited by Farid Ablayev, Ernst W. Mayr. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6072 0302-9743 ; . - Lecture Notes in Computer Science, 6072 .
9783642131820
10.1007/978-3-642-13182-0 doi
Computer science.
Computer software.
Logic design.
Computational complexity.
Computer Science.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Computation by Abstract Devices.
Mathematics of Computing.
QA76.9.A43
005.1
Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings / [electronic resource] : edited by Farid Ablayev, Ernst W. Mayr. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6072 0302-9743 ; . - Lecture Notes in Computer Science, 6072 .
9783642131820
10.1007/978-3-642-13182-0 doi
Computer science.
Computer software.
Logic design.
Computational complexity.
Computer Science.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Computation by Abstract Devices.
Mathematics of Computing.
QA76.9.A43
005.1