| Книга | Страницы для поиска |
| Вирт Н. - Алгоритмы и структуры данных | 46 |
| Яблонский С.В. - Введение в дискретную математику | 256 |
| Дейтел Х., Дейтел П. - Как программировать на C++ | 40, 386, 850, 866 |
| Новиков Ф.А. - Дискретная математика для программистов | 161 |
| Верещагин Н.К., Шень А. - Вычислимые функции | 118, 126 |
| Камерон П., ван Линт Д. - Теория графов. Теория кодирования и блок-схемы | 47 |
| Курош А.Г. - Теория групп | 107 |
| Каргаполов М.И., Мерзляков Ю.И. - Основы теории групп | 123 |
| Шафаревич И.Р. - Основные понятия алгебры | 177 |
| Мендельсон Э. - Введение в математическую логику | 229 |
| Кормен Т., Лейзерсон Ч., Ривест Р. - Алгоритмы: построение и анализ | 102, 780 |
| Саломаа А. - Криптография с открытым ключом | 12 |
| Непейвода Н.Н., Скопин И.Н. - Основания программирования | 561 |
| Курош А.Г. - Общая алгебра | 14 |
| Эдельман С.Л. - Математическая логика | 128 |
| Мальцев А.И. - Алгоритмы и рекурсивные функции | 18 |
| Яглом А.М., Яглом И.М. - Вероятность и информация. | 263 |
| Бакельман И.Я., Вернер А.Л., Кантор Б.Е. - Введение в дифференциальную геометрию "в целом" | 100 |
| Стенли Р. - Перечислительная комбинаторика | 358 |
| Холл М. - Теория групп | 108, 186 |
| Гук М.Ю. - Аппаратные средства IBM PC | 671 |
| Ахо А.В., Сети Р., Ульман Д.Д. - Компиляторы: принципы, технологии и инструменты | 105 |
| Барвайс Д. - Справочная книга по математической логике. Часть 3: теория рекурсии | 55, 98 |
| Кушнер Б.А. - Лекции по конструктивному математическому анализу | 28, 48 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. - Вводный курс математической логики | 10 |
| Артамонов В.А., Салий В.Н., Скорняков Л.А. - Общая алгебра (том 2) | 27, 297 |
| Таненбаум Э. - Архитектура компьютера | 75 |
| Мальцев А.И. - Алгебраические системы | 138 |
| Никольская И.Л. - Математическая логика | 22 |
| Шафаревич И.Р. - Основные понятия алгебры | 152 |
| Скорняков Л.А. (ред.) - Общая алгебра (том 1) | 97 |
| Скорняков Л.А. - Элементы общей алгебры | 38 |
| Лаллеман Ж. - Полугруппы и комбинаторные приложения | 22, 127 |
| Попов Э.В. - Общение с ЭВМ на естественном языке | 22 |
| Пиотровский Р.Г., Бектаев К.Б., Пиотровская А.А. - Математическая лингвистика | 11,91-94 |
| Кон П. - Универсальная алгебра | 308 |
| Седжвик Р. - Фундаментальные алгоритмы на С++ (части 1-4 анализ, структура данных, сортировка, поиск) | 404 |
| Гасфилд Д. - Строки, деревья и последовательности в алгоритмах: Информатика и вычислительная биология | 23 |
| Белоусов А.И., Ткачев С.Б. - Дискретная математика | 463 |
| Коксетер Г.С.М., Мозер У.О.Дж. - Порождающие элементы и определяющие соотношения дискретных групп | 38 |
| Масси У., Столлингс Дж. - Алгебраическая топология. Введение. | 113 |
| Чандлер Б., Магнус В. - Развитие комбинаторной теории групп | 82 |
| Шиханович Ю.А. - Введение в современную математику. Начальные понятия | 38 |
| Мелихов А.Н. - Ориентированные графы и конечные автоматы | 16, 155 |
| Кириллов А.А., Гвишиани А.Д. - Теоремы и задачи функционального анализа | 295 |
| Мартин-Леф П. - Очерки по конструктивной математике | 9 |
| Ярцева В.Н. (ред.) - Большой Энциклопедический Словарь. Языкознание | 464 |
| Юров В.И. - Assembler | 111 |
| Кузнецов О.П., Адельсон-Вельский Г.М. - Дискретная математика для инженера | 17, 263 |
| Понтрягин Л.С. - Непрерывные группы | 366 |
| Шень А. - Программирование: теоремы и задачи | 176 |
| Зубков С.В. - Assembler для DOS, Windows и UNIX | 16 |
| Линдон Р., Шупп П. - Комбинаторная теория групп | 13, 322 |
| Кузнецов О.П., Адельсон-Вельский Г.М. - Дискретная математика для инженера | 16 |
| Гладкий А.В. - Математическая логика | 155 |
| Шоломов Л.А. - Основы теории дискретных логических и вычислительных устройств | 10 |
| Хантер Р. - Проектирование и конструирование компиляторов | 13, 143 |
| Виноградов И.М. - Математическая энциклопедия. Предметный указатель | I-819; II-1043; IV-1209 |
| Пуаза Б. - Курс теории моделей | 2.a |
| Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов | 46 |
| Алпатов В.М., Вентцель А.Д., Городецкий Б.Ю. - Лингвистические задачи | см. 'Морфология', 'Значение слова' |
| Ландо С.К. - Лекции о производящих функциях | 40 |
| Пападимитриу Х., Стайглиц К. - Комбинаторная оптимизация. Алгоритмы и сложность. | 165 |
| Яблонский С.В. (ред.), Лупанов О.Б. (ред.) - Дискретная математика и математические вопросы кибернетики (том 1) | 209 |
| Ватолин Д., Ратушняк А., Смирнов М. - Методы сжатия данных | 7 |
| Болтон У. - Карманный справочник инженера-метролога | 20 |
| Месарович М., Такахара Я. - Общая теория систем: математические основы | 18 |
| Кушниренко А.Г., Лебедев Г.В. - Программирование для математиков | 303 |
| Осуга С., Саэки Ю. - Приобретение знаний | 216 |
| Борковский А.Б. - Англо-русский словарь по программированию и информатике | 116 |
| Каргаполов М.И., Мерзляков Ю.И. - Основы теории групп | 117 |
| Панов М.И. - Методические проблемы интуиционистской математики | 52-54 |
| Майоров С.А., Крутовских С.А. - Электронные вычислительные машины (справочник по конструированию) | 10, 15 |
| Уилсон А., Уилсон М. - Управление и творчество при проектировании систем | 64 |
| Успенский В.А. - Лекции о вычислимых функциях | 19, 408 |
| Хьюитт Е., Росс К. - Абстрактный гармонический анализ. Том 1 | 20 |
| Пирогов В. - Ассемблер и дизассемблирование | 12 |
| Котельников И.А., Чеботаев П.З. - LaTeX по-русски | 24 |
| Пярнпуу А.А. - Программирование на современных алгоритмических языках | 9 |
| Майоров С.А., Кириллов В.В., Приблуда А.А. - Введение в микроЭВМ | 8 |
| Курош А.Г. - Лекции по общей алгебре | 153, 162, 163, 164, 166, 227 |
| Брусенцов Н П. - Миникомпьютеры | 64 |
| Хьюитт Э., Росс К. - Абстрактный гармонический анализ. Том I | 20 |
| Голубь Н.Г. - Искусство программирования на Ассемблере. Лекции и упражнения | 22 |
| Гурарий В.П., Гамкрелидзе Р.В. (ред.) - Итоги науки и техники: современные проблемы математики (том 25) | 147 |
| Квиттнер Н. - Задачи, программы, вычисления, результаты | 63, 74 |
| Вирт Н. - Систематическое программирование. Введение | 124 |
| Таненбаум Э. - Архитектура компьютера | 89, 764 |
| Яблонский С.В. - Введение в дискретную математику | 256 |
| Рассел С., Норвиг П. - Искусственный интеллект: современный подход | 1021, 1022 |
| Фултон У. - Таблицы Юнга и их приложения к теории представлений и геометрии | 33, 54 |
| Марков А.С., Лисовский К.Ю. - Базы данных. Введение в теорию и методологию | 219, 286, 379 |
| Гук М.Ю. - Аппаратные средства IBM PC. Энциклопедия | 671 |
| Савельев Л.Я. - Комбинаторика и вероятность | 40 |
| Стэбли Д. - Логическое программирование в системе / 360 | 712 |
| Ахо А.В., Лам М.С., Сети Р., Ульман Д.Д. - Компиляторы. Принципы, технологии и инструментарий. | 166 |
| Абрамов А.Т., Артемов В.Б., Богданов В.П. - Автоматизированное конструирование монтажных плат РЭА | 24 |
| Леонов В.П. - Современные проблемы информатики. Введение в семиотику информационных технологий | 183 |
| Гамкрелидзе Р.В. (ред.) - Итоги науки и техники: современные проблемы математики. Фундаментальные направления (том 11) | 152 |
| Гамкрелидзе Р.В. - Современные проблемы математики. Фундаментальные направления. Том 18 | 131 |
| Малютин Э.А., Малютина Л.В. - ПЛ/1 для начинающих | 9 |
| Судоплатов С.В., Овчинникова Е.В. - Элементы дискретной математики | 39 |
| Джермейн К. - Программирование на IBM/360 | 60, 502 |
| Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) - Информатика. Вводный курс | 40, 187, 339 |
| Вострикова З.П. - Программирование на языке Ассемблера ЕС ЭВМ | 10 |
| Гладкий А.В. - Синтаксические структуры естественного языка в автоматизированных системах общения | 12, 17 |
| Бесекерский В.А., Изранцев В.Б. - Системы автоматического управления с микроЭВМ | 73, 120 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. - Информатика и компьютерные технологии. Основные термины. Толковый словарь | 183 |
| Смит Б.Р., Хауорт Л., Уотте Л. - Осваиваем микрокомпьютер. Книга 2 | 73 |
| Бесекерский В.А., Изранцев В.В. - Системы автоматического управления с микроЭВМ | 73, 120 |
|
|
О проекте