2020

Formalisation en Coq de Bases de Donnees Relationnelles et Deductives -et Mecanisation de Datalog

LINUS Kim

Projet de fin d'études Licence

2018

Vers les reseaux de nouvelle generation avec SDN et NFV

YOSHI Madison

Projet de fin d'études Licence

2011

Cognitive Service Engineering Declartive User-cognitive service Interaction Patterns and Conversation Models.

BRUNO Brandon

Projet de fin d'études Licence

2011

Apprentissage sur des donnees multispectrales et multi-plateformes au profit des systemes de mission de surveillance

FRANCES Brady

Projet de fin d'études Licence