Résultats de la recherche

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

    Т. 19

    Publié 1986
    Livre
  2. 2

    Нейронные сети и цепи Маркова par Четаев А. Н. Александр Николаевич

    Publié Москва, Наука, 1985
    Livre
  3. 3

    Верификация моделей программ: Model Checking пер. с англ. par Кларк, мл. Э. М. Эдмунд М.

    Publié Москва, МЦНМО, 2002
    Livre