Showing 1 - 20 results of 42 for search 'Останин, Сергей Александрович', query time: 0.04s Refine Results
  1. 1
    Решение задачи кодирования с помощью MTBDD-графов
    Перейти в каталог НБ ТГУ
    Book Chapter
  2. 2
    Архитектура компьютеров рабочая программа дисциплины : направление подготовки: 010400 - Прикладная математика и информатика; квалификация выпускника: бакалавр; форма обучения: очная
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    Синтез отказоустойчивых автоматных сетей для неисправностей задержек путей
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  4. 4
    Синтез самопроверяемых последовательностных схем для неисправностей задержек путей
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  5. 5
    Задержки проявления неисправностей при контроле работы автомата в режиме функционирования
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  6. 6
    Базы данных учебно-методический комплекс
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 7
    Методы синтеза контролепригодных дискретных устройств Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
    Перейти в каталог НБ ТГУ
    Book
  8. 8
    Методы синтеза контролепригодных дискретных устройств Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
    Перейти в каталог НБ ТГУ
    Book
  9. 9
    Синтез комбинированных схем в базисе FPGA по ZDD-представлению ДНФ
    Перейти в каталог НБ ТГУ
    Book Chapter
  10. 10
    Минимизация частично определенных булевых функций, представленных BDD-графами
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  11. 11
    Бинарные решающие диаграммы и их приложения учебно-методический комплекс
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 12
    Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  13. 13
    Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  14. 14
    Синтез самопроверяемых асинхронных автоматов с нормальными функциями переходов/выходов
    Перейти в каталог НБ ТГУ
    Book Chapter
  15. 15
    Разработка лазерных внутрирезонаторных систем и методов для атмосферно-оптических измерений автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.04.01
    Перейти в каталог НБ ТГУ
    Book
  16. 16
    Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа
    Other Authors: “...Останин, Сергей Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  17. 17
    Тестирование программного обеспечения учебно-методический комплекс
    Other Authors: “...Останин, Сергей Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 18
    Элементы теории графов учебно-методическое пособие
    Published 2005
    Other Authors: “...Останин, Сергей Александрович...”
    Перейти в каталог НБ ТГУ
    Book
  19. 19
    Программа для работы с SBDD- и MTBDD-графами. Исследование их практического использования
    Other Authors: “...Останин, Сергей Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  20. 20
    Дискретная математика учебное пособие
    Other Authors: “...Останин, Сергей Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed