if [Master Informatique - Université de Bordeaux]

Outils pour utilisateurs

Outils du site


if

Ceci est une ancienne révision du document !


Informatique Fondamentale (Algorithmes et Modèles & Vérification des logiciels)

Présentation

TODO

Contenu disciplinaire de la formation

UE de Semestre 8

UE de Semestre 9

* Software Verification

* Seminar

* Game Synthesis & Control

* Distributed Algorithm

* Logic and Languages

* Applied Algorithmics

* Advanced Graph Theory

* Informatique Quantique

Stages

TODO

Anciens Élèves

TODO

if.1601022133.txt.gz · Dernière modification : 2020/09/25 08:22 de vpenelle