-Algorithms, Complexity and Models of Computation;
-Logic, Semantics, Specification and Verification.This volume contains 45 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montreal, Quebec, Canada in August 2002."
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
-Algorithms, Complexity and Models of Computation;
-Logic, Semantics, Specification and Verification.This volume contains 45 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montreal, Quebec, Canada in August 2002."
Imprint | Springer-Verlag New York |
Country of origin | United States |
Series | IFIP Advances in Information and Communication Technology, 96 |
Release date | July 2002 |
Availability | Expected to ship within 12 - 17 working days |
First published | 2002 |
Editors | Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro |
Dimensions | 235 x 155 x 34mm (L x W x T) |
Format | Hardcover |
Pages | 614 |
Edition | 2002 ed. |
ISBN-13 | 978-1-4020-7181-2 |
Barcode | 9781402071812 |
Categories | |
LSN | 1-4020-7181-7 |