EN
Vérification et mise en oeuvre des réseaux de Petri
Livre imprimé - Diaz Michel, impr. 2003
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
De l'autre côté du miroir quantique
Livre imprimé - Dourdent Hippolyte, Grinbaum Alexei, 2025
Une découverte de la physique quantique et de ses applications technologiques futures, comme la téléportation.
Les 4 éléments du coding
Livre imprimé - Nebot-Oliva Alberto, 2021
Des conseils méthodologiques pour exercer le métier de développeur et maîtriser les programmes fonctionnels avec des patterns de codes efficaces. ©Electre 2021
Les réseaux de Petri : Un outil de modélisation : Cours et exercices corrigés
Livre imprimé - Choquet-Geniet Annie, DL 2006
Présentation de la modélisation et de l'analyse des systèmes de contrôle dont le but est d'assurer la sûreté de fonctionnement des logiciels complexes (aéronautique, tr...
