header
cover

1 - Algorithmes et machines à calculer
Trahtenbrot, Boris Avramovich   /   Chauvin, André (1914-2010 (Trad.)

Cote : [05 TRA 63]

cover

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

Cote : [77.9 SHA 56]

cover

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

Cote : [77.9 SHA 56]

cover

6 - Introduction to automata theory languages, and computation
Hopcroft, John E. (1939-....)   /   Ullman, Jeffey David (1942-....)

Cote : [77.9 HOP 79]

cover

7 - Introduction to computability
Hennie, Frederick C.

Cote : [05 HEN 77]

cover

8 - Logique mathématique
Kleene, Stephen Cole (1909-1994)   /   Largeault, Jean (1931?-1995) (Trad.)

Cote : [05 KLE 71]

cover

9 - Machines de Turing et automates cellulaires : du traité gravé au très animé
Corge, Charles   /   Delahaye, Jean-Paul (1952-....) (Préface)

Cote : [77.9 COR 08]

cover

10 - Proceedings of the Second Scandinavian Logic Symposium
Fenstad, Jens Erik (1935-....) (Ed.)

Cote : [05 FEN 70]