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

Cote : [00 DEV 60]

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

Cote : [08.7 VER 79]

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

Cote : [76 SOL 61-1]

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

Cote : [62 BUR 62]

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

2996 - Automatic syntactic analysis
Foster, John Michael

Cote : [77.9 FOS 70]

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

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

2999 - Automation of reasoning. 2 : Classical papers on computational logic, 1967-1970
Siekmann, Jörg H. (1941-....) (Ed.)   /   Wrightson, Graham (1941-....) (Ed.)

Cote : [05 SIE 83-2]

3000 - Automatique des systèmes linéaires. 1. Signaux et systèmes
Larminat, Philippe De   /   Thomas, Yves (1942-....)

Cote : [77 DE-LAR 75]