This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007.
The 67 revised full papers presented together with 2 plenary lectures were carefully reviewed and selected from over 500 submissions. All major areas in computer science, mathematics (especially logic) and the physical sciences particularly with regard to computation and computability theory are addressed. The papers - featuring this crossdisciplinary character - particularly focus on algorithms, complexity and computability theory, giving the conference a special flavor and distinction.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007.
The 67 revised full papers presented together with 2 plenary lectures were carefully reviewed and selected from over 500 submissions. All major areas in computer science, mathematics (especially logic) and the physical sciences particularly with regard to computation and computability theory are addressed. The papers - featuring this crossdisciplinary character - particularly focus on algorithms, complexity and computability theory, giving the conference a special flavor and distinction.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Theoretical Computer Science and General Issues, 4484 |
Release date | May 2007 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2007 |
Editors | Jin-yi. Cai, Barry S. Cooper, Hong Zhu |
Dimensions | 235 x 155 x 30mm (L x W x T) |
Format | Paperback |
Pages | 772 |
Edition | 2007 ed. |
ISBN-13 | 978-3-540-72503-9 |
Barcode | 9783540725039 |
Categories | |
LSN | 3-540-72503-2 |