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

Cote : [77.9 EIL 74]

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

3003 - Automates automatisme automation - Cinquième édition
Devaux, Pierre (1897-1969)

Cote : [00 DEV 60]

3004 - Automates et graphes cartésiens
Vergez, Pierre   /   Fouilliart, M.

Cote : [08.7 VER 79]

3005 - Automatic control and computer engineering. Vol. 1
Solodovnikov, Vladimir Viktorovich (1910-....) (Ed.)   /   Yeoman, J. (Trad.)   /   Prasad, T. (Ed.)

Cote : [76 SOL 61-1]

3006 - Automatic control handbook
Burdett, G. A. T. (Ed.)

Cote : [62 BUR 62]

3007 - Automatic interpretation and classification of images : Proceedings of a NATO summer school held in Pisa-Tirrenia, Italy from August 26th to September 6th 1968, NATO advanced study institute
Grasselli, A. (Ed.)

Cote : [76 GRA 69]

3008 - Automatic syntactic analysis
Foster, John Michael

Cote : [77.9 FOS 70]

3009 - Automation in language translation and theorem proving : some applications of mathematical logic, Brussels, June 1968
Braffort, Paul (1923-....) (Ed.)   /   Scheepen, Van F. (Ed.)

Cote : [05 BRA 68]

3010 - Automation of reasoning. 1 : Classical papers on computational logic, 1957-1966
Siekmann, Jörg H. (1941-....) (Ed.)   /   Wrightson, Graham (1941-....) (Ed.)

Cote : [05 SIE 83-1]