Computer Science � Theory and Applications
- Springer 2016
- Lecture Notes in Computer Science .
9783319341712
Algorithm Analysis and Problem Complexity; Discrete Mathematics in Computer Science; Computation by Abstract Devices; Numeric Computing; Logics and Meanings of Programs; Mathematical Logic and Formal Languages