This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check and add more if needed] TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics, Specification and Verification
| ISBN: | 9783662446010 |
| Publication date: | 1st August 2014 |
| Author: | IFIP International Conference on Theoretical Computer Science |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 355 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Maths for computer scientists Numerical analysis Algorithms and data structures Discrete mathematics |
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check and add more if needed] TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics, Specification and Verification
Theoretical Computer Science features in the following genres: Mathematical theory of computation, Maths for computer scientists, Numerical analysis, Algorithms and data structures, Discrete mathematics
Theoretical Computer Science is available in Paperback
Theoretical Computer Science was written by IFIP International Conference on Theoretical Computer Science and published by Springer an imprint of Springer Berlin Heidelberg
Theoretical Computer Science has 355 pages
Yes it is part of Lecture Notes in Computer Science series