EN
Cloud et transformation digitale : SI hybride, protection des données, anatomie des grandes plateformes
Livre électronique - Plouin Guillaume, DL 2019
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...
La pensée informatique
Livre imprimé - Berry Gérard, DL 2019
Titulaire de la chaire Algorithmes, machines et langages du Collège de France, l'auteur s'attache à définir la nature profonde de la pensée informatique, fort diffe...
Solutions informatiques
Livre imprimé, 2006-
Vuibert informatique
Livre imprimé, 1998-
Révolutions informatiques
Livre imprimé - Sagot Nicole, Audoin Pierre, Heurgon Edith, Centre culturel international Colloque, 1972
