№ | Дата |
Автор |
Заглавие |
---|
|
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) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |