Explore Books on
54.10 theoretical informatics

Introduction to Algorithms

By Thomas H. Cormen,Charles E. Leiserson,Ronald L. Rivest,Clifford Stein

Calcul formel

By James Harold Davenport

Algorithm design

By Eva Tardos,Jon Kleinberg

Formal languages and their relation to automata

By John E. Hopcroft

Structural complexity

By Jose L. Balcazar,Josep Diaz,Joaquim Gabarro