FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Download or Read eBook FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science PDF written by R. Ramanujam and published by Springer Science & Business Media. This book was released on 2005-12-07 with total page 580 pages. Available in PDF, EPUB and Kindle.
| Author | : R. Ramanujam |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 580 |
| Release | : 2005-12-07 |
| ISBN-10 | : 9783540304951 |
| ISBN-13 | : 3540304959 |
| Rating | : 4/5 (51 Downloads) |
Book Synopsis FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science by : R. Ramanujam
Book excerpt: This book constitutes the refereed proceedings of the 25th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2005, held in Hyderabad, India, in December 2005. The 38 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 167 submissions. A broad variety of current topics from the theory of computing are addressed, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.
