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

eng|rus
Пожалуйста, бронируйте контрольные экземпляры только тех книг, которых нет
в наличии ни в читальных залах, ни в открытом доступе, ни на научном абонементе.
По вопросам доступа к электронному каталогу обращайтесь в
отдел информационных систем и электронных ресурсов Библиотеки

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск
  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)
  • Электронный каталог Мандельштамовского центра
  • Помощь

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


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

К списку индексов УДК

510.5

Отобрать для печати: страницу | инверсия | сброс | печать(0)
Сортировать по: заглавиюдате издания
<< назад | 1 | 2 | 3 | вперед >>
Исследования по теории доказательств
Доступно
 1 из 2
Книга
Крайзель, Г.
Исследования по теории доказательств: сб. ст.
Серия: Сер. "Новое в зарубежной науке"
Мир, 1981 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


Заказать Заказать

На полку На полку

Теория нумераций
Доступно
 1 из 2
Книга
Ершов, Ю. Л.
Теория нумераций
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


Заказать Заказать

На полку На полку

Теория алгорифмов и математическая логика
Доступно
 1 из 2
Книга

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


Заказать Заказать

На полку На полку

Очерки по конструктивной математике
Доступно
 1 из 2
Книга
Мартин-Леф, П.
Очерки по конструктивной математике
Серия: Б-ка сборника "Математика"
Мир, 1975 г.
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
Книга
Блейхут, Р.
Быстрые алгоритмы цифровой обработки сигналов
Мир, 1989 г.
ISBN 5-03-001009-2
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


Заказать Заказать

На полку На полку

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


Заказать Заказать

На полку На полку

Анализ алгоритмов. Активный обучающий подход.
Доступно
 1 из 10
Книга
Макконнелл, Д. Д.
Анализ алгоритмов. Активный обучающий подход.
Серия: Сер. "Мир программирования"
Техносфера, 2013 г.
ISBN 978-5-948362-16-8
МИЭМ, уч.аб-т : MIEM, Study collection lending department, МИЭМ, контр.экз. ...


Заказать Заказать

На полку На полку

New directions in logic, language and computation
Доступно
 1 из 1
Книга

 New directions in logic, language and computation: ESSLLI 2010 and ESSLLI 2011. Student sessions. Selected papers
Серия: Lecture notes in computer science
Springer, 2012 г.
ISBN 978-3-642-31466-7
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy


Заказать Заказать

На полку На полку

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


Заказать Заказать

На полку На полку