Libros de symbolic and algebraic manipulation

Probabilistic Group Theory, Combinatorics, and Computing

Parameterized and Exact Computation

Sets, Logic and Maths for Computing

WALCOM: Algorithms and Computation