Отображение 1 - 20 результаты of 51 для поиска 'Громов, Максим Леонидович', время запроса: 0.04сек. Отмена результатов
  1. 1
    Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
    Полный текст
    Статья в журнале
  2. 2
    Расширение словаря phpMorphy диалектными словами
    Полный текст
    Статья в сборнике
  3. 3
    О трех эвристиках исключения неоднозначности при доопределении булевых функций
    Полный текст
    Статья в сборнике
  4. 4
    Метод построения полного проверяющего теста для входо-выходных полуавтоматов
    Полный текст
    Статья в журнале
  5. 5
    К упрощению временных полуавтоматов при синхронизации компонентов физических систем
    Полный текст
    Статья в журнале
  6. 6
    Использование временных автоматов при тестировании киберфизических систем
    Полный текст
    Статья в журнале
  7. 7
    Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
    по Громов, Максим Леонидович
    Публикация 2009
    Книга
  8. 8
    Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
    по Громов, Максим Леонидович
    Публикация 2009
    Полный текст
    Электронная книга
  9. 9
    К синтезу тестов по мутационному автомату
    Полный текст
    Статья в сборнике
  10. 10
    Различающие эксперименты с неинициальными недетерминированными автоматами
    Полный текст
    Статья в журнале
  11. 11
    Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
    Полный текст
    Статья в журнале
  12. 12
    Синтез и оптимизация цифровых схем учебно-методическое пособие
    по Громов, Максим Леонидович
    Публикация 2014
    Полный текст
    Электронная книга
  13. 13
    Синтез и оптимизация цифровых схем учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 – Радиофизика
    по Громов, Максим Леонидович
    Публикация 2018
    Полный текст
    Электронная книга
  14. 14
    Синтез и оптимизация цифровых схем учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 – Радиофизика
    по Громов, Максим Леонидович
    Публикация 2018
    Полный текст
    Электронная книга
  15. 15
    Упрощение сколемовских функций в булевых формулах с кванторами
    Другие авторы: “...Громов, Максим Леонидович...”
    Статья в сборнике
  16. 16
    Программная реализация метода восстановления смазанных изображений
    Другие авторы: “...Громов, Максим Леонидович...”
    Статья в сборнике
  17. 17
    Создание системы управления на основе нейронных сетей
    Другие авторы: “...Громов, Максим Леонидович...”
    Полный текст
    Статья в сборнике
  18. 18
    Определение временных характеристик автомата, описывающего систему "Микроконтроллер-программа"
    Другие авторы: “...Громов, Максим Леонидович...”
    Полный текст
    Статья в сборнике
  19. 19
    Система автоматизации трассировки печатных плат на основе нейронных сетей
    Другие авторы: “...Громов, Максим Леонидович...”
    Полный текст
    Статья в сборнике
  20. 20
    Графический интерфейс системы автоматизированного составления расписания: доступ к БД и модуль ограничения ресурсов
    Другие авторы: “...Громов, Максим Леонидович...”
    Полный текст
    Статья в сборнике
Инструменты поиска: RSS-поток