| Книга | Страницы для поиска |
| Мендельсон Э. — Введение в математическую логику | 17, 52 |
| Невё Ж. — Математические основы теории вероятностей | 17 |
| Биркгоф Г. — Теория структур | 215 |
| Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров | 4.3—2, 12.8—6 |
| Рабинер Л., Гоулд Б. — Теория и применение цифровой обработки сигналов | 541—546 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 15, 139 |
| Кофман А. — Введение в прикладную комбинаторику | 415 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 73 |
| Стенли Р. — Перечислительная комбинаторика | 163 |
| Хренников А.Ю. — Моделирование процессов мышления в p-адических системах координат | 76 |
| Кутателадзе С.С., Рубинов А.М. — Двойственность Минковского и её приложения | 223 |
| Гусев В.Г., Гусев Ю.М. — Электроника | 536 |
| Токхейм Р. — Основы цифровой электроники | 87 |
| Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 233 |
| Таненбаум Э. — Архитектура компьютера | 142 |
| Гиндикин С.Г. — Алгебра логики в задачах | 37 (определение 2.5) |
| Трусделл К. — Первоначальный курс рациональной механики сплошных сред | 21 |
| Скорняков Л.А. — Элементы общей алгебры | 80 |
| Малпас Дж. — Реляционный язык Пролог и его применение | 25 |
| Кусраев А.Г. — Векторная двойственность и ее приложения. | 0.2.1 |
| Кон П. — Универсальная алгебра | 208 |
| Голдблатт Р. — Топосы. Категорный анализ логики. | 148 |
| Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 78 |
| Меськов В.С. — Очерки по логике квантовой механики | 137 |
| Вулих Б.З. — Введение в теорию полуупорядоченных пространств | 36 |
| фон Нейман Дж., Моргенштерн О. — Теория игр и экономическое поведение | 88 |
| Петцольд Ч. — Код. Тайный язык информатики | 101–109, 150–151, 300 |
| Ляпин Е.С. — Полугруппы | II, 4.16 (91) |
| Линдон Р. — Заметки по логике | 45—47 |
| Гладкий А.В. — Математическая логика | 270 |
| Стренг Г. — Линейная алгебра и ее применения | 186 |
| Иосида К. — Функциональный анализ | 502 |
| Матоссян М. — 3ds Max 6 для Windows | 330 |
| Лефевр В. — Алгебра совести | 39, 59, 62, 64—66, 170, 180, 181, 319 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I-550—553 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 21 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 39 |
| Бениаминов Е.М., Ефимова Е.А. — Элементы универсальной алгебры и ее приложений в информатике | 60 |
| Партасарати К. — Введение в теорию вероятностей и теорию меры | 11 |
| Бишоп Дж. — C# в кратком изложении | 130 |
| Мишина А.П., Проскуряков И.В. — Высшая алгебра | 287 |
| Слэйгл Дж. — Искусственный интелект | 115 |
| Ламбек И. — Кольца и модули | 14 |
| Глушков В.М. — Основы безбумажной информатики | 20 |
| Мантуров О.В., Матвеев Н.М. — Курс высшей математики: Линейная алгебра. Аналитическая геометрия. Дифференциальное исчисление функций одной переменной | 389 |
| Гивоне Д., Россер Р. — Микропроцессоры и микрокомпьютеры. Вводный курс | 53 |
| Голубь Н.Г. — Искусство программирования на Ассемблере. Лекции и упражнения | 153 |
| Джонстон Г. — Учитесь программировать | 175 |
| Таненбаум Э. — Архитектура компьютера | 164 |
| Лернер А.Я. — Начала кибернетики | 173 |
| Tatsien L. (ed.) — Proceedings of the international congress of mathematicians. Beijing 2002, Vol.1 | 85 |
| Саати Т., Коваленко И.Н. (ред.), Коваленко Е.Г. (пер.) — Элементы теории массового обслуживания и её приложения | 85 |
| Крылов П.А., Туганбаев А.А., Чехлов А.Р. — Упражнения по группам,кольцам и полям | 29 |
| Кохонен Т. — Ассоциативные запоминающие устройства | 153, 193 |
| Шиханович Ю.А. — Группы, кольца, решетки | 293 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 105, 110 |
| Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 158, 549, 583 |
| Левин В.И. — Профессии сжатого воздуха и вакуума | 73—75 |
| Миллер Р — Теория переключательных схем. Том 1. Комбинационные схемы | 88, 116 |
| Плоткин Б.И. — Универсальная алгебра, алгебраическая логика и базы данных | 161 |
| Малугин В.А. — Математика для экономистов: Математический анализ. Курс лекций | 244 |
| Рывкин А.А., Рывкин А.З., Хренов Л.С. — Справочник по математике: справочное пособие для учащихся средних специальных учебных заведений и поступающих в вузы | 104 |
| Эккель Б. — Философия Java | 84 |
| Ямпольский В.С. — Основы автоматики и электронно-вычислительной техники | 68 |
| Корн Г.А., Корн Т.М. — Справочник по математике для ученых инженеров | 4.3—2, 12.8—6 |
| Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров. | 4.3—2, 12.8—6 |
| Корн Г.А., Корн Т.М. — Справочник по математике для научных работников и инженеров | 4.3—2, 12.8—6 |
| Корн Г., Корн Т. — Справочник по математике (для научных работников и инженеров) | 4.3—2, 12.8—6 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 61 |
| Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 208 |
| Рыбкин А.А. — Математика. Справочное пособие. Для школьников старших классов и поступающих в вузы | 140 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 26 |
| Мазор Ю.Л., Мачусский Е.А., Правда В.И. — Радиотехника. Энциклопедия | 760 |
| Невё Ж. — Математические оснвы теории вероятностей | 17 |
| Таненбаум Э. — Архитектура компьютера | 142 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 70 |
| Невё Ж. — Математические основы теории вероятности | 17 |
| Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 91 |
| Мендельсон Э. — Введение в математическую логику | 17, 52 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 73 |
| Переборов А.С., Брылеев А.М., Смирнова А.В. — Теоретические основы железнодорожной автоматики и телемеханики | 131 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 15, 139 |
|
|
О проекте