https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием 4-8 июня 2018 г. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000631597 Wed 25 Jul 2018 14:54:49 KRAT ]]> Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001000555 Wed 03 May 2023 15:09:17 KRAT ]]> Применение операций левого/правого частного для очистки пользовательских данных в веб-приложениях https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651165 Wed 03 Apr 2019 15:00:08 KRAT ]]> Разработка XML-представления для описания структуры автоматной композиции https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651174 Wed 03 Apr 2019 15:00:04 KRAT ]]> К построению параллельной композиции расширенных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651166 Wed 03 Apr 2019 15:00:02 KRAT ]]> К аппаратной реализации нейрона на ПЛИС https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651192 Wed 03 Apr 2019 15:00:00 KRAT ]]> Тестирование JAVA программ с использованием инструмента FSMTest2JUnit https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651175 Wed 03 Apr 2019 14:59:52 KRAT ]]> Автоматизация построения автоматной композиции для описания клиент-серверного взаимодействия на примере протокола BOOTP https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565185 Wed 02 Jun 2021 10:06:58 KRAT ]]> Проверка свойства реактивности в Dart-реализации SMTP-клиента https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926979 Tue 24 Jan 2023 10:06:18 KRAT ]]> Эксперимент по выявлению избыточного сетевого взаимодействия Dart-реализации SMTP-клиента с сервером https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926977 Tue 24 Jan 2023 10:06:16 KRAT ]]> К построению параллельной композиции расширенных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000666989 Tue 22 Oct 2019 12:17:57 KRAT ]]> К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000469888 Thu 31 Aug 2017 10:57:09 KRAT ]]> Автоматизированная система "Виртуальная локальная сеть" https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000244442 Thu 23 Mar 2017 13:53:02 KRAT ]]> Линейная алгебра (лекции) : учебно-методический комплекс : [для студентов вузов по направлениям 03.03.03 "Радиофизика", 12.03.03 "Лазерная техники и лазерные технологии", 12.03.02 "Оптотехника", 11.05.01 "Радиоэлектронные системы и комплексы"] https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000632445 Thu 06 Sep 2018 16:18:37 KRAT ]]> К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000791939 Sat 23 Jan 2021 11:09:46 KRAT ]]> Тестирование DART-реализации клиентской части протокола POP3 https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000847383 Sat 05 Mar 2022 10:10:53 KRAT ]]> Интерактивная обучающая система по линейной алгебре: генерация систем линейных уравнений https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000520248 Mon 30 Sep 2019 11:04:47 KRAT ]]> Информационная система комплексной оценки эффективности инновационного развития региона https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000579138 Mon 21 Aug 2017 13:54:10 KRAT ]]> Моделирование работы протокола OAuth 2.0 на языке Promela с целью обнаружения возможных уязвимостей https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001129511 Mon 12 Feb 2024 10:15:22 KRAT ]]> Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000793163 Mon 08 Feb 2021 10:36:15 KRAT ]]> Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000621131 Mon 05 Mar 2018 09:57:43 KRAT ]]> Интерактивный модуль генерации и решения систем линейных уравнений в структуре электронного обучающего курса "Линейная алгебра" https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000621127 Mon 05 Mar 2018 09:57:41 KRAT ]]> К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000435824 Mon 02 Oct 2017 12:08:08 KRAT ]]> Разработка приложений с графическим пользовательским интерфейсом на языке C# : учебно-методический комплекс https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000244209 Fri 27 Mar 2020 17:26:17 KRAT ]]> Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой международной конференции, 7-9 сентября 2020 г https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000724158 Fri 25 Sep 2020 12:38:19 KRAT ]]> Исследование отношения неразделимости для недетерминированных автоматов с тайм-аутами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457820 Fri 15 Sep 2017 10:52:14 KRAT ]]> К тестированию недетерминированных автоматов с таймаутами относительно неразделимости https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000483232 Fri 02 Jun 2017 11:00:08 KRAT ]]>