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

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

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

Cote : [77 DE-LAR 75]

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

Cote : [75 PRU 70-1]

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

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

Cote : [30 JAC 72]

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

Cote : [30 SAR 07]

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

Cote : [30 CHE 19]

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

Cote : [13 DIA 14-1]

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

Cote : [13 DIA 14-2]