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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Algorithms & procedures

Theoretical Computer Science

6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$140.99
RRP:
$207.95 save $66.96
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

Buy Now, Pay Later with:

4 payments of $35.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more IFIP Advances in Information and Communication Technology

See all products in this series

Capacity Building for IT in Education in Developing Countries on Hardback Save $15
$404.99
$420.95
Capacity Building for IT in Education in Developing Countries
Hardback
Available - Usually ships in 3-4 weeks
Testing of Communicating Systems on Hardback
$536.99
Testing of Communicating Systems
Hardback
Available - Usually ships in 3-4 weeks
Testing of Communicating Systems on Hardback by Myungchul Kim
$541.99
Testing of Communicating Systems
by Myungchul Kim ~ Hardback
Available - Usually ships in 3-4 weeks
Performance and Management of Complex Communication Networks on Hardback Save $34
$405.99
$440.95
Performance and Management of Complex Communication Networks
Hardback
Available - Usually ships in 3-4 weeks
Optical Networks on Hardback Save $63
$263.99
$327.95
Optical Networks
Hardback
Available - Usually ships in 3-4 weeks
Telecommunication Network Intelligence on Hardback
$526.99
Telecommunication Network Intelligence
Hardback
Available - Usually ships in 3-4 weeks
Integrity and Internal Control in Information Systems on Hardback Save $18
$421.99
$440.95
Integrity and Internal Control in Information Systems
Hardback
Available - Usually ships in 3-4 weeks
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 on Hardback
$432.99
Fifth IFIP International Conference on Theoretical Computer Science -...
Hardback
Available - Usually ships in 3-4 weeks
Performance of Information and Communication Systems on Hardback
$535.99
Performance of Information and Communication Systems
Hardback
Available - Usually ships in 3-4 weeks
Database Semantics on Hardback
$541.99
Database Semantics
Hardback
Available - Usually ships in 3-4 weeks
Intelligent Networks on Hardback by Olli Martikainen Save $6
$532.99
$539.95
Intelligent Networks
by Olli Martikainen ~ Hardback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-based Distributed Systems on Hardback Save $40
$521.99
$562.95
Formal Methods for Open Object-based Distributed Systems
Hardback
Available - Usually ships in 3-4 weeks
Project E-Society: Building Bricks on Hardback Save $24
$288.99
$313.95
Project E-Society: Building Bricks
Hardback
Available - Usually ships in 3-4 weeks
Protocols for High-Speed Networks VI on Hardback
$517.99
Protocols for High-Speed Networks VI
Hardback
Available - Usually ships in 3-4 weeks
Integrity and Internal Control in Information Systems on Hardback
$411.99
Integrity and Internal Control in Information Systems
Hardback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-Based Distributed Systems IV on Hardback
$539.99
Formal Methods for Open Object-Based Distributed Systems IV
Hardback
Available - Usually ships in 3-4 weeks

Description

Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal - scriptions of Programming Concepts) in association with SIGACT and EATCS. TCS 2010 was part of the World Computer Congress held in Brisbane, Australia, during September 20-23, 2010 ( ). TCS 2010 is composed of two main areas: (A) Algorithms, Complexity and Models of Computation, and (B) Logic, Semantics, Speci?cation and Veri?cation. The selection process led to the acceptance of 23 papers out of 39 submissions, eachofwhichwasreviewedbythreeProgrammeCommitteemembers.TheProgramme Committee discussion was held electronically using Easychair. The invited speakers at TCS 2010 are: Rob van Glabbeek (NICTA, Australia) Bart Jacobs (Nijmegen, The Netherlands) Catuscia Palamidessi (INRIA and LIX, Paris, France) Sabina Rossi (Venice, Italy) James Harland (Australia) and Barry Jay (Australia) acted as TCS 2010 Chairs. We take this occasion to thank the members of the Programme Committees and the external reviewers for the professional and timely work; the conference Chairs for their support; the invited speakers for their scholarly contribution; and of course the authors for submitting their work to TCS 2010.
Release date Australia
August 23rd, 2010
Audience
  • Professional & Vocational
Contributors
  • Edited by Christian S. Calude
  • Edited by Vladimiro Sassone
Illustrations
XII, 388 p.
Pages
388
Dimensions
156x234x22
ISBN-13
9783642152399
Product ID
8221925

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 >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Internet >
Network computers
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation