検索結果

関連のトピックス ...
  • 検索結果 1 - 3 結果 / 3
結果の絞り込み
  1. 1
    Т. 19

    Т. 19

    出版事項 1986
    図書
  2. 2
    Нейронные сети и цепи Маркова

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

    出版事項 Москва, Наука, 1985
    図書
  3. 3
    Верификация моделей программ: Model Checking пер. с англ.

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

    出版事項 Москва, МЦНМО, 2002
    図書

検索ツール: