1 - Algebraic methods of mathematical logic
Rieger, Ladislav (1916-1963)   /   Basch, Michal (Trad.)

Cote : [05 RIE 67]

2 - Computer algebra : Symbolic and algebraic computation - Second edition
Buchberger, Bruno (1942-....)   /   Loos, Rüdiger (1938-....) (Ed.)   /   Albrecht, Rudolf (1925-....) (Collaborateur)

Cote : [77 BUC 83]

3 - Cours de mathématiques. Tome 2 : Fonctions analytiques. Equations différentielles et aux dérivées partielles. Calcul symbolique. Fonctions harmoniques. Calcul des variations. Abaques. Aglèbre de Boole
Bass, Jean (1913-2007)

Cote : [03.5 BAS 64-2]

4 - Elemente der Schaltungsalgebra : Eine anschauliche, leichfassliche Einfuhrung
Weyh, Ulrich (1930-....)

Cote : [16 WEY 61]

5 - Introduction au calcul symbolique et aux mathématiques expérimentales. Tome 2 : Algèbre générale et linéaire
Krob, Daniel (1961-....)   /   Legros, Stéphane

Cote : [77 KRO 99]

6 - Symbolic and algebraic computation. EUROSAM '79
Ng, Edward W.

Cote : [77 NG 79]

7 - Théorie des algébres de Banach et des algébres localement convexes
Waelbroeck, Lucien (1929-....)

Cote : [42 WAE 62]

8 - Théorie des algèbres de Banach et des algèbres localement convexes - 2ème édition
Waelbroeck, Lucien (1929-....)

Cote : [42 WAE 65]