Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 6 results.

    1.
    К синтезу неблокирующих компенсаторов для систем с нетерминальным поведением В. Г. Бушков, Н. В. Евтушенко

    by Бушков, В. Г | Евтушенко, Нина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    2.
    Проверка разрешимости уравнений относительно конкатенации для полуавтоматов с таймаутами Е. В. Широкова, Н. В. Евтушенко

    by Широкова, Екатерина Владимировна | Евтушенко, Нина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Checking the solvability of equations over the concatenation for automata with timeouts.Online access: Click here to access online Availability: No items available :
    3.
    К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев

    by Евтушенко, Нина Владимировна | Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич | Кушик, Наталья Геннадьевна.

    Source: Моделирование и анализ информационных системMaterial type: Article Article; Format: electronic available online remote Other title: Deriving synchronizing and homing sequences for input/output automata.Online access: Click here to access online Availability: No items available :
    4.
    Решение автоматного уравнения для обобщенной операции композиции Н. В. Спицына, Н. В. Евтушенко, А. Ф. Петренко

    by Спицына, Наталия Владимировна | Евтушенко, Нина Владимировна | Петренко, Александр Федорович.

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    5.
    Синтез условных различающих экспериментов для автоматов с недетерминированным поведением М. Л. Громов, Н. В. Евтушенко

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

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    6.
    Исследование живых и безопасных решений параллельных уравнений и неравенств на множестве полуавтоматов и автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Буфалов С. А. ; Науч. рук. Н. В. Евтушенко; Томский гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2002Availability: No items available :