AbsOPACСправочник индексов УДК

Доступно
1 из 1

Книга
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1965 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy

Заказать

На полку

Доступно
1 из 2

Книга

Теория алгорифмов и математическая логика
Вычислительный центр АН СССР, 1974 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Мартин-Леф, П.
Очерки по конструктивной математике

Серия: Б-ка сборника "Математика"

Мир, 1975 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Ершов, Ю. Л.
Теория нумераций

Серия: Сер. "Математическая логика и основания математики"

Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 1

Книга
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory

Серия: Undergraduate texts in mathematics

Springer-Verlag, 1979 г.
ISBN 0-387-90346-1
МИЭМ, контр.экз. : MIEM, Single copy

Заказать

На полку

Доступно
1 из 3

Книга
Манин, Ю. И.
Вычислимое и невычислимое

Серия: Сер. "Кибернетика"

Сов. радио, 1980 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Крайзель, Г.
Исследования по теории доказательств: сб. ст.

Серия: Сер. "Новое в зарубежной науке"

Мир, 1981 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учеб. пособие
Изд-во Ленингр. ун-та, 1981 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 3

Книга
Успенский, В. А.
Теорема Гёделя о неполноте

Серия: Сер. "Популярные лекции по математике"

Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга

Математическая логика и теория алгоритмов

Серия: Сер. "Труды Ин-та математики"

Наука. Сибирское отд-ние, 1982 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Марков, А. А.
Теория алгорифмов

Серия: Сер. "Математическая логика и основания математики"

Наука. Гл. ред. физ.-мат. лит., 1984 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 1

Книга
Криницкий, Н. А.
Алгоритмы вокруг нас

Серия: Сер. "Проблемы науки и технического прогресса"

Наука. Гл. ред. физ.-мат. лит., 1984 г.
ISBN отсутствует
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy

Заказать

На полку

Доступно
1 из 3

Книга
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1986 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Косовский, Н. К.
Основы теории элементарных алгоритмов: учеб. пособие для вузов
Изд-во ЛГУ, 1987 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 3

Книга
Ачасова, С. М.
Алгоритмы синтеза автоматов на программируемых матрицах
Радио и связь, 1987 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 3

Книга
Трауб, Дж.
Информация, неопределённость, сложность.
Мир, 1988 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Блейхут, Р.
Быстрые алгоритмы цифровой обработки сигналов
Мир, 1989 г.
ISBN 5-03-001009-2
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 1

Книга
Кормен, Т.
Алгоритмы : построение и анализ: пер. с англ.

Серия: Клаcсические учебники: Computer science

МЦНМО, 2000 г.
ISBN 5-900916-37-5
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy

Заказать

На полку

Доступно
1 из 5

Книга
Кормен, Т.
Алгоритмы: построение и анализ: пер. с англ.

Серия: Клаcсические учебники: Computer science

МЦНМО, 2001 г.
ISBN 5-900916-37-5
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...

Заказать

На полку

Доступно
1 из 1

Книга
Wilf, H. S.
Algorithms and complexity
A K Peters, Ltd., 2002 г.
ISBN 978-1-568-81178-9
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy

Заказать

На полку

Каталог печатных изданий библиотеки НИУ ВШЭ

Поиск :

Личный кабинет :

Электронный каталог: Справочник индексов УДК

510.5