1 - Automata-theoretic aspects of formal power series
Salomaa, Arto (1934-....)   /   Soittola, Matti (1945-....)   /   Brauer, Friedrich Ludwig (1924-....) (Ed.)   /   Gries, David (1939-....) (Ed.)

Cote : [77.9 SAL 78]

2 - Büchi's monadic second order successor arithmetic. Decidable theories I
Siefkes, Dirk   /   Müller, Gert Heinz (1923-....) (Ed.)

Cote : [05 SIE 70]

3 - Computability and decidability : an introduction for students of computer science
Loeckx, Jacques (1931-....)

Cote : [05 LOE 72]

4 - Introduction to switching and automata theory
Harrison, Michael Alexander

Cote : [77.9 HAR 65]

5 - Logique automatique informatique
Moisil, Gr. C. (1906-1973) (Préface)   /   Bisca, O.   /   Boicescu, V.   /   Cazanescu, V. E.

Cote : [77.9 MOI 71]

6 - Products of automata
Gécseg, Ferenc

Cote : [77.9 GEC 86]

7 - Regular algebra and finite machines
Conway, John Horton (1937-....)

Cote : [75 CON 71]