FR
Logique pour l'informatique
Printed book - 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 appl...
Les réactions péricycliques
Printed book - Rodney Alan, Fleming Ian, 2020
Cet ouvrage passe en revue les réactions péricycliques en expliquant leur principe théorique à l'aide de diagrammes de corrélation et en montrant comment reconnaître le...
Le bouton magique du professeur Lapin
Printed book - 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
Printed book - Hirsch François, McCarthy Cormac, Hirsch François, 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 un vo...
Libération de l'humanité par la science
Printed book - Perrin Jean
Extrait des "Cahiers rationalistes", 1936
Réensauvager les territoires : comprendre, planifier, mettre en oeuvre
Printed book - 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égrer dans l...
