EN
Informatique MP2I
Livre électronique - Vercouter Laurent, Hauchecorne Bertrand
Une histoire de l'informatique
Livre imprimé - Breton Philippe, 1990, cop. 1987
Vuibert informatique
Livre imprimé, 1998-
Solutions informatiques
Livre imprimé, 2006-
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 appl...
Collection Informatique
Livre imprimé - Strohmeier Alfred, [19??]-
