Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
Download or Read eBook Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics PDF written by Jan Leeuwen and published by Springer Science & Business Media. This book was released on 2000-07-26 with total page 633 pages. Available in PDF, EPUB and Kindle.
| Author | : Jan Leeuwen |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 633 |
| Release | : 2000-07-26 |
| ISBN-10 | : 9783540678236 |
| ISBN-13 | : 3540678239 |
| Rating | : 4/5 (36 Downloads) |
Book Synopsis Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics by : Jan Leeuwen
Book excerpt: This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000. The 32 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 70 submissions. The papers are organized in two tracks on algorithms, complexity, and models of computation and on logics, semantics, specification, and verification. The book is devoted to exploring new frontiers of theoretical informatics and addresses all current topics in theoretical computer science.
