| Книга | Страницы для поиска |
| Верещагин Н.К., Шень А. — Языки и исчисления | 19 |
| Мендельсон Э. — Введение в математическую логику | 35 |
| Новиков Ф.А. — Дискретная математика для программистов | 120 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 861 |
| Саломаа А. — Криптография с открытым ключом | 284 |
| Уэйкерли Дж.Ф. — Проектирование цифровых устройств (том 1) | 252 |
| Макконнелл С. — Совершенный код | 289 |
| Непейвода Н.Н., Скопин И.Н. — Основания программирования | 59 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 180 |
| Китаев А., Шень А., Вялый М. — Классические и квантовые вычисления | 22 |
| Ахо А., Хопкрофт Дж., Ульман Дж. — Построение и анализ вычислительных алгоритмов | 16 |
| Нильсон Н. — Искусственный интеллект. Методы поиска решений | 184 |
| Таненбаум Э. — Архитектура компьютера | 534 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | 405 |
| Томсон Л., Веллинг Л. — Разработка Web-приложений на PHP и MySQL | 35 |
| Хант Э. — Искусственный интеллект | 339 |
| Шилдт Г. — C++. Руководство для начинающих | 83 |
| Девятков В.В. — Системы искусственного интеллекта | 55, 59 |
| Хантер Р. — Проектирование и конструирование компиляторов | 49, 168, 182 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I-224 |
| Ватолин Д., Ратушняк А., Смирнов М. — Методы сжатия данных | 79 |
| Томсон Л., Веллинг Л. — Разработка WEB-приложений на РНР и MySQL | 35 |
| Аверкин А.Н. — Нечеткие множества в моделях управления и искусственного интеллекта | 140 |
| Боровский A. — Программирование в Delphi 2005 | 345 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 82, 152, 160 |
| Джехани Н. — Язык Ада | 4.2; D, см. также «Вещественный литерал», «Десятичный литерал», «Литерал NULL», «Литерал перечисления», литерал с основанием», «Символьный литерал», совмещение...», «Строковый литерал», «Целый литерал», «Числовой литерал» |
| Бек Л. — Введение в системное программирование | 62—68, 118, 121 |
| Маджинис Дж. — Программирование на стандартном КОБОЛе | 31—32, 53, 93—94 |
| Лисков Б., Гатэг Дж. — Использование абстракций и спецификаций при разработке программ | 332, 339 |
| Фаронов В.В. — Delphi 6. Учебный курс | 418 |
| Гивоне Д., Россер Р. — Микропроцессоры и микрокомпьютеры. Вводный курс | 70 |
| Квиттнер Н. — Задачи, программы, вычисления, результаты | 89—90, 96 |
| Джонстон Г. — Учитесь программировать | 59, 60, 63, 96—98, 100—105, 115, 116, 121, 332 |
| Либерти Д., Хорват Д. — Освой самостоятельно C++ за 24 часа | 57 |
| Таненбаум Э. — Архитектура компьютера | 574 |
| Валиков А.Н. — Технология XSLT | 100, 274 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 40, 79 |
| Шилдт Г., Холмс Д. — Искусство программирования на Java | 193 |
| Подбельский В.В., Фомин С.С. — Программирование на языке Си. Учебное пособие | см. "Константа" |
| Фуллер Л.У., Кук К., Кауфельд Д. — Microsoft Office Access 2007 для "чайников" | 251 |
| Кохонен Т. — Ассоциативные запоминающие устройства | 201 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 297, 517 |
| Дейтел Х.М., Дейтел П.Дж. — Как программировать на С | 55, 371 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 154, 224, 457 |
| Брукшир Д.Г. — Введение в компьютерные науки. Общий обзор | 289 |
| Подбельский В.В. — Язык Си++: учебное пособие | см. "Константа" |
| Босс В. — Лекции по математике. Том 10 | 28 |
| Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование | 463 |
| Лорьер Ж.-Л. — Системы искусственного интеллекта | 220 |
| Стэбли Д. — Логическое программирование в системе / 360 | 107—110, 134—135 |
| Рапаков Г.Г., Ржеуцкая С.Ю. — Программирование на языке Pascal | 257 |
| Джермейн К. — Программирование на IBM/360 | 502, 503, 590, 613 |
| Шилдт Г. — Искусство программирования на С++ | 383 |
| Вострикова З.П. — Программирование на языке Ассемблера ЕС ЭВМ | 35 |
| Томсон Л. — Разработка Web-приложений на PHP и MySQL | 35 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 95 |
| Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 19 |
| Таненбаум Э. — Архитектура компьютера | 534 |
| Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений | 446 |
| Мендельсон Э. — Введение в математическую логику | 35 |
| Когаловский М. Р. — Перспективные технологии информационных систем | 89 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 180 |
|
|
О проекте