EN
Turing : et l'informatique fut
Livre imprimé - Lassègue Jean, 2006
Solutions informatiques
Livre imprimé, 2006-
Doc-informatique
Revue imprimée - Centre national de documentation pédagogique
L'informatique en perspectives
Livre imprimé - Khadiyatoulah Fall, Vignaux Georges, 1989
Collection Informatique
Livre imprimé - Strohmeier Alfred, [19??]-
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...
