Computer Science – Theory and Applications
Kulikov, Alexander.
Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings / [electronic resource] : edited by Alexander Kulikov, Nikolay Vereshchagin. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6651 0302-9743 ; .
9783642207129
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
Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings / [electronic resource] : edited by Alexander Kulikov, Nikolay Vereshchagin. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6651 0302-9743 ; .
9783642207129
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