Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 24 results.

    1.
    Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна

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

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2013Online access: Click here to access online Availability: No items available :
    2.
    Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

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

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

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2016Availability: 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 Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

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

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

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

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

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

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    10.
    Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов М. Н. Сухоплюев, Н. Г. Кушик

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

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

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

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

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

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

    by Попов, Александр Сергеевич | Кушик, Наталья Геннадьевна | Тригуб, Максим Викторович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    14.
    К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев

    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 :
    15.
    О сложности проверки существования установочных последовательностей для недетерминированных автоматов Н. Г. Кушик, В. В. Кулямин, Н. В. Евтушенко

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

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

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    17.
    Моделирование процесса высокотемпературного горения на основе клеточных автоматов Н. Г. Кушик, А. С. Попов, М. В. Тригуб, Н. В. Евтушенко

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    18.
    Тестирование в контексте для реализации протокола TCP на основе автоматных моделей Н. М. Щипачев, Н. Г. Кушик

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

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

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

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

    by Твардовский, Александр Сергеевич | Кушик, Наталья Геннадьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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 :
    21.
    Подход к описанию шифра REDOC 3 системой уравнений над полем GF(28) Н. Г. Кушик

    by Кушик, Наталья Геннадьевна.

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

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

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    23.
    Уязвимости библиотеки стандартных шаблонов языка C++ В. А. Сибирякова, Н. Г. Кушик

    by Сибирякова, Валентина Александровна | Кушик, Наталья Геннадьевна.

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

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

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск STT 2018Other title: Some state identification problems of non-deterministic finite state machines.Online access: Click here to access online Availability: No items available :