Showing 1 - 4 results of 4 for search 'Кан, Надежда Владимировна', query time: 0.01s Refine Results
  1. 1
    Инструмент автоматизированной разработки программ на основе формальных моделей
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  2. 2
    Конвертация μCRL-описания автомата в формат kitidis
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  3. 3
    Исследование оптических характеристик атмосферных ледяных кристаллов случайной формы на примере набора из 500 частиц
    Other Authors: “...Кан, Надежда Владимировна...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  4. 4
    Исследование оптических характеристик атмосферных ледяных кристаллов случайной формы на примере набора из 500 частиц
    Other Authors: “...Кан, Надежда Владимировна...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
Search Tools: Get RSS Feed