תוצאות חיפוש

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    Т. 19

    יצא לאור 1986
    ספר
  2. 2

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

    יצא לאור Москва, Наука, 1985
    ספר
  3. 3

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

    יצא לאור Москва, МЦНМО, 2002
    ספר