header
cover

3703 - Computability
Tourlakis, George J. (1946-....)

Cote : [05 TOU 84]

cover

3705 - Computation and proof theory : proceedings of the logic colloquium held in Aachen, July 18-23, 1983. Part II
Richter, Michael M. (1938-....) (Ed.)   /   Börger, Egon (1946-....) (Ed.)   /   Oberschelp, Walter (1933-....) (Ed.)   /   Schinzel, B. (Ed.)   /   Thomas, Wolfgang (1947-....) (Ed.)

Cote : [05 RIC 84-2]

cover

3707 - Computational commutative algebra. 1
Kreuzer, Martin   /   Robbiano, Lorenzo

Cote : [16.5 KRE 00]

cover

3708 - Computational geometry : algorithms and applications - Third edition
Berg, Mark De (1966-....)   /   Cheong, Otfried   /   Krevel, Marc Van   /   Overmars, Mark H. (1958-....)

Cote : [08.7 BER 08]

cover

3709 - Computational geometry : an introduction
Preparata, Franco P.   /   Shamos, Michael Ian

Cote : [68 PRE 85]

cover

3710 - Computational invariant theory
Derksen, Harm (1970-....)   /   Kemper, Gregor (1963-....)

Cote : [03 DER 02]