Theoretical Computer Science Image close
Theoretical Computer Science
Theoretical Computer Science
Show Hide Adult Content
Theoretical Computer Science close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Theoretical Computer Science

8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$150.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.50 with Afterpay Learn more

6 weekly interest-free payments of $25.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 23 Jul - 2 Aug using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Pattern Recognition and Machine Intelligence
$554.00
Pattern Recognition and Machine Intelligence
Paperback / softback
Pre-order - out 11 Aug 2024
Computer Architecture
$148.00
Computer Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Database Systems for Advanced Applications
$314.00
Database Systems for Advanced Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Enterprise Design, Operations, and Computing
$150.00
Enterprise Design, Operations, and Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Information Security Practice and Experience
$158.00
Information Security Practice and Experience
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Trends in Algebraic Development Techniques
$150.00
Recent Trends in Algebraic Development Techniques
Paperback / softback
Available - Usually ships in 3-4 weeks
The Munich Project CIP
$155.00
The Munich Project CIP
Paperback / softback
Available - Usually ships in 3-4 weeks
Tools and Algorithms for the Construction and Analysis of Systems
$137.00
Tools and Algorithms for the Construction and Analysis of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
The Computational Complexity of Equivalence and Isomorphism Problems by Thomas Thierauf
$148.00
The Computational Complexity of Equivalence and Isomorphism Problems
by Thomas Thierauf ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$175.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Knowledge Discovery and Data Mining
$175.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$131.00
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
An Attribute Grammar for the Semantic Analysis of ADA by J. Uhl
$186.00
An Attribute Grammar for the Semantic Analysis of ADA
by J. Uhl ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Information Systems and Industrial Management
$238.00
Computer Information Systems and Industrial Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$137.00
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Cooperative Information Systems
$213.00
Cooperative Information Systems
Paperback / softback
Available - Usually ships in 3-4 weeks

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
Release date NZ
August 1st, 2014
Audience
  • Professional & Vocational
Contributors
  • Edited by Davide Sangiorgi
  • Edited by Ivan Lanese
  • Edited by Josep Diaz
Illustrations
57 Illustrations, black and white; XVI, 355 p. 57 illus.
Pages
355
Dimensions
155x235x20
ISBN-13
9783662446010
Product ID
22616415

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Calculus & mathematical analysis >
Infinite series
Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Social & Legal Aspects >
Human-computer interaction
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Discrete mathematics
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists