L'UFR
L'enseignement
Autour des études
La recherche
Outils pour utilisateurs
Panneau latéral
enseignement:master2-cours
Table des matières
Cours Master 2
Page en construction
Cours 1ère période
- Modélisation et spécification
- Méthodes formelles de vérification
Période 2
- Administration système et réseau
- Algorithmique répartie
- Grands réseaux d’interaction
- Méthodes et algorithmes pour l’accès à l’information
- Mobilité
- Programmation répartie
- Algorithmes du texte
- Algorithmes randomisés et d’approximation (pas ouvert en 14-15)
- Compilation avancée
- Programmation comparée
- Programmation logique et par contraintes avancée
- Typage
Cours 2ème période
- Administration système et réseau
- Algorithmes du texte
- Algorithmes randomisés et d’approximation
- Algorithmique répartie
- Analyse en moyenne des programmes
- Architecture des systèmes d’information
- Méthodes et algorithmes pour l’accés à l’information
- Introduction programmation temps réel
- Méthodes formelles de vérification
- Mobilité
- Preuve de programmes
- Programmation comparée
- Programmation répartie
- Sécurité
- Techniques web avancées
- Typage
enseignement/master2-cours.txt · Dernière modification: 08/01/16 17:00 (modification externe)
Outils de la page
