Результати пошуку

  • Показ 1 - 3 результатів із 3
Уточнити результати
  1. 1

    Т. 19

    Опубліковано 1986
    Книга
  2. 2

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

    Опубліковано Москва, Наука, 1985
    Книга
  3. 3

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

    Опубліковано Москва, МЦНМО, 2002
    Книга