檢索結果 - Sirdey, Renaud

  • Résultat(s) 1 - 3 résultats de 3
Affiner les résultats
  1. 1
    封面圖片

    Les Solutions pour faire bonne figure 由 Sirdey, Renaud

    發表在 La Recherche (2007)
    Numéro de revue thématique


    加到收藏夾
    Enregistré dans:
  2. 2
    封面圖片

    Vérifier des programmes en prouvant des théorèmes 由 Sirdey, Renaud

    發表在 La Recherche (2007)
    Numéro de revue thématique


    加到收藏夾
    Enregistré dans:
  3. 3
    封面圖片

    Se mettre d'accord entre ordinateurs 由 Sirdey, Renaud

    發表在 La Recherche (2008)
    Numéro de revue thématique


    加到收藏夾
    Enregistré dans:

檢索工具: