| Книга | Страницы для поиска |
| Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика | 286, 309, 360 |
| Зорич В.А. — Математический анализ (том 1) | 14 |
| Макконнелл С. — Совершенный код | 70, 71, 72, 73, 74, 84 |
| Непейвода Н.Н., Скопин И.Н. — Основания программирования | 185 |
| Арнольд В.И., Васильев В.А., Горюнов В.В.и др. — Динамические системы-8. Особенности 2: классификация и приложения | 42, 57 |
| Вейль Г. — Классические группы. Их инварианты и представления. | 148 |
| Бакельман И.Я., Вернер А.Л., Кантор Б.Е. — Введение в дифференциальную геометрию "в целом" | 23 |
| Френкс Л. — Теория сигналов | 51 |
| Арнольд В.И. — Особенности каустик и волновых фронтов | 159 |
| Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 170, 263 |
| Шуп Т. — Решение инженерных задач на ЭВМ | 9 |
| Дьедонне Ж. — Линейная алгебра и элементарная геометрия | 3.2.2; 3.2, упр. 1 |
| Мальцев А.И. — Алгебраические системы | 73 |
| Копытов В.М. — Решеточно упорядоченные группы | 180 |
| Бураков С.Л., Вейник А.И., Дубинин Н.П. — Литье в кокиль | 119 |
| Бурбаки Н. — Модули, кольца, формы | VIII 1 1 |
| Гудрич М.Т., Тамассия Р. — Структуры данных и алгоритмы в Java | 55 |
| Федорчук В.В. — Курс аналитической геометрии и линейной алгебры | 35 |
| Беклемишев Д.В. — Дополнительные главы линейной алгебры | 85 |
| Гладкий А.В. — Формальные грамматики и языки | 23 |
| Хилтон П., Уайли С. — Теория гомологий. Введение в алгебраическую топологию. | 17, 21 |
| Неванлинна Р. — Униформизация | 73 |
| Никайдо Х. — Выпуклые структуры и математическая экономика | 43 |
| Мину М. — Математическое программирование. Теория и алгоритмы | 415 |
| Нейман Х. — Многообразия групп | 49 |
| Зорич В.А. — Математический анализ (Часть 1) | 16 |
| Гриффитс Ф., Харрис Дж. — Принципы алгебраической геометрии (том 2) | 189 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—688, 982 |
| Новиков A.M. — Методология образования | 36, 115, 212, 217 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 81, 97 |
| Осуга С. — Обработка знаний | 14 |
| Федорчук В.В. — Курс аналитической геометрии и линейной алгебры | 35 |
| Мусхелишбили Н.И. — Курс аналитической геометрии | 341 |
| Гласс Р., Нуазо Р. — Сопровождение программного обеспечения | 12, 13 |
| Пеннер Р. — Программирование во Flash MX | 65 |
| Пеннер Р. — Программирование во Flash MX | 65 |
| Пеннер Р. — Программирование во Flash MX | 65 |
| Джонстон Г. — Учитесь программировать | 146, 161, 165 |
| Никайдо Х., Браверман Э.М. (ред.), Малишевский А.В. (пер.) — Выпуклые структуры и математическая экономика | 43 |
| Донеддю А. — Евклидова планиметрия | 42 |
| Схоутен И.А., Стройк Д.Дж. — Введение в новые методы дифференциальной геометрии. Том 1: Алгебра и учение о перенесении | 27 |
| Эккель Б. — Философия C++. Введение в стандартный C++ | 44 |
| Зуланке Р., Онищик А.Л. — Алгебра и геометрия: том 1. Введение | 244 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 456 |
| Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 277, 279 |
| Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели | 18 |
| Шалыто А.А. — Логическое управление. Методы аппаратной и программной реализации | 695 |
| Райков Д.А. — Векторные пространства | 63 |
| Александров П.С. — Комбинаторная топология | 656 |
| Сиверс А.П. — Приемники радиолокационных станций. Том 2 | II.164—175 |
| Ларман К. — Применение UML и шаблонов проектирования. Введение в объектно-ориентированный анализ, проектирование и унифицированный процесс UP. | 36, 50, 607 |
| Безбородов Ю.М., Ершов А.П. (ред.) — Индивидуальная отладка программ | 10, 12, 20, 134, 146—149 |
| Калужин Л.А. — Введение в общую алгебру | 25 |
| Мазор Ю.Л., Мачусский Е.А., Правда В.И. — Радиотехника. Энциклопедия | 55, 56 |
|
|
О проекте