Master 2
Enseignements
Période 1 :
Anglais
Architecture des systèmes de Bases de Données
Bases de Données Spécialisées
Fouille de Données
Informatique Embarquée
Ingénierie des Protocoles
Méthodes Formelles de Vérifications
Modélisation et Spécification
Programmation Objet : Concepts Avancés
Programmation Synchrone
Protocoles des Services Internet
Période 2 :
Administration Systèmes et Réseaux
Algorithmique Répartie
Architecture des Systèmes d'Information
Compilation Avancée
Grands Réseaux d'Interaction
Mac OS X
Méthodes formelles et Vérification probabiliste
Mobilité
Moteurs de Recherche
Programmation Comparée
Programmation Logique et par Contraintes Avancées
Programmation Répartie
Systèmes Avancés
Typage
Anciennes matières :
Analyse Statique de Programmes
Formats de Documents et Compression
Introduction à l'Automatique
Méthodes de Test
Preuve de Programmes
Sécurité
XML
Liens Utiles
Page de l'UFR d'Info