Showing 1 - 3 results of 3 for search '', query time: 0.01s Refine Results
  1. 1
    Метод и машина логического вывода для формальной верификации параллельных алгоритмов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 ; 05.13.15
    Перейти в каталог НБ ТГУ
    Book
  2. 2
    Математические модели, методы анализа и управления в корпоративных сетях автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.15
    Перейти в каталог НБ ТГУ
    Book
  3. 3
    Повышение точности таймеров для встроенных вычислительных систем промышленного управления на основе OC LINUX диссертация на соискание ученой степени кандидата технических наук : 05.13.15
    Перейти в каталог НБ ТГУ
    Book
Search Tools: Get RSS Feed