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
Physique MP-MP* MPI-MPI*
Livre électronique - Bourdin Régis, Menguy Ludovic, Venturi Marc, Vidal Lionel, Van Brackel Emmanuel, Zanier Sylvie, Parmentier Vincent
Maths et informatique : visa pour la prépa 2021-2022 : MPSI, MP2I, PCSI, PTSI, BCPST, ECG
Livre électronique - Connan Guillaume