Search

Displaying 10 results.

  1. Detection of vacuously true properties
    By : Xu, Xiao[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  2. Élaboration d'un module de gestion de données d'entrée du logiciel HydroAxe, destiné à la prévision des niveaux d'eau sur la Meuse
    By : Couniot, Antoine[UCL] Directed by : Pecheur, Charles[UCL] Soares Frazao, Sandra[UCL] (2015) Ecole polytechnique de Louvain

  3. Extension of PyNuSMV SAT toolbox
    By : Feyens, Victor[UCL] Directed by : Pecheur, Charles[UCL] (2018) Ecole polytechnique de Louvain

  4. Création d'une application web de réseau social musical
    By : Ivinza Mbe, Scott[UCL] Directed by : Pecheur, Charles[UCL] (2018) Ecole polytechnique de Louvain

  5. Computing minimal representations with binary decision diagrams
    By : Royers, Amaury[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

  6. Visualization of binary decision diagram
    By : Dollé, Xavier[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

  7. Création d'une plateforme de gestion de prestations en ligne
    By : de Potter d'Indoye, Aurian[UCL] Dechamps, Anthony[UCL] Directed by : Pecheur, Charles[UCL] (2017) Ecole polytechnique de Louvain

  8. Visualization of data structure in a Python development environment
    By : Detry, Damien[UCL] Directed by : Pecheur, Charles[UCL] (2021) Ecole polytechnique de Louvain

  9. Intégration du système de remise automatique du rapport de taxes au gouvernement Néerlandais dans Odoo
    By : Roose, Pierre-Rodéric[UCL] Directed by : Pecheur, Charles[UCL] (2023) Ecole polytechnique de Louvain

  10. Développement d'une application mobile de suivi d'incidents sur la voie publique
    By : Bernard Lima Costa, François[UCL] Directed by : Pecheur, Charles[UCL] (2022) Ecole polytechnique de Louvain