Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 14 results.

    1.
    No cover image available
    2.
    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
    3.
    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
    4.
    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
    5.
    No cover image available
    6.
    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
    7.
    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
    8.
    No cover image available
    9.
    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
    10.
    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
    11.
    No cover image available
    12.
    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
    13.
    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
    14.
    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