
1 - Automata-theoretic aspects of formal power series |
2 - Computational geometry : an introduction |
3 - Exact exponential algorithms |
4 - Fundamentals of predictive text mining |
5 - Parameterized complexity theory |
6 - The design of well-structured and correct programs |
7 - The science of programming |