header
cover

1 - Automata, languages and machines. Volume A
Eilenberg, Samuel (1913-1998)

Cote : [77.9 EIL 74]

cover

2 - 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]

cover

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

Cote : [05 SIE 70]

cover

4 - Eléments d'algorthmique
Beauquier Danièle   /   Chrétienne Philippe   /   Berstel, Jean (1941-....)

Cote : [65 BEA 92]

cover

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

Cote : [77.9 HAR 65]

cover

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

Cote : [77.9 MOI 71]

cover

7 - Théorie structurelle des automates finis
Moisil, Grigore C. (1906-1973)   /   Ville, J. A. (Ed.)

Cote : [77.9 MOI 67]