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 |