Catalog

Record Details

Catalog Search



Computer Science – Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings / edited by Edward A. Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii.

Electronic resources

Record details

  • ISBN: 9783642306426
  • Physical Description: XXIII, 327 p. 25 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.
Subject: 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.

Additional Resources