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