EN
Calcul en logique du premier ordre
Livre imprimé - Bouchard Yves, 2015
Cet ouvrage constitue une introduction à deux outils de calcul logique du premier ordre, soit le calcul en arbres de consistance et le calcul en déduction naturelle. ...
La grande encyclopédie de l'aviation
Livre imprimé - Hansen Steen, 2003
Cette encyclopédie reprend les évolutions techniques de l'aviation des origines à nos jours. Elle présente l'aviation de guerre et l'aviation commerciale, mais égalemen...
Routes et ponts en Yvelines du XVIIe au XIXe siècle
Livre imprimé - Vacant Claude, 1989
L'avancée en âge, un art de vivre
Livre imprimé, cop. 2013
Les auteurs de cet ouvrage étudient la question du vieillissement, et formulent des propositions pour permettre aux personnes âgées de conserver pleinement leur stat...
Au temps des cap-horniers
Livre imprimé - Ponthus René, Hoffmann Ginette, 1999
Nos cerveaux, tous pareils, tous différents ! : le sexe du cerveau : au-delà des préjugés
Livre imprimé - Vidal Catherine, DL 2015, cop. 2015
Un ouvrage de vulgarisation sur les dernières découvertes en neurosciences, dévoilant le rôle de la plasticité cérébrale dans l'élaboration des comportements et...
