EN
L'informatique en mémoire : collections d'objets historiques de la Cité des sciences et de l'industrie
Livre imprimé - Cénival Marie de, Cité des sciences et de l'industrie Collections muséologiques, [1993]
Vérification et mise en oeuvre des réseaux de Petri
Livre imprimé - Diaz Michel, impr. 2003
La sécurité logicielle : une approche défensive
Livre électronique - Khoury Raphaël
Les métamorphoses du calcul : une étonnante histoire de mathématiques
Livre imprimé - Dowek Gilles, 2018
Une démonstration est un raisonnement construit à l'aide d'axiomes et de règles de déduction. Dans les années 1970, le raisonnement prend le pas sur le calcul, ce qui r...
Vous êtes fous d'aller sur Internet ! : comment survivre au monde numérique et à ses pièges
Livre imprimé - Dupont Sébastien, Equainville David d', DL 2019
Le spécialiste de la protection numérique recense les pièges du web. Il donne des solutions pour se prémunir contre les dangers sur Internet et pour savoir comment réag...
Informatique avec Python : prépas scientifiques : exercices incontournables
Livre électronique - Beury Jean-Noël, 2018
