1 - Enumerability decidability computability : an introduction to the theory of recursive functions
Hermes, Hans (1912-2003)   /   Herman, G. T. (Trad.)   /   Plassmann, O. (Trad.)

Cote : [05 HER 65]

2 - Les processus de ramification : applications à la physique et à la biologie
Harris, Theodore Edward (1919-2005)   /   Reboul, C. (Trd)   /   Herman, G. T. (Trad.)

Cote : [70.5 HAR 69]