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

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

Cote : [77 DE-LAR 75]

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

Cote : [75 PRU 70-1]

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

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

Cote : [30 JAC 72]

3016 - Automorphic forms and applications
Sarnak, Peter (1953-....) (Ed.)   /   Shahidi, Freydoon (Ed.)

Cote : [30 SAR 07]

3017 - Automorphic forms and even unimodular lattices
Chenevier, Gaëtan   /   Lannes, Jean   /   Erné, Reinie (Trad.)

Cote : [30 CHE 19]

3018 - Automorphic forms and Galois representations. Volume 1
Diamond, Fred (1964-....) (Ed.)   /   Kassaei, Payman L. (1973-....) (Ed.)   /   Kim, Minhyong (Ed.)

Cote : [13 DIA 14-1]

3019 - Automorphic forms and Galois representations. Volume 2
Diamond, Fred (1964-....) (Ed.)   /   Kassaei, Payman L. (1973-....) (Ed.)   /   Kim, Minhyong (Ed.)

Cote : [13 DIA 14-2]

3020 - Automorphic forms and kleinian groups
Kra, Irwin (1937-....)

Cote : [30 KRA 72]