Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
enseignement:supports_de_cours [27/09/20 22:25] Carole Delporte |
enseignement:supports_de_cours [30/09/20 16:58] Carole Delporte |
||
---|---|---|---|
Ligne 35: | Ligne 35: | ||
== M2 == | == M2 == | ||
+ | * Architecture des système de base de données https://drive.google.com/drive/folders/10Sf1KZGKtH-POunu7aHirwyuUklcSHbK?usp=sharing | ||
* Informatique embarquée-EIDD,Philippe Plasson. Pour le test vendredi 25 septembre à 14h30 https://drive.google.com/drive/folders/17xAJBMQWJCFZqNEnoaxPtKQZ25fmdtV9?usp=sharing .Pour le cours https://drive.google.com/drive/folders/17xAJBMQWJCFZqNEnoaxPtKQZ25fmdtV9?usp=sharing | * Informatique embarquée-EIDD,Philippe Plasson. Pour le test vendredi 25 septembre à 14h30 https://drive.google.com/drive/folders/17xAJBMQWJCFZqNEnoaxPtKQZ25fmdtV9?usp=sharing .Pour le cours https://drive.google.com/drive/folders/17xAJBMQWJCFZqNEnoaxPtKQZ25fmdtV9?usp=sharing | ||
* Ingénierie des protocoles, Stephane Maag,http://www-public.imtbs-tsp.eu/~maag/P7/ | * Ingénierie des protocoles, Stephane Maag,http://www-public.imtbs-tsp.eu/~maag/P7/ | ||
- | * Méthodes Formelles de Vérification, Ahmed Bouajjani, https://www.irif.fr/~abou/cours-mfverif.html | + | * Méthodes Formelles de Vérification, Ahmed Bouajjani, https://www.irif.fr/~abou/cours-mfverif.html |
* Protocoles des services Internet, Carole Delporte, https://www.irif.fr/~cd/Internet.html | * Protocoles des services Internet, Carole Delporte, https://www.irif.fr/~cd/Internet.html | ||
* Programmation synchrone, Adrien Guatto, https://www.irif.fr/~guatto/teaching/20-21/progsync/ | * Programmation synchrone, Adrien Guatto, https://www.irif.fr/~guatto/teaching/20-21/progsync/ |