1 - Analysis and estimation os stochastic mechanical systems
Schiehlen, Werner O.   /   Wedig, Walter (1937-....)

Cote : [84.3 SCHI 88]

2 - Automata studies
Shannon, Claude Elwood (1916-2001) (Ed.)   /   McCarthy, John (1927-....) (Ed.)

Cote : [77.9 SHA 56]

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

Cote : [77.9 EIL 74]

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

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

Cote : [05 SIE 70]

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

Cote : [05 LOE 72]

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

Cote : [65 BEA 92]

8 - Graphes de fluence : applications à l'électotechnique et à l'électronique : Calculateurs analogiques et digitaux
Robichaud, Louis P. A. (1926-....)   /   Boisvert, Maurice (1922-....)   /   Robert, Jean (1925-....)

Cote : [86 ROB 61]

9 - Interactive models of computation and program behavior
Curien, Pierre-Louis   /   Melliès, Paul-André   /   Herbelin, Hugo   /   Krivine, Jean-Louis

Cote : [05 CUR 09]

10 - Introduction to computability
Hennie, Frederick C.

Cote : [05 HEN 77]