Treffer 1 - 7 von 7 für Suche 'Максимец, А.Н.', Suchdauer: 0,01s Treffer weiter einschränken
  1. 1
    Поиск программных инвариантов в виде полиномов
    von Максимец, А.Н.
    Veröffentlicht 2013
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Верификация программ: состояние, проблемы, экспериментальные результаты. I
    von Максимец, А.Н.
    Veröffentlicht 2013
    Volltext
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Верификация программ: состояние, проблемы, экспериментальные результаты. II
    von Максимец, А.Н.
    Veröffentlicht 2014
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  4. 4
    Верификация программ: состояние, проблемы, результаты. I
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  5. 5
    Верификация программ: состояние, проблемы, результаты. II
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  6. 6
    Разработка и обоснование алгоритмов на основе семантических свойств
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  7. 7
    Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden