EN
Solutions informatiques
Livre imprimé, 2006-
Doc-informatique
Revue imprimée - Centre national de documentation pédagogique
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...
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 différent...
Calcul scientifique parallèle
Livre électronique - Magoulès Frédéric, Roux François-Xavier, 2017
UML 2.5 : entraînez-vous à la modélisation : exercices et corrigés
Livre imprimé - Debrauwer Laurent, Vanwormhoudt Gilles, 2024
Exercices pratiques de difficulté variable afin de maîtriser les différents aspects des diagrammes principaux d'UML 2.5. Avec également un chapitre consacré au langage ...
