Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

    • Your search returned 21 results.

    1.
    No cover image available
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 Твардовский Александр Сергеевич

    by Твардовский, Александр Сергеевич | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2019Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01 Твардовский Александр Сергеевич ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна [ths] | Томский государственный университет.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2019Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    No cover image available
    Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Эль-Факи, Калед.

    Source: Моделирование и анализ информационных системMaterial type: Article Article; Format: electronic available online remote Other title: Testing timed nondeterministic finite state machines with the guaranteed fault coverage.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    4.
    No cover image available
    Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов А. В. Лапутенко, Е. М. Винарский, А. С. Твардовский

    by Лапутенко, Андрей Владимирович | Винарский, Евгений Максимович | Твардовский, Александр Сергеевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Experimental comparison of equivalence checking methods for extended automata.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов А. С. Твардовский, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Solving analysis and synthesis problems for timed finite state machines based on their fsm abstractions.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    6.
    No cover image available
    Синтез установочных последовательностей для автоматов с таймаутами А. С. Твардовский, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    К синтезу адаптивных различающих последовательностей для конечных автоматов А. С. Твардовский, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: Deriving adaptive distinguishing sequences for finite state machines.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    8.
    No cover image available
    Минимизация автоматов с таймаутами и временными ограничениями А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Громов, Максим Леонидович.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: Minimizing Finite State Machines with time guards and timeouts.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    10.
    No cover image available
    Эксперимент по выявлению избыточного сетевого взаимодействия Dart-реализации SMTP-клиента с сервером А. П. Сотников, Н. В. Шабалдина, М. Л. Громов [и др.]

    by Сотников, Александр Павлович | Шабалдина, Наталия Владимировна | Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Твардовский, Александр Сергеевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Redundant interaction experimental identification of the Dart-implementation of the SMTP client with the server.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    11.
    No cover image available
    О возможностях автоматного описания параллельной композиции временных автоматов А. С. Твардовский, А. В. Лапутенко

    by Твардовский, Александр Сергеевич | Лапутенко, Андрей Владимирович.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: On the possibilities of FSM description of parallel composition of timed finite state machines.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    К минимизации автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    13.
    No cover image available
    К минимизации автоматов с таймаутами А. С. Твардовский

    by Твардовский, Александр Сергеевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    14.
    No cover image available
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной Электронный ресурс автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 Твардовский Александр Сергеевич

    by Твардовский, Александр Сергеевич | Томский государственный университет.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2019Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    15.
    No cover image available
    О минимизации временных автоматов А. С. Твардовский

    by Твардовский, Александр Сергеевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    16.
    No cover image available
    Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов А. С. Твардовский, Н. Г. Кушик

    by Твардовский, Александр Сергеевич | Кушик, Наталья Геннадьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    17.
    No cover image available
    Создание кроссплатформенной версии приложения "FSM Test-1.0" С. В. Батрацкий, В. С. Белых, А. С. Твардовский

    by Батрацкий, Сергей Васильевич | Белых, Виталий Сергеевич | Твардовский, Александр Сергеевич | Томский государственный университет Радиофизический факультет.

    Source: Наука. Технологии. Инновации. Ч. 2 : сборник научных трудов, г. Новосибирск, 05-09 декабря 2016 г. : в 9 ч.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    18.
    No cover image available
    К минимизации автоматов с таймаутами А. С. Твардовский

    by Твардовский, Александр Сергеевич | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    19.
    No cover image available
    К построению подавтоматов без слияний для недетерминированных конечных автоматов А. С. Твардовский, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    20.
    No cover image available
    Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата А. С. Твардовский

    by Твардовский, Александр Сергеевич.

    Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    21.
    No cover image available
    Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов Е. М. Винарский, А. С. Твардовский

    by Винарский, Евгений Максимович | Твардовский, Александр Сергеевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart