https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000634890 Wed 31 Oct 2018 11:18:47 KRAT ]]> Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием 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:000927131 Wed 25 Jan 2023 09:40:14 KRAT ]]> Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000619196 Wed 24 Jan 2018 10:58:36 KRAT ]]> Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000483230 Wed 07 Jun 2017 12:34:22 KRAT ]]> Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000481003 Wed 06 Sep 2017 15:07:05 KRAT ]]> Задержки проявления неисправностей при контроле работы автомата в режиме функционирования https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000515812 Wed 05 Jul 2017 10:30:21 KRAT ]]> Поиск ложных путей в логических схемах из двухвходовых вентилей с использованием операций над ROBDD-графами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651163 Wed 03 Apr 2019 14:53:06 KRAT ]]> Синтез отказоустойчивых автоматных сетей для неисправностей задержек путей https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651169 Wed 03 Apr 2019 14:52:58 KRAT ]]> Синтез частично программируемых схем, маскирующих логические неисправности элементов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651171 Wed 03 Apr 2019 14:52:52 KRAT ]]> Труды Томского государственного университета. Т. 306 https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000721239 Wed 01 Dec 2021 11:23:11 KRAT ]]> Программа для работы с SBDD- и MTBDD-графами. Исследование их практического использования https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000563651 Tue 28 Feb 2017 09:56:56 KRAT ]]> Труды Томского государственного университета. Т. 308 https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001015253 Tue 23 Jan 2024 09:35:19 KRAT ]]> Труды Томского государственного университета. Т. 305 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000796104 Thu 15 Apr 2021 15:42:48 KRAT ]]> Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000668711 Thu 13 Feb 2020 12:56:28 KRAT ]]> Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001000582 Thu 04 May 2023 16:12:13 KRAT ]]> Пакеты прикладных программ : рабочая программа дисциплины : направление подготовки 010400 - прикладная математика и информатика : квалификация выпускника - бакалавр : форма обучения - очная https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000441828 Thu 03 Nov 2016 14:54:21 KRAT ]]> Минимизация частично определенных булевых функций, представленных BDD-графами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000552773 Mon 30 Sep 2019 12:47:53 KRAT ]]> Обеспечение надежности физических систем: синтез частично программируемых логических схем https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000487216 Mon 16 Sep 2019 12:09:13 KRAT ]]> Синтез монотонных детекторов для подмножества равновесных кодов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000621229 Mon 05 Mar 2018 10:11:38 KRAT ]]> Синтез отказоустойчивых последовательностных схем для неисправностей задержек путей https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000621233 Mon 05 Mar 2018 10:11:35 KRAT ]]> Синтез самопроверяемых последовательностных схем для неисправностей задержек путей https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000621149 Mon 05 Mar 2018 09:57:47 KRAT ]]> Функции алгебры логики : учебно-методическое пособие : [для студентов физико-математических специальностей] https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000451532 Fri 28 Oct 2016 19:17:33 KRAT ]]> Тестирование программного обеспечения : учебно-методический комплекс https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243888 Fri 27 Mar 2020 17:33:33 KRAT ]]> Дискретная математика : учебное пособие https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243889 Fri 27 Mar 2020 16:44:35 KRAT ]]> Базы данных : учебно-методический комплекс https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243901 Fri 27 Mar 2020 16:37:19 KRAT ]]> Бинарные решающие диаграммы и их приложения : учебно-методический комплекс https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000427313 Fri 27 Mar 2020 12:18:23 KRAT ]]> Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой международной конференции, 7-9 сентября 2020 г https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000724158 Fri 25 Sep 2020 12:38:19 KRAT ]]> Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000465619 Fri 15 Sep 2017 10:31:11 KRAT ]]>