Code |
Nom |
ECTS |
Sem |
Parcours |
M1 - |
Intelligence Artificielle |
6 |
1 |
 |
M1 - |
Base de données avancées |
6 |
1 |
 |
M1 - |
Circuits et architecture |
6 |
1 |
 |
M1 - |
Programmation Système |
6 |
1 |
 |
M1 - |
Compilation |
6 |
1 |
 |
M1 - |
Prolog et prog. par contraintes |
6 |
1 |
 |
M1 - |
Algorithmique |
6 |
1 |
 |
M1 - |
Calculabilité et complexité |
6 |
1 |
 |
M1 - |
Programmation Math-Info |
6 |
1 |
 |
M1 - |
Génie logiciel |
6 |
2 |
 |
M1 - |
Droit de l'informatique |
3 |
2 |
 |
M1 - |
Logiciels libres |
3 |
2 |
 |
M1 - |
Interfaces graphiques |
6 |
2 |
 |
M1 - |
Automates avancés et applications |
6 |
2 |
 |
M1 - |
Infographie |
6 |
2 |
 |
M1 - |
Théor. et prat. de la concurrence |
6 |
2 |
 |
M1 - |
Protocoles Réseaux |
6 |
2 |
 |
M1 - |
Preuves assistées par ordinateur |
6 |
2 |
 |
M1 - |
Sémantique des lang. de prog. |
6 |
2 |
 |
M1 - |
Algorithmique avancée |
6 |
2 |
 |
M1 - |
Analyse de perf. et simulation |
6 |
2 |
 |
M1 - |
Probabilités et systèmes à événements discrets |
6 |
2 |
 |
M1 - |
Fondements de l'interprétation abstraite |
6 |
2 |
 |
M1 - |
Géométrie discrète et algorithmique |
6 |
2 |
 |
M1 - |
Initiation à la cryptologie |
6 |
2 |
 |
M1 - |
Techniques d'expression |
3 |
2 |
 |
M1 - |
Stages en entreprise |
6 |
2 |
 |
M1 - |
Projets programmation |
6 |
2 |
 |
M1 - |
Travaux de recherche encadrés |
6 |
2 |
 |
M1 - |
Anglais |
3 |
1/2 |
 |
Code |
Nom |
ECTS |
Trim |
Parcours |
M2- |
Protocoles Internet |
3 |
1 |
 |
M2- |
Modélisation et Spécification |
3 |
1 |
 |
M2- |
Sécurité |
3 |
1 |
 |
M2- |
Programmation objets: Concepts avancés |
3 |
1 |
 |
M2- |
Programmation synchrone |
3 |
1 |
 |
M2- |
Formats de documents et compression |
3 |
1 |
 |
M2- |
Ingénierie des protocoles |
3 |
1 |
 |
M2- |
Concepts avancés de BD |
3 |
1 |
 |
M2- |
Entrepots de données |
3 |
1 |
 |
M2- |
Moteurs de recherche |
3 |
2 |
 |
M2- |
Grands réseaux d'interaction |
3 |
2 |
 |
M2- |
Algorithmique répartie |
3 |
2 |
 |
M2- |
Mobilité et grille de calculs |
3 |
2 |
 |
M2- |
Programmation répartie |
3 |
2 |
 |
M2- |
Informatique embarquée |
3 |
2 |
 |
M2- |
Model-Checking |
3 |
2 |
 |
M2- |
Preuve de programmes |
3 |
2 |
 |
M2- |
Analyse statique |
3 |
2 |
 |
M2- |
Méthodes de test |
3 |
2 |
(avec prérequis) |
M2- |
Réseaux sécurisés |
3 |
2 |
 |
M2- |
Administration système et réseau |
3 |
2 |
 |
M2- |
XML |
3 |
2 |
 |
M2- |
Fouilles de données et aide à la décision |
3 |
2 |
 |
M2- |
Architecture des systèmes d'information |
3 |
2 |
 |
M2- |
Contrôle et ordonnancement |
3 |
2 |
 |
M2 - |
Anglais |
3 |
1/2 |
 |