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

Cote : [62 BUR 62]

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

3003 - Automatic syntactic analysis
Foster, John Michael

Cote : [77.9 FOS 70]

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

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

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

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

Cote : [77 DE-LAR 75]

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

Cote : [75 PRU 70-1]

3009 - Automatique. Tome 2 : techniques binaires, systèmes asservis linéaires continus ou échantillonnés, systèmes asservis non linéaires, identification, optimalisation quadratique
Prudhomme, Raymond

Cote : [75 PRU 74-2]

3010 - Automorphic form on GL(2). Part. II
Jacquet, Hervé (1939-....)

Cote : [30 JAC 72]