Outils pour utilisateurs

Outils du site


enseignement:master2-perso

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
enseignement:master2-perso [08/12/13 22:13]
Carole Delporte [Période 1]
enseignement:master2-perso [08/01/16 17:00] (Version actuelle)
Ligne 62: Ligne 62:
  
 • Architecture des systèmes d’information ​ • Architecture des systèmes d’information ​
-• Fouilles de données et aide à la décision ​ 
 • Compilation avancée • Compilation avancée
 +• Introduction programmation temps réel
 +• Méthodes formelles de vérification
 +• Fouilles de données et aide à la décision
 • Preuve de programmes ​ • Preuve de programmes ​
 • Programmation comparée ​ • Programmation comparée ​
 +
 + 
    
  
 **Vous trouverez [[master2-cours|ici]] plus d'​informations sur ces cours.** **Vous trouverez [[master2-cours|ici]] plus d'​informations sur ces cours.**
enseignement/master2-perso.1386537205.txt.gz · Dernière modification: 08/01/16 17:01 (modification externe)