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...
Traité d'agriculture . Tome II . Livres III à V
Printed book - Palladius Rutilius Taurus Aemilianus, Martin René, Guiraud Charles, 2010
Les douze premiers livres se présentent comme une sorte de calendrier rural, chacun étant consacré, à partir du livre II, à un mois de l'année. Ce volume est ainsi cons...
Cent petits chats
Printed book - Ohmura Tomoko, Atlan Corinne, 2021
Un petit chat suit un fil rouge accroché à une branche. Peu à peu, il est rejoint par d'autres. Cette chasse les conduit au fin fond de la montagne où ils arrivent épui...
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
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...