Computer Science – Theory and Applications
Subtitle: 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings
By: edited by Edward A. Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii
Contributors: Karhumäki, Juhani; Lepistö, Arto; Prilutskii, Michail; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7353
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642306426
Subjects: Mathematical Logic and Formal Languages; Computational complexity; Discrete Mathematics in Computer Science; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Mathematics of Computing; Computer software