Search

Displaying 31 - 37 of 37 results.

Pages

  1. Optimizing the delivery of prepared meals
    By : Massin, Guillaume[UCL] Directed by : Deville, Yves[UCL] (2015) Ecole polytechnique de Louvain

  2. A study program verificator based on petri nets
    By : Colson, Olivier[UCL] Directed by : Lobelle, Marc[UCL] (2015) Ecole polytechnique de Louvain

  3. Implementing temporal logic queries with PyNuSMV
    By : Thibert, Simon[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  4. Efficient algorithms for table constraints
    By : Demeulenaere, Jordan[UCL] Directed by : Schaus, Pierre[UCL] (2015) Ecole polytechnique de Louvain

Pages