Расширенный поиск
Найдено 118 записей.
№ | Автор | Заглавие ▲ | Данные | Действия |
---|---|---|---|---|
81. | Батуева, Цындыма Чимит-Доржиевна | Применение алгебраических методов в решении некоторых вопросов сложности комбинаторной теории слов и частично упорядоченных множеств : диссертация ... кандидата физико-математических наук : 01.01.09 / Батуева Цындыма Чимит-Доржиевна; [Место защиты: Ин-т математики им. С.Л. Соболева СО РАН] Количество страниц: 88 с. ил. 61 12-1/146 Электронный ресурс |
Новосибирск, 2011 |
описание
загрузить в подборку |
82. | Акинин, Андрей Александрович | Разработка и программная реализация эффективных дискретных алгоритмов минимизации булевых функций в классе полиномиальных нормальных форм с фиксированной полярностью : автореферат дис. ... кандидата технических наук : 05.13.18 / Акинин Андрей Александрович; [Место защиты: Воронеж. гос. техн. ун-т] Количество страниц: 18 с. 9 13-4/2517 Электронный ресурс |
Воронеж, 2013 |
описание
загрузить в подборку |
83. | Герасимов, Александр Сергеевич | Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / С.-Петерб. гос. ун-т Количество страниц: 15 с. 9 07-2/2231 Электронный ресурс |
Санкт-Петербург, 2007 |
описание
загрузить в подборку |
84. | Махнычев, Владимир Сергеевич | Распараллеливание алгоритмов ретроанализа для решения переборных задач в вычислительных системах без общей памяти : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Махнычев Владимир Сергеевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Фак. вычислит. математики и кибернетики] Количество страниц: 18 с. 9 12-5/167 Электронный ресурс |
Москва, 2012 |
описание
загрузить в подборку |
85. | Махнычев, Владимир Сергеевич | Распараллеливание алгоритмов ретроанализа для решения переборных задач в вычислительных системах без общей памяти : диссертация ... кандидата физико-математических наук : 05.13.11 / Махнычев Владимир Сергеевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 84 с. ил. 61 12-1/1214 Электронный ресурс |
Москва, 2012 |
описание
загрузить в подборку |
86. | Ашраф Абд Эль-Фаттах Мустафа Дарвиш | Расширение предикатных формул линейными неравенствами и списками для спецификации программ : автореферат дис. ... кандидата физико-математических наук : 05.13.17 / Санкт-Петербург гос. ун-т Количество страниц: 16 с. 9 06-2/2218-0 9 06-2/2219-9 Электронный ресурс |
Санкт-Петербург, 2006 |
описание
загрузить в подборку |
87. | Ашраф Абд Эль-Фаттах Мустафа Дарвиш | Расширение предикатных формул линейными неравенствами и списками для спецификации программ : диссертация ... кандидата физико-математических наук : 05.13.17 Количество страниц: 232 с. ил. 61 06-1/506 Электронный ресурс |
Санкт-Петербург, 2006 |
описание
загрузить в подборку |
88. | Золотых, Николай Юрьевич | Расшифровка пороговых и близких к ним функций : автореферат дис. ... доктора физико-математических наук : 01.01.09 / Золотых Николай Юрьевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 26 с. 9 14-1/2412 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
89. | Золотых, Николай Юрьевич | Расшифровка пороговых и близких к ним функций : диссертация ... доктора физико-математических наук : 01.01.09 / Золотых Николай Юрьевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 208 с. ил. 71 15-1/55 Электронный ресурс |
Нижний Новгород, 2013 |
описание
загрузить в подборку |
90. | Егорова, Евгения Кирилловна | Редукция количества вхождений переменных для некоторого класса булевых функций : автореферат дис. ... кандидата физико-математических наук : 05.13.17 / Егорова Евгения Кирилловна; [Место защиты: Федер. исслед. центр "Информатика и упр." РАН] Количество страниц: 23 с. 9 18-1/626 Электронный ресурс |
Москва, 2018 |
описание
загрузить в подборку |
91. | Сметанин, Юрий Геннадиевич | Реконструкция по частичным представлениям в комбинаторике слов : автореферат дис. ... доктора физико-математических наук : 05.13.17 / Вычисл. центр РАН Количество страниц: 35 с. Электронный ресурс |
Москва, 2004 |
описание
загрузить в подборку |
92. | Сметанин, Юрий Геннадиевич | Реконструкция по частичным представлениям в комбинаторике слов : диссертация ... доктора физико-математических наук : 05.13.17 Количество страниц: 184 с. 71 05-1/68 Электронный ресурс |
Москва, 2003 |
описание
загрузить в подборку |
93. | Токарева, Наталья Николаевна | Сильно нелинейные булевы функции: бент-функции и их обобщения : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Токарева Наталья Николаевна; [Место защиты: Ин-т математики им. С.Л. Соболева СО РАН] Количество страниц: 23 с. 9 08-4/2292 Электронный ресурс |
Новосибирск, 2008 |
описание
загрузить в подборку |
94. | Барсукова, Оксана Юрьевна | Синтез надежных схем, реализующих функции двухзначной и трехзначной логик : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Барсукова Оксана Юрьевна; [Место защиты: Казан. (Приволж.) федер. ун-т] Количество страниц: 18 с. 9 14-2/2823 Электронный ресурс |
Казань, 2014 |
описание
загрузить в подборку |
95. | Федорова, Валентина Сергеевна | Системы функциональных уравнений многозначной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Федорова Валентина Сергеевна; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Фак. вычислит. математики и кибернетики] Количество страниц: 14 с. 9 10-6/1774 Электронный ресурс |
Москва, 2010 |
описание
загрузить в подборку |
96. | Шабанин, Олег Васильевич | Сложностные параметры двоичных пороговых функций : диссертация ... кандидата физико-математических наук : 01.01.09 Количество страниц: 70 с. 61 02-1/204-1 Электронный ресурс |
Москва, 2000 |
описание
загрузить в подборку |
97. | Рябец, Леонид Владимирович | Сложность и алгоритмы построения проверяющих тестов и некоторых классов полиномиальных форм булевых функций : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Рябец Леонид Владимирович; [Место защиты: Сиб. федер. ун-т] Количество страниц: 18 с. 9 07-5/1925 Электронный ресурс |
Красноярск, 2007 |
описание
загрузить в подборку |
98. | Комбаров, Юрий Анатольевич | Сложность и строение минимальных схем для линейных булевых функций : диссертация ... кандидата физико-математических наук : 01.01.09 / Комбаров Юрий Анатольевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.] Количество страниц: 129 с. ил. 61 14-1/71 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
99. | Комбаров, Юрий Анатольевич | Сложность и строение минимальных схем для линейных булевых функций : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Комбаров Юрий Анатольевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.] Количество страниц: 16 с. 9 13-4/1011 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
100. | Гирш, Эдуард Алексеевич | Сложность пропозициональной логики : автореферат дис. ... доктора физико-математических наук : 01.01.06 / Гирш Эдуард Алексеевич; [Место защиты: С.-Петерб. гос. ун-т] Количество страниц: 31 с. 9 11-6/466 Электронный ресурс |
Санкт-Петербург, 2011 |
описание
загрузить в подборку |