Thèses
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

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

Placement et routage de circuits mixtes analogiques-numériques CMOS
A. Mhamdi (Encadrant)
Université Ibn Khaldoun (2019), Pages 123 Pages

Analyse de la structure communautaire des réseaux bipartis
A. Mhamdi (Encadrant)
Université Ibn Khaldoun (2019), Pages 112 Pages

Géométrie des interactions protéiques
S. El gharabi (Encadrant)
Université Ibn Khaldoun (2019), Pages 94 Pages

Une approche meta-design des learning games pour développer leur usage
S. El gharabi (Encadrant)
Université Ibn Khaldoun (2019), Pages 157 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

Liens
Contact
Laboratoire de Mathématiques, Informatique et Applications
Bloc des laboratoires
Laboratoire de Mathématiques, Informatique et Applications
Faculté des Science d'Assilah
53000 Assilah-tanger
Maroc
06123456789
05123456789
g.Rozenberg@gmail.res