EN
La sécurité logicielle : une approche défensive
Livre électronique - Khoury Raphaël
Algorithmique : cours avec 957 exercices et 158 problèmes
Livre imprimé - Cormen Thomas H., Leiserson Charles Eric, Rivest Ronald L., Stein Clifford, Cazin Xavier, Kocher Georges-Louis, DL 2010, cop. 2010
Une introduction complète à l'algorithmique, du tri aux algorithmes parallèles. Des notions élémentaires aux thèmes plus pointus, étudiants et professionnels trouveront...
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...
Vérification et mise en oeuvre des réseaux de Petri
Livre imprimé - Diaz Michel, impr. 2003
Reference books for the historian of science
Livre imprimé - Jayawardene S. A., 1982
Linux pratique. Hors série
Revue imprimée
