Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 30 results.

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

    by Прокопенко, Светлана Анатольевна | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск 2000Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    3.
    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
    4.
    5.
    No cover image available
    6.
    No cover image available
    7.
    Лекции по дискретной математике [учебное пособие Ю. В. Капитонова, С. Л. Кривой, А. А. Летичевский, Г. М. Луцкий]

    by Капитонова, Юлия Владимировна | Кривой, Сергей Лукьянович | Летичевский, Александр Адольфович | Луцкий, Георгий Михайлович.

    Material type: Text Text; Format: print Language: Russian Publication details: СПб. БХВ-Петербург 2004Availability: No items available :
    Log in to add tags Add to cart
    8.
    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
    9.
    No cover image available
    Адаптация H-метода для тестирования недетерминированных автоматов относительно редукции М. Ю. Дорофеева

    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 :
    Log in to add tags Add to cart
    10.
    No cover image available
    Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко

    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 :
    Log in to add tags Add to cart
    11.
    No cover image available
    Технология разработки методов построения тестов для недетерминированных автоматов И. Б. Куфарева, Н. В. Евтушенко

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

    Source: Всесибирские чтения по математике и механике: Международная конференция, 17-20 июня 1997 г., г. Томск: Тезисы докладов. Т. 1Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    Отношения различимости между недетерминированными автоматами М. В. Ветрова

    by Ветрова, Мария Викторовна.

    Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    13.
    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
    14.
    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
    15.
    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
    16.
    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
    17.
    18.
    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
    19.
    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
    20.
    No cover image available
    О верхней оценке длины разделяющей последовательности Н. В. Евтушенко, Н. В. Спицина

    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 :
    Log in to add tags Add to cart
    21.
    No cover image available
    Технология разработки методов построения тестов для недетерминированных автоматов И. Б. Куфарева, Н. В. Евтушенко

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

    Source: Международная конференция "Всесибирские чтения по математике и механике", 17-20 июня 1997 г., г. Томск: Избранные доклады. Т. 1Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    22.
    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
    23.
    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
    24.
    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
    25.
    No cover image available
    К синтезу условных установочных экспериментов для недетерминированных автоматов Н. Г. Кушик, Н. В. Евтушенко

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    26.
    No cover image available
    Детерминированные редукции недетерминированных автоматов М. В. Ветрова

    by Ветрова, Мария Викторовна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    27.
    No cover image available
    К тестированию недетерминированных автоматов с таймаутами относительно неразделимости Н. В. Шабалдина

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием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
    28.
    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
    29.
    No cover image available
    Исследование отношения неразделимости для недетерминированных автоматов Н. В. Евтушенко, Н. В. Спицына

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

    Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    30.
    Некоторые задачи идентификации состояний для недетерминированных автоматов Н. В. Евтушенко, Н. Г. Кушик ; Нац. исслед. Том. гос. ун-т, Ин-т системного программирования им. В. П. Иванникова РАН [и др.]

    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 :
    Log in to add tags Add to cart