| № | Дата |
Автор |
Заглавие |
|---|
|
2000 |
Дудаков, Сергей Михайлович |
Вычислительная сложность некоторых задач математической логики : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Дудаков Сергей Михайлович ; Моск. гос. ун-т им. М.В.Ломоносова, Мех.-мат. фак |
|
2005 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
|
2003 |
|
Formal descriptions of developing systems : [proc. of the NATO advanced research workshop on formal descriptions of developing systems, Manoa, Hawaii, USA, 2-6 Oct. 2002] / ed. by James Nation [et al.] |
|
2010 |
Васин, Алексей Валерьевич |
Асимптотически оптимальные по надежности схемы в полных базисах из трехвходовых элементов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Васин Алексей Валерьевич ; [Государственное образовательное учреждение высшего профессионального образования "Пензенский государственный университет"] |
|
1981 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
О существенной сложности тьюринговых вычислений : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Математическая кибернетика / Мощенский Владимир Андреевич ; Вычислительный центр АН СССР |
|
2015 |
Бак, Пер (физик-теоретик ; 1948—2002) |
Как работает природа : теория самоорганизованной критичности : перевод с английского / Пер Бак ; вступительная статья Г. Г. Малинецкого |
|
2016 |
Рубинчик, Михаил Валентинович |
Вычислительная сложность некоторых задач обработки строк : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Рубинчик Михаил Валентинович ; [Уральский федеральный университет им. первого Президента России Б. Н. Ельцина] |
|
2016 |
Кушик, Наталья Геннадьевна (кандидат физико-математических наук) |
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Кушик Наталья Геннадьевна ; [Национальный исследовательский Томский государственный университет] |
|
2016 |
Тихомиров, Михаил Игоревич |
О сложности распознавания некоторых классов геометрических графов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Тихомиров Михаил Игоревич ; [Московский физико-технический институт (государственный университет)] |
|
2017 |
Золотов, Александр Сергеевич |
Элиминация итеративных операторов в некоторых теориях первого порядка : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Золотов Александр Сергеевич ; [Тверской государственный университет] |
|
2018 |
Зухба, Анастасия Викторовна (кандидат физико-математических наук) |
Оценка вычислительной сложности задач отбора эталонных объектов и признаков : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Зухба Анастасия Викторовна ; [Московский физико-технический институт (государственный университет] |
|
2008 |
Первышев, Константин Вячеславович |
Иерархии по времени для некоторых классов эвристик, алгоритмов с подсказкой, криптографических примитивов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Первышев Константин Вячеславович ; Санкт-Петербургский государственный университет |
|
2002 |
Чикалов, Игорь Валерьевич |
О средней временной сложности деревьев решений : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Чикалов Игорь Валерьевич ; [Нижегор. гос. ун-т им. Н.И.Лобачевского] |
|
1994 |
Черноножкин, С. К. |
Меры сложности программ = Software complexity metrics : Обзор |
|
1988 |
Корнеенко, Николай Михайлович (кандидат физико-математических наук) |
Вычислительная сложность некоторых геометрических задач / Н. М. Корнеенко |
|
2008 |
Волосевич, Алексей Александрович (кандидат физико-математических наук) |
Основы теории алгоритмов : учебно-методическое пособие по курсу "Теория алгоритмов" для студентов специальности 1-31 03 04 "Информатика" всех форм обучения / А. А. Волосевич ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра информатики |
|
1999 |
|
Квантовый компьютер & квантовые вычисления |
|
2009 |
Крупский, Владимир Николаевич (кандидат физико-математических наук) |
Теория алгоритмов : учебное пособие для высших учебных заведений по направлениям "Информатика и вычислительная техника", "Информационные системы и технологии" / В. Н. Крупский, В. Е. Плиско |
|
2010 |
Котов, Владимир Михайлович (доктор физико-математических наук, математик ; род. 1955) |
Дискретная математика : специальный курс : пособие для студентов специальности 1-31 03 04 "Информатика" / В. М. Котов, В. А. Мощенский |
|
2012 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
|
2014 |
Потапов, Владимир Николаевич (обработка информации) |
Введение в теорию информации : учебное пособие / В. Н. Потапов |
|
2016 |
Рыжков, Алексей Викторович |
Алгоритмы коммутативного преобразования для защиты информации, основанные на задачах факторизации и дискретного логарифмирования : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.19 Системы автоматизации проектирования / Рыжков Алексей Викторович ; [Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина) (СПбГЭТУ "ЛЭТИ")" |
|
2017 |
Черепнев, Михаил Алексеевич (кандидат физико-математических наук ; род. 1965) |
О вычислительной сложности алгоритмов факторизации и дискретного логарифмировая : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Черепнев Михаил Алексеевич ; [Московский государственный университет им. М. В. Ломоносова] |
|
2021 |
Иржавский, Павел Александрович (кандидат физико-математических наук, математик ; род. 1987) |
Гамильтоновы циклы и паросочетания в графах с заданным локальным строением : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Иржавский Павел Александрович ; Государственное научное учреждение "Институт математики Национальной академии наук Беларуси" |
|
2009 |
Шурыгин, Виктор Афанасьевич |
Сложностный метод теории алгоритмов / В. А. Шурыгин |
|
2011 |
Гирш, Эдуард Алексеевич (кандидат физико-математических наук ; род. 1973) |
Сложность пропозициональной логики : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06 / Гирш Эдуард Алексеевич ; Санкт-Петербургский государственный университет |
|
2012 |
Чокаев, Бекхан Вахаевич |
Мультипликативная сложность умножения в алгебрах : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Чокаев Бекхан Вахаевич ; Московский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетики |
|
2013 |
Деменков, Евгений Александрович |
Верхние и нижние оценки на схемную сложность явно заданных булевых функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Деменков Евгений Александрович ; Санкт-Петербургский государственный университет |
|
2013 |
Еремеев, Антон Валентинович (кандидат физико-математических наук) |
Исследование эволюционных методов решения задач комбинаторной оптимизации : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Еремеев Антон Валентинович ; [Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук] |
|
2016 |
Хлебородов, Денис Сергеевич |
Быстрые алгоритмы вычисления преобразований на основе эллиптических кривых : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Хлебородов Денис Сергеевич ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" |
|
2016 |
Забежайло, Михаил Иванович (доктор физико-математических наук ; род. 1956) |
Комбинаторные средства формализации эмпирической индукции : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Забежайло Михаил Иванович ; [Федеральный исследовательский центр "Информатика и управление"] |
|
2018 |
Николаев, Максим Владимирович |
О сложности решения некоторых обобщений задачи дискретного логарифмирования : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Николаев Максим Владимирович ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" |
|
2018 |
Быкова, Валентина Владимировна (кандидат технических наук ; доктор физико-математических наук) |
Теоретические основы анализа параметризированных алгоритмов : монография / В. В. Быкова ; Сибирский федеральный университет |
|
2019 |
Картынник, Юрий Анатольевич (кандидат физико-математических наук, математик ; род. 1989) |
Структурные и алгоритмические свойства классов графов, определяемых в терминах окрестностных множеств вершин : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Картынник Юрий Анатольевич ; Государственное научное учреждение "Институт математики Национальной академии наук Беларуси" |
|
2019 |
Боков, Александр Александрович (кандидат физико-математических наук) |
Исследование и разработка алгоритмов восстановления фона в задаче преобразования видео в стереоскопический формат : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Боков Александр Александрович ; [Московский государственный университет им. М. В. Ломоносова] |
|
2022 |
Масюков, Илья Игоревич |
Метод, алгоритм и устройство расположения задач в реконфигурируемых вычислительных системах : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.05 Элементы и устройства вычислительной техники и систем управления / Масюков Илья Игоревич ; [Юго-Западный государственный университет] |
|
2002 |
Карацуба, Екатерина Анатольевна (доктор физико-математических наук) |
О некоторых проблемах приближения и вычисления классических функций и констант : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.09 / Карацуба Екатерина Анатольевна ; [Вычисл. центр им. А.А.Дородницина РАН] |
|
2005 |
Гашков, Сергей Борисович (доктор физико-математических наук ; род. 1954) |
Арифметика. Алгоритмы. Сложность вычислений : учеб. пособие для студентов вузов, обучающихся по направлениям и специальностям физ.-мат. профиля / С.Б. Гашков, В.Н. Чубариков |
|
2009 |
Вольфенгаген, Вячеслав Эрнстович (доктор технических наук ; род. 1948) |
Аппликативные вычислительные технологии : готовые решения для инженера, преподавателя, аспиранта, студента / В. Э. Вольфенгаген |
|
2011 |
Дышкант, Наталья Федоровна |
Эффективные алгоритмы сравнения поверхностей, заданных облаками точек : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Дышкант Наталья Федоровна ; [Московский государственный университет им. М. В. Ломоносова] |
|
2013 |
Бак, Пер (физик-теоретик ; 1948—2002) |
Как работает природа = How nature works : теория самоорганизованной критичности : перевод с английского / Пер Бак ; вступительная статья Г. Г. Малинецкого |
|
2013 |
|
Наука и предельная реальность: квантовая теория, космология и сложность : [труды симпозиума, посвященного 90-летию Дж. А. Уилера, состоявшегося 15—18 марта 2002 г. в Пристоне, США] / редакторы-составители: Дж. Барроу, П. Дэвис, Ч. Харпер мл. ; перевод с английского В. и О. Мацарских ; под общей научной редакцией, [предисловием к русскому изданию] Л. Б. Окуня |
|
2019 |
Картынник, Юрий Анатольевич (кандидат физико-математических наук, математик ; род. 1989) |
Структурные и алгоритмические свойства классов графов, определяемых в терминах окрестностных множеств вершин : диссертация на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Картынник Юрий Анатольевич ; научный руководитель Орлович Ю. Л. ; Белорусский государственный университет |
|
2022 |
Смаль, Александр Владимирович (математик) |
Доказательство нижних оценок на размер формул для булевых функций методами коммуникационной сложности : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Смаль Александр Владимирович ; [Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН] |
|
2024 |
Гончаренко, Александр Игоревич |
Высокопроизводительные нейронные сети глубокого обучения для устройств с низкими вычислительными ресурсами : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 1.2.2 Математическое моделирование, численные методы и комплексы программ / Гончаренко Александр Игоревич ; [место защиты: Институт автоматики и электрометрии Сибирского отделения Российской академии наук] |
|
1996 |
Мероян, Елена Айказуновна |
Частотные модели ограниченной сложности для синтеза робастных многосвязных систем управления : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.01 / Гос. инж. ун-т Армении |
|
1994 |
Аблаев, Фарид Мансурович |
Коммуникационная сложность вероятностных вычислений и некоторые её приложения : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.09 / МГУ им. М.В.Ломоносова |
|
1996 |
Гашков, Сергей Борисович (доктор физико-математических наук ; род. 1954) |
Арифметика.Алгоритмы.Сложность вычислений : Попул.введ.в теорию чисел и арифмет.теорию сложности / Редкол.:И.М.Макаров(отв.ред.) и др |
|
2006 |
Rech, Markus |
Composite finite elements: an adaptive two-scale approach to the non-conforming approximation of Dirichlet problems on complicated domains : dissertation / Markus Rech |
|
2011 |
Маркелова, Александра Викторовна |
Разрешимость задачи дискретного логарифмирования в кольцах : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Маркелова Александра Викторовна ; Московский государственный университет им. М. В. Ломоносова |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ