| Книга | Страницы для поиска |
| Курош А.Г. — Курс высшей алгебры | 177 |
| Верещагин Н.К., Шень А. — Языки и исчисления | 90, 215 |
| Шварц Л. — Анализ (том 2) | 79 |
| Сачков В.Н. — Введение в комбинаторные методы дискретной математики | 25 |
| Чандрасекар С. — Математическая теория черных дыр (часть 1) | 42, 47 |
| Дейтел Х., Дейтел П. — Как программировать на C++ | 223, 531, 562, 599, 600 |
| Новиков Ф.А. — Дискретная математика для программистов | 52 |
| Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп | 275 |
| Дейт К. — Введение в системы баз данных | 749 |
| Голубев В.В. — Лекции по аналитической теории дифференциальных уравнений | 408 |
| Мур Дж. — Лекции об инвариантах Зейберга-Виттена | 59, 66 |
| Непейвода Н.Н., Скопин И.Н. — Основания программирования | 839 |
| Хёрмандер Л. — Анализ линейных дифференциальных операторов с частными производными. Том I. Теория распределений и анализ Фурье | 108, 169 |
| Дубровин Б.А., Новиков С.П., Фоменко А.Т. — Современная геометрия. Методы теории гомологий | 281 |
| Липпман С.Б. — C++ для начинающих | 325 |
| Дьедонне Ж. — Геометрия классических групп | I, 8, 31 |
| Харченко В.К. — Некоммутативная теория Галуа | 68 |
| Курош А.Г. — Общая алгебра | 11 |
| Новиков С.П. — Топология | 216 |
| Харт Н. — Геометрическое квантование в действии | 309 |
| Ботт Р., Ту Л.В. — Дифференциальные формы в алгебраической топологии | 297 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 96 |
| Гамма Э., Хелм Р., Джонсон Р. — Приемы объектно-ориентированного проектирования. Паттерны проектирования | 343 |
| Желобенко Д.П. — Компактные группы Ли и их представления | 225, 492 |
| Ланкастер П. — Теория матриц | 90 |
| Бухштабер В.М., Панов Т.Е. — Торические действия в топологии и комбинаторике | 238 |
| Наймарк М.А. — Теория представлений групп | 262, 287 |
| Кайт Т. — Oracle для профессионалов (Книга 2. Расширение возможностей и защита) | 384 |
| Бухбергер Б., Коллинз Дж., Лоос Р. — Компьютерная алгебра: символьные и алгебраические вычисления | 29 |
| Синг Дж.Л. — Общая теория относительности | 11, 101, 165, 169, 210, 237, 280, 292, 349 |
| Реммерт Р., Петернел Т., Грауэрт Г. — Комплексный анализ – многие переменные – 7 | 388 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 27 |
| Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 295 |
| Гиндикин С.Г. — Алгебра логики в задачах | 262 |
| Джонстон П.Т. — Теория топосов | 173 |
| Де Альфаро В., Фубини С., Фурлан Г. — Токи в физике адронов | 53, 58, 445 |
| Скорняков Л.А. — Элементы общей алгебры | 32 |
| Трев Ф. — Введение в теорию псевдодифференциальных операторов и интегральных операторов Фурье (том 2) | т.2 122, 140 |
| Пенроуз Р., Риндлер В. — Спиноры и пространство-время (том 1). Два-спинорное исчисление и релятивистские поля | 15, 17 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 67, 68 |
| Мирский Г.Я. — Электронные измерения | 352 |
| Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 189 |
| Гудрич М.Т., Тамассия Р. — Структуры данных и алгоритмы в Java | 27, 31, 80 |
| Гасфилд Д. — Строки, деревья и последовательности в алгоритмах: Информатика и вычислительная биология | 410 |
| Федорчук В.В. — Курс аналитической геометрии и линейной алгебры | 251 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | 226 |
| Ершов Ю.Л. — Определимость и вычислимость | 271 |
| Мышкис А.Д. — Математика для втузов. Специальные курсы | 175 |
| Стинрод Н. — Топология косых произведений | 247 |
| Трев Ф. — Введение в теорию псевдодифференциальных операторов и интегральных операторов Фурье(том 1) | 122, 140 |
| Гончаров С.С. — Счетные булевы алгебры и разрешимость | 2 |
| Новиков С.П., Тайманов И.А. — Современные геометрические структуры и поля | 45 |
| Коллинз П. — Полюса Редже в физике частиц | 58, 240 |
| Коллинз П. — Введение в реджевскую теорию и физику высоких энергий | 65, 131, 135 |
| Огава С., Савада С., Накагава М. — Составные модели элементарных частиц | 108 |
| Постон Т., Стюарт И. — Теория катастроф и ее приложения | 44 |
| Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ | 48 |
| Мартенс Л.К. (ред.) — Техническая энциклопедия. Том 15 | 59, XIV |
| Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 19, 56 |
| Иваницкая О.С. — Обобщенные преобразования Лоренца и их применение | 21 |
| Угаров В.А. — Специальная теория относительности | 113 |
| Парлетт Б. — Симметричная проблема собстенных значений. Численные методы | 26 |
| Босс В. — Лекции по математике (Том 3. Линейная алгебра) | 89 |
| Таненбаум Э., Вудхалл А. — Операционные системы: разработка и реализация | 519 |
| Либерти Д. — Освой самостоятельно C++ за 21 день | 313 |
| Манн С., Митчелл Э.Л., Крелл М. — Безопасность Linux | 61 |
| Волькенштейн М.В. — Молекулярная биофизика | 35 |
| Волькенштейн М.В. — Общая биофизика | 14, 15 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—1128 |
| Пуаза Б. — Курс теории моделей | 3.a, 3.b |
| Сакс Дж.Е. — Теория насыщенных моделей | 14 |
| Бердон А. — Геометрия дискретных групп | 240 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 69 |
| Покровский В.И. (ред.) — Малая медицинская энциклопедия (Том 6) | 5—232/2 |
| Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп | 218 |
| Бениаминов Е.М., Ефимова Е.А. — Элементы универсальной алгебры и ее приложений в информатике | 13, 14 |
| Бениаминов Е.М. — Алгебраические методы в теории баз данных и представлении знаний | 80 |
| Бишоп Дж. — C# в кратком изложении | 79 |
| Федорчук В.В. — Курс аналитической геометрии и линейной алгебры | 251 |
| Мишина А.П., Проскуряков И.В. — Высшая алгебра | 150 |
| Бентли Дж. — Жемчужины программирования | 35 |
| Вандервуд Д.Д. — Шаблоны С++. Справочник разработчика | 210 |
| Макс Ж. — Методы и техника обработки сигналов при физических измерениях. Том 2 | 180 |
| Либерти Д., Хорват Д. — Освой самостоятельно C++ за 24 часа | 44, 256, 427 |
| Мартенс Л.К. (ред.) — Техническая энциклопедия. Том 14 | 59 |
| Сушкевич А.К. — Основы высшей алгебры | 297 |
| Желобенко Д.П. — Гармонический анализ на полупростых комплексных группах Ли | 55 |
| Эккель Б. — Философия C++. Введение в стандартный C++ | 436 |
| Кра И. — Автоморфные формы и клейновы группы | 45 |
| Гастев Ю.А. — Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования | 39, 78, 81, 90, 92, 119 |
| Босс В. — Лекции по математике. Том 3: линейная алгебра | 89 |
| Браудер В. — Перестройка односвязных многообразий | 76 |
| Дейтел Х.М., Дейтел П.Дж. — Как программировать на С | 647 |
| Гамкрелидзе Р.В. (ред.) — Итоги науки и техники: современные проблемы математики. Фундаментальные направления (том 29) | 194 |
| Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 23 |
| Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели | 12 |
| Алексеевский Д.В., Винберг Э.Б., Гамкрелидзе Р.В. (ред.) — Итоги науки и техники: современные проблемы математики (том 29) | 194 |
| Подбельский В.В. — Язык Си++: учебное пособие | 409 |
| Гонсалес Р., Вудс Р. — Цифровая обработка изображений | 923—925, 986 |
| Бускаран Э. — Теория моделей и алгебраическая геометрия | 18 |
| Франклин К. — VB. NET для разработчиков | 59 |
| Эккель Б. — Философия Java | 57 |
| Делоне Б.Н., Райков Д.А. — Аналитическая геометрия. Том 2 | 442, 498 |
| Павлюченко Ю.В., Рыжков В.В. — Элементы линейной алгебры и тензорного исчисления | 48 |
| Озкарахан Э. — Машины баз данных и управление базами данных | 545—546 |
| Ахо А.В., Лам М.С., Сети Р., Ульман Д.Д. — Компиляторы. Принципы, технологии и инструментарий. | 66, 448 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 48 |
| Ларман К. — Применение UML и шаблонов проектирования. Введение в объектно-ориентированный анализ, проектирование и унифицированный процесс UP. | 199 |
| Ланкастер П. — Теория матриц | 90 |
| Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 89, 211 |
| Фёдоров Ф.И. (ред.) — Астрофизика, кванты и теория относительности | 203 |
| Схоутен Я.А. — Тензорный анализ для физиков | 59, 166, 336 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 56 |
| Чандрасекар С. — Математическая теория черных дыр. В 2-х томах | 42, 47 |
| Бухбергер Б., Калме Ж., Калтофен Э. — Компьютерная алгебра - символьные и алгебраические вычисления | 29 |
| Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 95, 102, 191 |
| Ланкастер П. — Теория матриц | 90 |
| Желобенко Д.П. — Компактные группы ли и их представления | 225, 492 |
| Сачков В.Н. — Введение в комбинаторные методы дискретной математики | 25 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 98 |
| Лопатинский. — Разложение полиномиальной матрицы на множители | 186 |