https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000619196 Wed 24 Jan 2018 10:58:36 KRAT ]]> Актуальные проблемы метода коллаборативной фильтрации https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000563583 Wed 22 Feb 2017 13:49:51 KRAT ]]> Разработка и реализация клиент-серверной системы для оповещения пользователей о доступности ресурсов с торрент-трекеров: магистерская диссертация по направлению подготовки: 01.04.02 - Прикладная математика и информатика https://vital.lib.tsu.ru/vital/access/manager/Repository/vital:2144 Wed 07 Jun 2017 15:52:15 KRAT ]]> Синтез отказоустойчивых автоматных сетей для неисправностей задержек путей https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651169 Wed 03 Apr 2019 14:52:58 KRAT ]]> Синтез отказоустойчивых логических схем и автоматных сетей: научный доклад по направлению подготовки: 09.06.01 - Информатика и вычислительная техника https://vital.lib.tsu.ru/vital/access/manager/Repository/vital:12045 Sat 20 Jun 2020 08:45:01 KRAT ]]>