| № | Дата |
Автор |
Заглавие |
|---|
|
1995 |
Кипнис, Михаил Мордкович |
Теория булева усреднения для исследования явления равномерного 2-раскрашивания в системах управления, в преобразователях сигналов и в моделях статистической механики : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.11 / Челяб. гос. пед. ин-т |
|
2008 |
Баев, Владимир Валерьевич |
Эффективные алгоритмы получения оценок алгебраической иммуности булевых функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Баев Владимир Валерьевич ; Московский государственный университет им. М. В. Ломоносова |
|
1992 |
|
Разработка к лекциям по курсу "Дискретная математика" : в 2 ч. / Министерство образования Республики Беларусь, Гомельский государственный университет им. Ф.Скорины ; [составитель В. Н. Семенчук]. — Ч. 1: "Теория булевых функций" для студентов математического и экономического факультетов |
|
2016 |
Маро, Екатерина Александровна |
Разработка и исследование алгоритмов оценки защищенности информации на основе алгебраического анализа : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Маро Екатерина Александровна ; [Южный федеральный университет] |
|
2001 |
Кисляков, Андрей Викторович |
Разработка и исследование генетических алгоритмов решения нелинейных систем булевых уравнений : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.17 / Кисляков Андрей Викторович ; [Моск. гос. ун-т экономики, статистики и информатики] |
|
2011 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Вычисления в многомерном булевом пространстве / А. Д. Закревский |
|
2005 |
Богданова, Вера Геннадьевна |
Методы и инструментальные средства программирования в булевых ограничениях : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Богданова Вера Геннадьевна ; [Институт динамики систем и теории управления Сибирского отделения Российской академии наук (ИДСТУ СО РАН)] |
|
2007 |
Казимиров, Алексей Сергеевич |
Операторные преобразования и минимизация полиномиальных представлений булевых функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Казимиров Алексей Сергеевич ; [Иркутский государственный педагогический университет] |
|
2007 |
Бурцев, Алексей Анатольевич (кандидат физико-математических наук) |
Схемы для целочисленной арифметики и арифметики конечных полей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Бурцев Алексей Анатольевич ; [Московский государственный университет им. М. В. Ломоносова] |
|
1973 |
Матросова, Анжела Юрьевна (доктор технических наук) |
Методы решения булевых уравнений и их применение в диагностике неисправностей дискретных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Техническая кибернетика и теория информации / Матросова Анжела Юрьевна ; Академия наук БССР, Отделение физико-технических наук |
|
2021 |
Шукюрова, Нигяр Октай кызы (математика) |
Исследование и разработка методов решения задач частично-целочисленного программирования с интервальными коэффициентами : автореферат диссертации на соискание ученой степени доктора философии : специальность 1203.01 Компьютерные науки / Шукюрова Нигяр Октай кызы ; [Институт систем управления Национальной академии наук Азербайджана] |
|
2013 |
Марченков, Сергей Серафимович (доктор физико-математических наук ; род. 1945) |
Функциональные уравнения дискретной математики / С. С. Марченков |
|
2012 |
Мелузов, Антон Сергеевич |
Построение и анализ эффективных комбинаторных алгоритмов решения систем булевых уравнений : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Мелузов Антон Сергеевич ; Московский государственный университет им. М. В. Ломоносова |
|
1971 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Алгоритмы синтеза дискретных автоматов / А. Д. Закревский |
|
2017 |
Горшков, Сергей Павлович (доктор физико-математических наук, математик) |
Сложность решения систем булевых уравнений : монография / С. П. Горшков, А. В. Тарасов |
|
2011 |
Отпущенников, Илья Владимирович |
Методы и средства преобразования процедурных описаний дискретных функций в булевы уравнения : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Отпущенников Илья Владимирович ; [Институт динамики и теории управления Сибирского отделения РАН] |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ