Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 73 results.

    1.
    Коды, исправляющие ошибки Ч. 1 учебно-методическое пособие Том. гос. ун-т, Радифизический факультет ; сост. Н. В. Евтушенко, А. В. Коломеец

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2004Other title: Линейные коды.Availability: No items available :
    2.
    Исследование живых и безопасных решений параллельных уравнений и неравенств на множестве полуавтоматов и автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Буфалов С. А. ; Науч. рук. Н. В. Евтушенко; Томский гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2002Availability: No items available :
    3.
    4.
    Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2013Availability: No items available :
    5.
    6.
    7.
    Оптимизация многокомпонентных дискретных систем на основе решения автоматных уравнений диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Тихомирова Светлана Владимировна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2008Availability: No items available :
    8.
    9.
    10.
    Недетерминированные автоматы: анализ и синтез Ч. 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 :
    11.
    Декомпозиция конечных автоматов Г. П. Агибалов, Н. В. Евтушенко

    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 :
    12.
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной диссертация на соискание ученой степени кандидата физико-математических наук : 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 :
    13.
    Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Дорофеева Маргарита Юрьевна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2007Availability: No items available :
    14.
    15.
    Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Спицина Наталия Владимировна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

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

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

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2010Availability: No items available :
    17.
    18.
    Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации диссертация на соискание ученой степени кандидата технических наук : 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 :
    19.
    Недетерминированные автоматы: анализ и синтез Ч. 1 [учебное пособие] Н. В. Евтушенко, А. Ф. Петренко, М. В. Ветрова

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2006Other title: Отношения и операции.Availability: No items available :
    20.
    Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Ветрова Мария Викторовна; Науч. рук. Евтушенко Н. В. ; Том. гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2003Availability: No items available :
    21.
    Синтез установочных последовательностей для автоматов с таймаутами А. С. Твардовский, Н. В. Евтушенко

    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 :
    22.
    Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко

    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 :
    23.
    Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов М. В. Жигулин, С. А. Прокопенко, Н. В. Евтушенко

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

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)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 :
    24.
    К комплексной оценке удовлетворенности конечного пользователя качеством обслуживания в телекоммуникационных системах Н. В. Евтушенко, Н. Г. Кушик

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    25.
    Об одной ветви томской кибернетики Н. В. Евтушенко

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

    Source: Радиофизический факультет. 50 лет РФФMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    26.
    Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов А. С. Твардовский, Н. В. Евтушенко

    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 :
    27.
    Технология разработки методов построения тестов для недетерминированных автоматов И. Б. Куфарева, Н. В. Евтушенко

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

    Source: Всесибирские чтения по математике и механике: Международная конференция, 17-20 июня 1997 г., г. Томск: Тезисы докладов. Т. 1Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    28.
    Новые информационные технологии в исследовании сложных структур материалы одиннадцатой международной конференции, 6-10 июня 2016 г. Урал. гос. архит.-худож. ун-т, Нац. исслед. Том. гос. ун-т, Урал. федер. ун-т им. первого Президента России Б. Н. Ельцина ; [редкол.: Евтушенко Н. В., Захарова Г. Б., Горцев А. М.]

    by Евтушенко, Нина Владимировна [edt] | Захарова, Галина Борисовна [edt] | Горцев, Александр Михайлович, 1944-2023 [edt] | Томский государственный университет.

    Material type: Set Set; Format: electronic available online remote Publication details: Томск Издательский Дом Томского государственного университета 2016Online access: Click here to access online Availability: No items available :
    29.
    К масштабируемому моделированию влияния стресса на сердечно-сосудистые и онкологические заболевания Н. Г. Кушик, М. С. Форостьянова, Н. В. Евтушенко и др.

    by Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна | Жукова, Наталья Григорьевна | Кжышковска, Юлия Георгиевна | Савельева, Ольга Евгеньевна | Форостьянова, Мария Сергеевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Научное управление Лаборатории НУ.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    30.
    Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем диссертация на соискание ученой степени кандидата технических наук : 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 :
    31.
    Об одной ветви Томской кибернетики Н. В. Евтушенко

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

    Source: Вестник Томского государственного университетаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    32.
    Различающие эксперименты с неинициальными недетерминированными автоматами М. Л. Громов, Н. Г. Кушик, Н. В. Евтушенко

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    33.
    К синтезу адаптивных различающих последовательностей для конечных автоматов А. С. Твардовский, Н. В. Евтушенко

    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 :
    34.
    Автоматная модель контроля знаний в интеллектуальных обучающих системах Н. В. Евтушенко, Н. А. Паршина, А. Е. Янковская

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

    Source: Математическое моделирование. Кибернетика. ИнформатикаMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    35.
    Построение тестов для конечных автоматов относительно неразделимости Н. В. Шабалдина, Н. В. Евтушенко

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

    Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    36.
    "Правильно поставленная задача - уже половина решения" интервью Н. Евтушенко ; записала Т. Багаева

    by Евтушенко, Нина Владимировна | Багаева, Татьяна [aui].

    Source: Портрет на фоне. . .Material type: Article Article; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    37.
    К установке сложных систем в известное состояние Н. В. Евтушенко, Н. Г. Кушик

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

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

    by Евтушенко, Нина Владимировна | Томский государственный университет Факультет прикладной математики и кибернетики.

    Material type: Text Text; Format: electronic available online remote; Audience: Specialized; Publication details: Томск [б. и.] 2011Other title: Рабочая программа дисциплины "Алгебра".Availability: No items available :
    39.
    Проверка разрешимости уравнений относительно конкатенации для полуавтоматов с таймаутами Е. В. Широкова, Н. В. Евтушенко

    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 :
    40.
    О верхней оценке длины разделяющей последовательности Н. В. Евтушенко, Н. В. Спицина

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

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)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 :
    41.
    Характеризация живых решений синхронного автоматного уравнения Т. Вилла, Н. В. Евтушенко, С. В. Жарикова

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

    Source: Вестник Томского государственного университетаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    42.
    Технология разработки методов построения тестов для недетерминированных автоматов И. Б. Куфарева, Н. В. Евтушенко

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

    Source: Международная конференция "Всесибирские чтения по математике и механике", 17-20 июня 1997 г., г. Томск: Избранные доклады. Т. 1Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    43.
    Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    44.
    Оптимизация компонентов многомодульных систем на основе решения автоматных уравнений Е. В. Широкова, Л. Г. Евтушенко, А. В. Лапутенко, Н. В. Евтушенко

    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 :
    45.
    Минимизация автоматов с таймаутами и временными ограничениями А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов

    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 :
    46.
    Параллельная композиция конечных автоматов с таймаутами О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    47.
    К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев

    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 :
    48.
    К минимизации автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко

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

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

    by Евтушенко, Нина Владимировна | Коломеец, Антон Владимирович | Попов, Дмитрий Дмитриевич | Томский государственный университет Институт дистанционного образования.

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск ИДО ТГУ 2007Online access: Click here to access online Availability: No items available :
    50.
    О сложности проверки существования установочных последовательностей для недетерминированных автоматов Н. Г. Кушик, В. В. Кулямин, Н. В. Евтушенко

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

    Source: ПрограммированиеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :