https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Теория вероятностей - наука о случайности : массовый открытый онлайн-курс. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000538188 Wed 16 Feb 2022 13:14:14 KRAT ]]> Метод идентификации обратимого автомата с известной функцией выходов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000582172 Wed 04 Oct 2017 10:34:18 KRAT ]]> Операционная семантика ЛЯПАСа https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000515638 Thu 26 Oct 2017 10:15:39 KRAT ]]> О простых условных экспериментах идентификации обратимых автоматов некоторого класса https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000547628 Thu 25 Jan 2018 13:36:52 KRAT ]]> Разработка автоматизированного средства для доказательства свойств программ https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000488492 Thu 16 Nov 2017 16:46:52 KRAT ]]> Нуль как математическая интерпритация небытия https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000555894 Thu 04 May 2017 10:40:29 KRAT ]]> Простые условные эксперименты идентификации обратимых автоматов в некотором классе: дипломная работа (проект) специалиста по направлению подготовки: 10.05.01 - Компьютерная безопасность https://vital.lib.tsu.ru/vital/access/manager/Repository/vital:3878 Sat 04 Feb 2017 13:03:13 KRAT ]]>