3701 - Computability and decidability : an introduction for students of computer science
Loeckx, Jacques (1931-....)

Cote : [05 LOE 72]

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

3703 - Computation of singular solutions in elliptic problems and elasticity
Leguillon, Daniel   /   Sanchez-Palencia, Evariste (1941-....)

Cote : [84.5 LEG 87]

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

Cote : [16.5 KRE 00]

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

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

Cote : [68 PRE 85]

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

Cote : [03 DER 02]

3708 - Computational methods for fluid flow
Peyret, Roger   /   Taylor, Thomas D.

Cote : [84.7 PEY 83]

3709 - Computational methods in number theory. Part I - Second edition
Lenstra, H. W. Jr. (1949-....)   /   Tijdeman, R.

Cote : [30 LEN 84-1]

3710 - Computational methods in number theory. Part II - Second edition
Lenstra, H. W. Jr. (1949-....)   /   Tijdeman, R.

Cote : [30 LEN 84-2]