Resultados da pesquisa

  • A mostrar 1 - 3 resultados de 3
Refinar resultados
  1. 1

    Т. 19

    Publicado em 1986
    Livro
  2. 2

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

    Publicado em Москва, Наука, 1985
    Livro
  3. 3

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

    Publicado em Москва, МЦНМО, 2002
    Livro