Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 20 results.

    1.
    No cover image available
    2.
    3.
    4.
    No cover image available
    Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Спицина Наталия Владимировна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

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

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

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2004Other title: Линейные коды.Availability: No items available :
    Log in to add tags Add to cart
    6.
    No cover image available
    Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Дорофеева Маргарита Юрьевна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

    by Дорофеева, Маргарита Юрьевна | Евтушенко, Нина Владимировна [ths] | Томский государственный университет.

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

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

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

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2003Availability: No items available :
    Log in to add tags Add to cart
    11.
    No cover image available
    Недетерминированные автоматы: анализ и синтез Ч. 1 [учебное пособие] Н. В. Евтушенко, А. Ф. Петренко, М. В. Ветрова

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2006Other title: Отношения и операции.Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    Оптимизация многокомпонентных дискретных систем на основе решения автоматных уравнений диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Тихомирова Светлана Владимировна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

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

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

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

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

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2013Availability: No items available :
    Log in to add tags Add to cart
    16.
    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: Томск [б. и.] 2020Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    17.
    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: Томск [б. и.] 2016Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    18.
    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
    19.
    No cover image available
    Недетерминированные автоматы: анализ и синтез Ч. 2 [учебное пособие] Н. В. Евтушенко, М. В. Рекун, С. В. Тихомирова ; [Том. гос. ун-т, Радиофиз. фак-т]

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

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2009Other title: Решение автоматных уравнений.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 Агибалов, Геннадий Петрович, 1939-2020 | Евтушенко, Нина Владимировна | Томский государственный университет Факультет прикладной математики и кибернетики (до 01.09.2017 г.) | Томский государственный университет Радиофизический факультет.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 1985Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart