Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Equipes de Recherche
  3. Equipe Rech. CCSI
  4. Thèses
Thèses
Approches Gloutonnes pour l'Approximation de Problèmes Combinatoires NP-difficiles
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2019), Pages 114 Pages
Soutenir l'apprentissage de l'autorégulation à l'aide de réseaux Bayésiens dynamiques
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2019), Pages 89 Pages
Control plane in dynamic software networks
A. Frosini (Encadrant)
Université Ibn Khaldoun (2019), Pages 139 Pages
Programmation impérative par raffinements avec l'assistant de preuve Coq
Y. Ouakili (Encadrant)
Université Ibn Khaldoun (2019), Pages 104 Pages
Temps et durée : de la programmation réactive synchrone à la composition musicale
Y. Ouakili (Encadrant)
Université Ibn Khaldoun (2019), Pages 110 Pages
Sécurité étendue de la cryptographie fondée sur les réseaux Euclidiens
A. Attmani (Encadrant)
Université Ibn Khaldoun (2019), Pages 114 Pages
Reconnaissance de motifs dynamiques par automates temporisés à mémoire
M. Harkass (Encadrant)
Université Ibn Khaldoun (2019), Pages 84 Pages
Supports de communications ubiquitaires pour les réseaux à l'échelle de la ville
A. Boualem (Encadrant)
Université Ibn Khaldoun (2019), Pages 144 Pages
Prédiction de performances des systèmes de Reconnaissance Automatique de la Parole
A. Boualem (Encadrant)
Université Ibn Khaldoun (2019), Pages 99 Pages
Collecter, Transcrire, Analyser : quand la machine assiste le linguiste dans son travail de terrain
F. Belarbi (Encadrant)
Université Ibn Khaldoun (2019), Pages 140 Pages
Formalisations d’analyses d’erreurs en analyse numérique et en arithmétique à virgule flottante
K. Hajji (Encadrant)
Université Ibn Khaldoun (2019), Pages 139 Pages
Designing Sustainable, Autonomous, and Energy Efficient Internet of Things Systems.
N. El mebtoul (Encadrant)
Université Ibn Khaldoun (2018), Pages 128 Pages
Static Analysis for BSPlib Programs
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2018), Pages 122 Pages