| № | Дата |
Автор |
Заглавие |
|---|
|
2004 |
Песков, Николай Владимирович |
Поиск информативных фрагментов описаний объектов в задачах распознавания : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Песков Николай Владимирович ; [Научный совет по комплексной проблеме "Кибернетика"] |
|
1991 |
Прихожий, Анатолий Алексеевич (доктор технических наук ; род. 1953) |
Логические алгоритмы / А. А. Прихожий |
|
1993 |
Стрыгин, Владимир Захарович (математик) |
Полиномиальный алгоритм выявления общезначимости (выполнимости) булевых формул |
|
1993 |
|
Полиномиальный алгоритм синтеза минимальных схем из функциональных элементов И-НЕ (функций Шеффера) / В.З.Стрыгин |
|
2004 |
Логачев, Олег Алексеевич (кандидат физико-математических наук) |
Булевы функции в теории кодирования и криптологии / Логачев О.А., Сальников А.А., Ященко В.В. ; Институт проблем информационной безопасности МГУ |
|
1973 |
|
Синтез схем в однородных структурах / составители: Ю.Н.Бутин и др |
|
2014 |
Тагави Афшорд, Саид Хосейн (кандидат технических наук) |
Algorithms for decomposition of Boolean functions based on the tabular method : thesis for the degree of doctor of philosophy in speciality 05.13.12 ― computer aided design = Алгоритмы декомпозиции булевых функций на основе табличного метода : диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.12 ― системы автоматизации проектирования / Taghavi Afshord Saeid Hossein ; scientific supervisor: Pottosin Yu. V. ; National Academy of Sciences of Belarus, United Institute of Informatics Problems |
|
1999 |
Чашкин, Александр Викторович |
О сложности сужений булевых функций : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.09 / Моск. гос. ун-т им. М.В. Ломоносова, Мех.-Мат. фак |
|
1993 |
|
Булево дифференциальное исчисление в вычислительной технике : учебное пособие по курсу "Прикладная математика" для спец. 22.01 ― "Вычислительные машины, комплексы, системы и сети", 22.02 ― "Автоматизированные системы обработки информации и управления" / Министерство народного образования БССР, Минский радиотехнический институт, Кафедра вычислительных методов и программирования ; [С. А. Поттосина и др.]. — Ч. 2: Методы Булева дифференциального исчисления в решении прикладных задач |
|
1991 |
|
Автоматизация логического проектирования дискретных систем : сборник научных трудов / Академия наук Беларуси, Институт технической кибернетики ; научный редактор А. Д. Закревский |
|
1998 |
Перязев, Николай Алексеевич (доктор физико-математических наук) |
Слабоповторные булевы функции в бинарном базисе |
|
1995 |
Перязев, Николай Алексеевич (доктор физико-математических наук) |
Сложность представлений булевых функций формулами в немонолинейных базисах |
|
1987 |
Поляков, Александр Сергеевич (кандидат технических наук ; род. 1939) |
К задаче синтеза схем из секционированных ПЛМ / А. С. Поляков |
|
1996 |
Шпота, Сергей Дмитриевич (радиоэлектроника) |
Лабораторный практикум по курсу "Цифровые устройства" и "Устройства цифровой техники" для студентов специальности "Телекоммуникационные системы". Исследование основных логических элементов и простейших комбинационных устройств / Белорус. гос. ун-т информатики и радиоэлектроники, Каф. сетей и устройств телекоммуникаций |
|
2010 |
Іванов, Ю. Д. |
Просторове перетворення дискретних даних у базисі ДНФ булевих функцій / Іванов Ю. Д |
|
2005 |
Блайвас, Татьяна Дмитриевна |
О сложности интервального поиска на булевом кубе : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Блайвас Татьяна Дмитриевна ; [Московский государственный университет им. М.В.Ломоносова] |
|
2003 |
Грибок, Сергей Владимирович |
О реализации функций алгебры логики в некоторых классах программ : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Грибок Сергей Владимирович ; Моск. гос. ун-т им. М.В.Ломоносова |
|
2001 |
Василькова, Ирина Владимировна (кандидат технических наук) |
Логико-комбинаторное обеспечение в системах логического проектирования и распознавания : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.18 / Василькова Ирина Владимировна ; Гос. науч. учреждение "Ин-т техн. кибернетики Нац. акад. наук Беларуси" |
|
1993 |
Фридлендер, Борис Ильич |
Булева алгебра и ее применение в задачах электроники : Учеб. пособие / Под ред. С.Г.Кальнея ; Моск. гос. ин-т электрон. техники (техн. ун-т) |
|
1991 |
Пешков, Анатолий Тимофеевич (кандидат технических наук) |
Методическое пособие по курсу "Организация и функционирование ЭВМ" для студентов 1-го курса специальности "Программное обеспечение вычислительной техники и автоматизированных систем" / А. Т. Пешков, А. Г. Батюков ; Минский радиотехнический институт, Кафедра вычислительных систем. — Ч. 1 |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ