Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Моррис
Книга
Страницы для поиска
Френкель А.А., Бар-Хиллел И. — Основания теории множеств
26, 249, 250, 298, 487
Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем
161, 176
Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция)
96, 351, 292, 326
Вирт Н. — Алгоритмы + структуры данных = программы
306
Саймон Б. — Модель $Р(\phi)_2$ эвклидовой квантовой теории поля
7
Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ)
96, 351
Чёрч А. — Введение в математическую логику (том 1)
п. 140
Карри Х.Б. — Основания математической логики
130, 141
Атья М., Хитчин Н. — Геометрия и динамика магнитных монополей
140
Хант Э. — Искусственный интеллект
329
Кацура А. (ред.) — Всемирная история в датах и событиях
1947 п
Ульман Дж. — Основы систем баз данных
71
Леман Э. — Теория точечного оценивания
85, 137, 212, 237, 265, 273, 275, 276, 278, 291, 293
Хаусхолдер А.С. — Основы численного анализа
218
Налимов В.В. — Вероятностная модель языка
23, 264
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте