This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together with the full papers or abstracts of 7 invited talks. All current aspects in theoretical computer science and its mathematical foundations are addressed, from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry and more.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together with the full papers or abstracts of 7 invited talks. All current aspects in theoretical computer science and its mathematical foundations are addressed, from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry and more.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Lecture Notes in Computer Science, 4162 |
Release date | August 2006 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2006 |
Editors | Rastislav Kralovic?, Pawel Urzyczyn |
Dimensions | 235 x 155 x 42mm (L x W x T) |
Format | Paperback |
Pages | 816 |
Edition | 2006 ed. |
ISBN-13 | 978-3-540-37791-7 |
Barcode | 9783540377917 |
Categories | |
LSN | 3-540-37791-3 |