EN
Logique pour l'informatique
Livre imprimé - Jaume Mathieu, Journault Matthieu, Lesot Marie-Jeanne, Manoury Pascal, Mounier Isabelle, Raffalli Christophe, 2020
Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs ap...
Le bouton magique du professeur Lapin
Livre imprimé - Louchard Antonin, 2022
Le professeur Lapin propose au lecteur d'obtenir tout ce qu'il souhaite en appuyant sur un bouton dessiné. ©Electre 2022
La route
Livre imprimé - Hirsch François, McCarthy Cormac, 2008
Dans le monde dévasté de l'apocalypse, un jeune homme et son père errent sur une route, affrontant le froid, la pluie, la neige, fuyant toute présence humaine. En u...
Libération de l'humanité par la science
Livre imprimé - Perrin Jean
Extrait des "Cahiers rationalistes", 1936
Réensauvager les territoires : comprendre, planifier, mettre en oeuvre
Livre imprimé - Porcheron Guillaume, 2022
Une approche pratique et théorique du réensauvagement qui consiste à prendre en compte, à développer ou à recréer des espaces de nature sauvage et à les intégr...
La santé à l'école : aide-mémoire
Livre imprimé - Romano Hélène, Bravard Claude, Claude, 2021
Présentation des fondamentaux de la santé à l'école et des enjeux liés à l'accueil des enfants malades ou handicapés notamment dans le contexte épidémique de l...
