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

Cote : [08.7 VER 79]

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

Cote : [76 SOL 61-1]

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

Cote : [62 BUR 62]

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

2915 - Automatic syntactic analysis
Foster, John Michael

Cote : [77.9 FOS 70]

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

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

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

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

Cote : [77 DE-LAR 75]

2920 - Automatique. Tome 1 : systèmes séquentiels à niveau, Systèmes asservis linéaires continus, 180 exercices
Prudhomme, Raymond

Cote : [75 PRU 70-1]