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 ap...
Les petits mondes de l'eau : à la découverte d'une nature secrète et insolite !
Printed book - Hawthorne Lara, 2022
Ce documentaire animé de volets à soulever invite à explorer le monde à la découverte des animaux qui peuplent les mers et les océans. ©Electre 2022
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 ains...
La foule
Printed book - Bovo Elena, cop. 2015
Etudie les différentes représentations que philosophes, historiens, savants, écrivains, etc., se sont faites de la foule de la seconde moitié du XIXe siècle au dé...
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 ...
Nanotechnologies, éthique et politique
Printed book - Have Henk A. M. J. ten, impr. 2008
Panorama des réflexions éthiques qui ont animé les travaux de 14 scientifiques... conseillers de la COMEST, qui encourage les échanges interdisciplinaires entre sci...