Risultati della ricerca

  • Mostra 1 - 3 risultati su 3
Raffina i risultati
  1. 1

    Т. 19

    Pubblicazione 1986
    Libro
  2. 2

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

    Pubblicazione Москва, Наука, 1985
    Libro
  3. 3

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

    Pubblicazione Москва, МЦНМО, 2002
    Libro