Résultats de la recherche

  • Résultat(s) 1 - 2 résultats de 2
Affiner les résultats
  1. 1

    Discovering Statistics Using IBM SPSS Statistics par Field, Andy

    Publié 2018
    Inconnue
  2. 2

    Certified programming with dependent types. A pragmatic introduction to the coq proof assistant. par Chlipala, Adam

    Publié 2013
    Livre