header
cover

2892 - Automatic syntactic analysis
Foster, John Michael

Cote : [77.9 FOS 70]

cover

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

cover

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

cover

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

Cote : [77 DE-LAR 75]

cover

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

Cote : [30 JAC 72]

cover

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

Cote : [30 SAR 07]