Resultados de búsqueda

  • Mostrando 1 - 3 Resultados de 3
Limitar resultados
  1. 1

    Т. 19

    Publicado 1986
    Libro
  2. 2

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

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

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

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