| Intitulé |
Code |
Cours |
Séries |
TD |
Séries |
| Stage C++ |
INF597 |
|
|
16 |
5 |
| Architecture Logicielle |
INF550 |
41 |
1 |
27 |
2 |
| Conduite de Projet (*) |
INF552 |
46 |
1 |
40 |
1 |
| Techniques Avancées de Programmation |
INF558 |
40 |
1 |
27 |
1 |
| Bases de Données Avancées |
INF559 |
40 |
1 |
27 |
1 |
| Technologies logicielles avancées (*) |
INF553 |
45 |
1 |
9 |
1 |
| Conceptions Formelles |
INF471T |
40 |
1 |
27 |
1 |
| Logiques comportementales |
INF556 |
40 |
1 |
27 |
1 |
| Formalismes de description des systèmes |
INF555 |
40 |
1 |
27 |
1 |
| Technologies de la vérification |
INF557 |
40 |
1 |
27 |
1 |
| Modèles stochastiques et Sureté de fonctionnement |
INF554 |
40 |
1 |
27 |
1 |
| Analyse d'algorithmes |
INF566 |
40 |
1 |
27 |
1 |
| Logique et langages |
INF569 |
40 |
1 |
27 |
1 |
| Algorithmes pour la bio-informatique et la visualisation |
INF567 |
40 |
1 |
27 |
1 |
| Graphes et Applications |
INF568 |
40 |
1 |
27 |
1 |
| Analyse / Synthèse du Son Musical |
INF577 |
40 |
1 |
27 |
1 |
| Modélisation géométrique |
INF571 |
40 |
1 |
27 |
1 |
| Réalité virtuelle, interaction et perception |
INF574 |
40 |
1 |
27 |
1 |
| Vidéo numérique, analyse et codage |
INF573 |
40 |
1 |
27 |
1 |
| Synthèse d'images avancée |
INF572 |
40 |
1 |
27 |
1 |
| Imagerie médicale: fondements |
INF576 |
40 |
1 |
27 |
1 |
| Imagerie médicale: applications |
INF575 |
40 |
1 |
27 |
1 |
| Segmentation et analyse d'images |
INF570 |
40 |
1 |
27 |
1 |
| Architecture de réseaux et systèmes associés |
INF580T |
40 |
1 |
27 |
1 |
| Paradigmes du distribué |
INF581 |
40 |
1 |
27 |
1 |
| Modèles et approches formelles des systèmes |
INF584 |
40 |
1 |
27 |
1 |
| Systèmes et supports d'exécution parallèle |
INF582 |
40 |
1 |
27 |
1 |
| Réseau et technologies associées : QoS et mobilité |
INF580 |
40 |
1 |
27 |
1 |