Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 14 results.

    1.
    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
    2.
    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
    3.
    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
    4.
    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
    5.
    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
    6.
    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
    7.
    No cover image available
    Решение автоматного уравнения для обобщенной операции композиции Н. В. Спицына, Н. В. Евтушенко, А. Ф. Петренко

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

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; 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: Deriving safe components of web services based on the solution of FSM equations.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
    Исследование живых и безопасных решений параллельных уравнений и неравенств на множестве полуавтоматов и автоматов Диссертация на соискание ученой степени кандидата технических наук. 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
    11.
    No cover image available
    12.
    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
    13.
    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
    14.
    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