| Книга | Страницы для поиска |
| Холл М. — Комбинаторика | 129 |
| Грэхем Р., Кнут Д., Паташник О. — Конкретная математика. Основание информатики | 383, 411 |
| Биркгоф Г. — Теория структур | 23, 197 |
| Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп | 316 |
| Мендельсон Э. — Введение в математическую логику | 109 |
| Сачков В.Н. — Введение в комбинаторные методы дискретной математики | 12, 111 |
| Новиков Ф.А. — Дискретная математика для программистов | 191 |
| Асанов М.О., Баранский В.А., Расин В.В. — Дискретная математика: графы, матроиды, алгоритмы | 5 |
| Яблонский С.В. — Введение в дискретную математику | 222 |
| Оре О. — Теория графов | 11 |
| Камерон П., ван Линт Д. — Теория графов. Теория кодирования и блок-схемы | 17 |
| Уилсон Р. — Введение в теорию графов | 9, 18 |
| Кузнецов А.В., Сакович В.А., Холод Н.И. — Высшая математика: математическое программирование | 105 |
| Майника Э. — Алгоритмы оптимизации на сетях и графах | 10 |
| Ахо А.В., Хопкрофт Д.Э., Ульман Д.Д. — Структуры данных и алгоритмы | 8 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 1213 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 88, 436, 864, 866 |
| Филин А.П. — Прикладная механика твердого деформируемого тела (том 1) | 367, 368 |
| Рыбников К.А. — Комбинаторный анализ. Задачи и упражнения | 85 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 65 |
| Кофман А. — Введение в прикладную комбинаторику | 155 |
| Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 43 |
| Манин Ю.И. — Доказуемое и недоказуемое | 23 |
| Куратовский К., Мостовский А. — Теория множеств | 115 |
| Гретцер Г. — Общая теория решеток | 243, 376 |
| Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике | 203 |
| Ху Т. — Целочисленное программирование и потоки в сетях | 135 |
| Дольд А. — Лекции по алгебраической топологии | 122 |
| Коблиц Н. — Курс теории чисел и криптографии | 130 |
| Нильсон Н. — Искусственный интеллект. Методы поиска решений | 31 |
| Емеличев В.А., Ковалев М.М., Кравцов М.К. — Многогранники, графы, оптимизация | 59 |
| Рейнгольд Э., Нивергельт Ю., Део Н. — Комбинаторные алгоритмы: теория и практика | 351 |
| Кук Д., Бейз Г. — Компьютерная математика | 217 |
| Рингель Г. — Теорема о раскраске карт | 23 |
| Брауэр В. — Введение в теорию конечных автоматов | 18 |
| Тот Л.Ф. — Расположения на плоскости, на сфере и в пространстве | 245, 263 |
| Евстигнеев В.А. — Применение теории графов в программировании | 12 |
| Гиндикин С.Г. — Алгебра логики в задачах | 155 |
| Свитцер Р.М. — Алгебраическая топология - гомотопии и гомологии | 121 |
| Скорняков Л.А. (ред.) — Общая алгебра (том 1) | 273 |
| Фути К., Судзуки Н. — Языки программирования и схемотехника СБИС | 21 |
| Зайлер Э. — Калибровочные теории | 32 |
| Бурбаки Н. — Группы и алгебры Ли (часть 2) | IV, Доп., 1 |
| Кон П. — Универсальная алгебра | 38, 139 |
| Седжвик Р. — Фундаментальные алгоритмы на С++ (части 1-4 анализ, структура данных, сортировка, поиск) | 26, 120, 224 |
| Эйнджел Э. — Интерактивная компьютерная графика. Вводный курс на базе OpenGL | 340 |
| Гудрич М.Т., Тамассия Р. — Структуры данных и алгоритмы в Java | 574 |
| Мельников О.И. — Занимательные задачи по теории графов | 29 |
| Гладкий А.В. — Формальные грамматики и языки | 17 |
| Браун К.С. — Когомологии групп | 66 |
| Коксетер Г.С.М., Мозер У.О.Дж. — Порождающие элементы и определяющие соотношения дискретных групп | 34 |
| Масси У., Столлингс Дж. — Алгебраическая топология. Введение. | 206, 207, 321 |
| Спеньер Э. — Алгебраическая топология | 182 |
| Ватсон Г.Н. — Теория бесселевых функций. Том 1 | 42, 77, 90, 159, 160, 168, 176, 181, 194, 220, 242, 254, 314, 315, 318, 323, 324, 327, 329—331, 372, 377, 392—394, 436, 550, 553, 554, 640 |
| Постников М.М. — Лекции по алгебраической топологии. Основы теории гомотопий | 289 |
| Емеличев В.А., Мельников О.И., Сарванов В.И. — Лекции по теории графов | 9 |
| Мелихов А.Н. — Ориентированные графы и конечные автоматы | 11 |
| Картеси Ф. — Введение в конечные геометрии | 229 |
| Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 117 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 88 |
| Мелихов А.Н., Берштейн Л.С., Курейчик В.М. — Применение графов для проектирования дискретных устройств | 13 |
| Емельянов В.В., Курейчик В.В., Курейчик В.М. — Теория и практика эволюционного моделирования | 234, 244, 311, 312 |
| Трахтенброт Б.А., Барздинь Я.М. — Конечные автоматы. Поведение и синтез | 24 |
| Тараканов В.Е. — Комбинаторные задачи и (0,1)-матрицы | 53 |
| Говорухин В., Цибулин Б. — Компьютер в математическом исследовании | 230 |
| Кирсанов М.Н. — Решебник. Теоретическая механика | 130, 194, 243 |
| Рубин А.Б., Шинкарев В.П. — Транспорт электронов в биологических системах | 77 |
| Иванов Б.Н. — Дискретная математика. Алгоритмы и программы | 110 |
| Иванов Б.Н. — Дискретная математика. Алгоритмы и программы | 110 |
| Скиена С.С., Ревилла М.А. — Олимпиадные задачи по программированию. Руководство по подготовке к соревнованиям | 213 |
| Романовский И.В. — Алгоритмы решения экстремальных задач | 95 |
| Первозванский А.А. — Курс теории автоматического управления | 27 |
| Хант Э. — Искусственный интеллект | 248, 261 |
| Сик Дж., Ли Л., Ламсдэйн Э. — C++ Boost Graph Library | 25 |
| Садыков А.С. — Химия алкалоидов | 71, 72, 80, 117, 118 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 82 |
| Палис Ж., В.Ди Мелу — Геометрическая теория динамических систем | 188 |
| Болл У., Коксетер Г. — Математические эссе и развлечения | 243 |
| Седжвик Р. — Фундаментальные алгоритмы на C++. Часть 5. Алгоритмы на графах | 18, 22, 124, 157, 160, 244, 379 |
| Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике | 101 |
| Стивенc Р. — Delphi. Готовые алгоритмы | 126 |
| Попов В.П. — Основы теории цепей | 40, 41 |
| Прасолов В.В. — Элементы комбинаторной и дифференциальной топологии | 17 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—1105—1108 |
| Зубов В.С. — Справочник программиста. Базовые методы решения графовых задач и сортировки | 135 |
| Ландо С.К. — Лекции о производящих функциях | 112 |
| Пападимитриу Х., Стайглиц К. — Комбинаторная оптимизация. Алгоритмы и сложность. | 25 |
| Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 150 |
| Неймарк Ю.И., Коган Н.Я., Савельев В.П. — Динамические модели теории управления | 39 |
| Понс Д., Форсайт Ж. — Компьютерное зрение. Современный подход | 443 |
| Математика для экономистов на базе Mathcad | 142 |
| Мушик Э., Мюллер П. — Методы принятия технических решений | 117, 118 |
| Аверкин А.Н. — Нечеткие множества в моделях управления и искусственного интеллекта | 206 |
| Прасолов В.В. — Задачи по алгебре, арифметике и анализу | 243, 507 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 119 |
| Робертс Ф.С. — Дискретные математические модели с приложениями к социальным, биологическим и экологическим задачам | 34 |
| Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач | 92 |
| Холл П. — Вычислительные структуры. Введение в нечисленное программирование | 6, 11, 17—22, 66, 159 |
| Шкурба В.В. — Задача трёх станков | 18 |
| Касьянов В.Н. — Оптимизирующие преобразования программ | 12 |
| Миркин Б.Г. — Проблема группового выбора | 36 |
| Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог | 33, 34, 175—177, 215 |
| Эндрю А. — Искусственный интеллект | 86 |
| Цишанг Х., Фогт Э., Колдевай Х.- Д. — Поверхностные и разрывные группы | 10 |
| Бертсекас Д., Галлагер Р. — Сети передачи данных | 361 |
| Бенерджи Р. — Теория решения задач | 103 |
| Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях | 196—198 |
| Горенстейн Д. — Конечные простые группы. Введение в их классификацию | 32, 33, 57, 98, 115, 129 |
| Байхельт Ф., Франкен П. — Надежность и техническое обслуживание. Математический подход | 25, 278 |
| 3алманзон Л.А. — Беседы об автоматике и кибернетике | 198 |
| Ширяев А.Н. — Вероятность-1. Элементарная теория вероятностей. Математические основания. Предельные теоремы | 140 |
| Ширяев А.Н. — Вероятность - 2 | 140 |
| Фомичев В.М. — Дискретная математика и криптология | 20 |
| Вирт Н. — Систематическое программирование. Введение | 132 |
| Шрейдер Ю.А. — Равенство, сходство, порядок | 19 |
| Либовиц Г. (ред.) — Разрушение. В 7 томах. Том 5: Расчет конструкций на хрупкую прочность | 347, 348, 368 |
| Деза М.М., Лоран М., Пантелеева Е. (пер.) — Геометрия разрезов и метрик | 29 |
| Алексеев В.В. (ред.), Гаврилов Г.П. (ред.), Сапоженко А.А. (ред.) — Теория графов: покрытия, укладки, турниры | 127 |
| Партхасаратхи Т., Рагхаван Т. — Некоторые вопросы теории игры двух лиц | 41, 276 |
| Сачков В.Н. — Вероятностные методы в комбинаторном анализе | 207 |
| Гольштейн Е.Г., Юдин Д.Б. — Новые направления в линейном программировании | 12 |
| Гурман В.И. — Принцип расширения в задачах управления | 12 |
| Айвазян С.А., Енюков И.С., Мешалкин Л.Д. — Прикладная статистика | 147—148 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 88 |
| Зелковиц М., Шоу А., Геннон Дж. — Принципы разработки програмного обеспечение | 81 |
| Лернер А.Я. — Начала кибернетики | 300 |
| Гольштейн Е.Г., Юдин Д.Б. — Задачи линейного программирования транспортного типа | 281 |
| Яблонский С.В. — Введение в дискретную математику | 222 |
| Динман М.И. — C++. Освой на примерах | 261 |
| Виленкин Н.Я., Виленкин А.Н., Виленкин П.А. — Комбинаторика | 284 |
| Нестеров П.И. (гл. ред.) — Итоги науки и техники. т. 58 | 18 |
| Кохонен Т. — Ассоциативные запоминающие устройства | 26, 121 |
| Тернер Д. — Вероятность, статистика и исследование операций | 90 |
| Виленкин Н.Я. — Математика 6 класс | 207 |
| Андон Ф., Резниченко В. — Язык запросов SQL. Учебный курс | 185 |
| Зарубин В.С. — Математическое моделирование в технике | XIX, 44 |
| Гамкрелидзе Р.В. (ред.) — Итоги науки и техники: современные проблемы математики. Фундаментальные направления (том 57) | 93 |
| Глэдвелл Г.М.Л. — Обратные задачи теории колебаний | 132, 133 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 44, 445 |
| Богатырев А.Б. — Экстремальные многочлены и римановы поверхности | 15, 19, 74 |
| Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 137, 549, 567 |
| Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 370, 377 |
| Кемени Дж., Снелл Дж. — Кибернетическое моделирование. Некоторые приложения | 1121 |
| Саркисян А.А. — Машинонезависимая оптимизация исходных программ | 29—42, 77—82, 86—88, 92—101, 106—134 |
| Босс В. — Лекции по математике. Том 10 | 19 |
| Флейшман Б.С. — Основы системологии | 114 |
| Кубенский А.А. — Структуры и алгоритмы обработки данных: объектно-ориентированный подход и реализация на С++ | 44 |
| Манин Ю.И. — Фробениусовы многоообразия, квантовые когомологии и пространства модулей | III.2.3 |
| Вышенский В.А., Карташов Н.В., Михайлоский В.И. — Сборник задач киевских математических олимпиад | 521, 526, 568, 621, 644, 753, 868 |
| Хлытчиев С.М., Ворожцов А.С., Захаров И.А. — Основы автоматики и автоматизации производственных процессов | 83, 102 |
| Красовский А.А. — Справочник по теории автоматического управления | 637 |
| Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 38 |
| Красовский А.А.(ред) — Справочник по теории автоматического управления | 637 |
| Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика. | 266 |
| Красс М.С., Чупрынов Б.П. — Математика для экономистов | 244 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 108 |
| Баранов В.И., Стечкин Б.С. — Экстремальные комбинаторные задачи и их приложения | 22 |
| Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 350 |
| Дудаков С.М. — Математическое введение в информатику | 24 |
| Седжвик Р. — Фундаментальные алгоритмы на C++. Часть 5. Алгоритмы на графах | 18, 22, 124, 157, 160, 244, 379 |
| Гладкий А.В. — Синтаксические структуры естественного языка в автоматизированных системах общения | 8, 11 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 45 |
| Бесекерский В.А., Попов Е.П. — Теория систем автоматического регулирования | 118 |
| Хаггарти Р. — Дискретная математика для программистов | 12, 142 |
| Кометиани 3. П., Векуа М. Г. — Биохимия мембран. Кинетика мембранных транспортных ферментов | 15 |
| Биндер К., Хеерман Д.В. — Моделирование методом Монте-Карло в статистической физике | 100, 101 |
| Красе М.С., Чупрынов Б.П. — Математика для экономистов | 244 |
| Говорухин В., Цибулин Б. — Компьютер в математическом исследовании | 230 |
| Красс М.С., Чупрынов Б.П. — Математика для экономистов | 244 |
| Зорин В.В., Фискович Т.Т. — Пособие по математике для поступающих в вузы | 148 |
| Говорухин В., Цибулин Б. — Компьютер в математическом исследовании - Maple, Matlab, LaTex | 230 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 142 |
| Соболь Б.В. — Информатика | 57 |
| Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений | 425 |
| Коршунов Ю.М. — Математические основы кибернетики | 44 |
| Вирт Н. — Систематическое программирование | 132 |
| Закгейм А.Ю. — Введение в моделирование химико-технологических процессов | 103 |
| Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач | 92 |
| Мендельсон Э. — Введение в математическую логику | 109 |
| Егупов Н.Д. (ред.) — Методы классической и современной теории автоматического управления: Учебник в 3-х т. Т.3: Методы современной теории автоматического управления | 508 |
| Нильсен М., Чанг И. — Квантовые вычисления и квантовая информация | 190 |
| Цыпкин Я.З. — Адаптация и обучение в автоматических системах | 307 |
| Болдырева А.А. (ред.), Кометиани З.П., Векуа М.Г. — Биохимия мембран. Книга 5. Кинетика мембранных транспортных ферментов. Учебное пособие для биологических и медицинских специальностей вузов | 15 |
| Гильберт А. — Как работать с матрицами | 15 |
| Бесекерский В.А., Попов Е.П. — Теория систем автоматического управления | 118 |
| Сачков В.Н. — Введение в комбинаторные методы дискретной математики | 12, 111 |
| Бесекерский В.А. — Теория систем автоматического регулирования | 118 |
| Садыков А.С. — Химия алкалойдов | 71, 72, 80, 117, 118 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 40 |
| Рафаэл Б. — Думающий компьютер | 94, 113, 128 |
| Хаггарти Р. — Дискретная математика для программистов | 12, 142 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 65 |
|
|
О проекте