Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
Main Author: | Твардовский, Александр Сергеевич |
---|---|
Corporate Author: | Томский государственный университет |
Format: | eBook |
Language: | Russian |
Published: |
Томск
[б. и.]
2019
|
Subjects: | |
Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000671930 Перейти в каталог НБ ТГУ |
Similar Items
-
Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
by: Твардовский, Александр Сергеевич
Published: (2019) -
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
by: Ермаков, Антон Дмитриевич
Published: (2017) -
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
by: Ермаков, Антон Дмитриевич
Published: (2017) -
Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
by: Дорофеева, Маргарита Юрьевна
Published: (2007) -
Алгоритмы обработки и анализа изображений иерархической временной сетью автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
by: Болотова, Юлия Александровна
Published: (2013)