87550 results found
Resource

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...
Resource

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...
Resource

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...
Resource

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...
Resource

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
Resource

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...
  1. Previous
  2. 1
  3. 7824
  4. 7825
  5. 7826
  6. 7827
  7. 7828
  8. 14592
  9. Next