Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 24 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 Other title: Deriving adaptive distinguishing sequences for finite state machines.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: Известия высших учебных заведений. Физика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
    4.
    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
    5.
    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
    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: Известия высших учебных заведений. Физика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
    8.
    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
    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
    Минимизация автоматов с таймаутами и временными ограничениями А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов

    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 :
    Log in to add tags Add to cart
    11.
    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
    12.
    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
    13.
    No cover image available
    К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев

    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 :
    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: Программирование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
    16.
    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
    17.
    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
    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: Труды Института системного программирования РАН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
    21.
    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
    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