3 UE au choix

Liste des enseignements

• Au choix : 3 parmi 22

  • Architectures des systemes de bases de données

    3 crédits

  • Méthodes formelles de vérification

    3 crédits

  • Modélisation et spécification

    3 crédits

  • Programmation synchrone

    3 crédits

  • Architecture des systèmes d'information

    3 crédits

  • Interfaces et outils de MacOS-X

    3 crédits

  • Programmation logique et par contraintes avancée

    3 crédits

  • Programmation répartie

    3 crédits

  • Typage et analyse statique

    3 crédits

  • Base de donnéees spécialisée

    3 crédits

  • Fouille de données et aide à la décision

    3 crédits

  • Informatique embarquée

    3 crédits

  • Ingénierie des protocoles

    3 crédits

  • Administration système et réseau

    3 crédits

  • Algorithmique répartie

    3 crédits

  • Grands réseaux d'interaction

    3 crédits

  • Méthodes algorithmiques pour l'accès à l'information numérique

    3 crédits

  • Mobilité

    3 crédits

  • Protocoles des services Internet

    3 crédits

  • Systèmes avancés

    3 crédits

  • Méthodes formelles approche probabiliste

    3 crédits

  • Cours extérieur 4

    3 crédits