Search

Displaying 1 - 10 of 11 results.

Pages

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

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

  3. 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

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

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

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

  7. COMUTE : Étude de faisabilité d'une plateforme de covoiturage basée sur le principe des communautés
    By : De Cnuydt, Benjamin[UCL] Deudon, Corentin[UCL] Pampfer, Eléonore[UCL] Directed by : Pecheur, Charles[UCL] Zintz, Thierry[UCL] Dubois, Michaël[UCL] (2020) Ecole polytechnique de Louvain — Faculté des sciences de la motricité — Faculté de psychologie et des sciences de l'éducation

Pages