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
L'atlas des maladies : de la peste au coronavirus : une cartographie de la contagion et des épidémies meurtrières
Livre imprimé - Reignier Pierre, Hempel Sandra, 2021
De la peste qui a dévasté l'Europe au XIVe siècle à la Covid-19 de 2020, en passant par le choléra au XIXe siècle et le sida dans les années 1980, l'historique d...
Bulletin d'histoire et d'épistémologie des sciences de la vie . Vol. 15, n° 2 . expérience et observation dans les sciences de la vie au XVIIIe siècle
Livre imprimé - Huneman Philippe, Singy Patrick, DL 2008
Au sommaire, notamment : Répétition d'expériences, laboratoire et pseudo-laboratoire : autour d'Abraham Trembley, 1744 (M. Ratcliff) ; Figuring nature : Ritter's galvan...
