Theoretical Computer Science: 8th Ifip Tc 1/Wg 2.2 International Conference, Tcs 2014, Rome, Italy, September 1-3, 2014. Proceedings
| PUBLISHER | Springer (08/01/2014) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
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
Show More
Product Format
Product Details
ISBN-13:
9783662446010
ISBN-10:
3662446014
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
355
Carton Quantity:
22
Product Dimensions:
6.14 x 0.77 x 9.21 inches
Weight:
1.15 pound(s)
Feature Codes:
Illustrated
Country of Origin:
NL
Subject Information
BISAC Categories
Computers | Machine Theory
Computers | Logic
Computers | Programming - Algorithms
Dewey Decimal:
004.015
Descriptions, Reviews, Etc.
jacket back
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
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
Show More
publisher marketing
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
Show More
Editor:
Sangiorgi, Davide
Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.
Show More
List Price $54.99
Your Price
$54.44