| Книга | Страницы для поиска |
| Александреску А. — Современное проектирование на C++ | 91 |
| Новиков Ф.А. — Дискретная математика для программистов | 34 |
| Дейт К. — Введение в системы баз данных | 152, 164 |
| Таненбаум Э. — Современные операционные системы | 630 |
| Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 47 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 18, 66 |
| Глушков В.М. — Синтез цифровых автоматов | 192 |
| Кушнер Б.А. — Лекции по конструктивному математическому анализу | 30 |
| Таненбаум Э. — Архитектура компьютера | 638 |
| Скорняков Л.А. (ред.) — Общая алгебра (том 1) | 15 |
| Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 567 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | I, 39 |
| Филд А., Харрисон П. — Функциональное программирование | 23, 143 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 14, 89 |
| Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 26 |
| Аткинсон Л. — MySQL. Библиотека профессионала | 60 |
| Александреску А. — Современное проектирование на C++. Обобщённое программирование и прикладные шаблоны проектирования | 91 |
| Кузьменко В.Г. — Программирование на VBA 2002 | 541 |
| Нечаев В.И. — Числовые системы | 9 |
| Гладкий А.В. — Математическая логика | 31 |
| Россум Г., Дрейк Ф.Л.Дж., Откидач Д.С.и др. — Язык программирования Python | см. «tuple» |
| Мамаев Е.В. — Microsoft SQL Server 2000 в подлиннике | 791 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | II-642; III-31 |
| Проектирование и реализация баз данных Microsoft SQL Server 2000. Учебный курс MCAD/ MCSE, MCDBA | 135 |
| Барвайс Д. — Справочная книга по математической логике. Часть 4. Теория доказательств и конструктивная математика | 373 |
| Матиясевич Ю.В. — Десятая проблема Гильберта | 39 |
| Гладкий А.В. — Введение в современную логику | 35 |
| Ульман Дж. — Основы систем баз данных | 73, 81 |
| Столл Р.Р. — Множества. Логика. Аксиоматические теории | 38 |
| Осуга С., Саэки Ю. — Приобретение знаний | 161 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 265 |
| Деньдобренко Б.Н., Малика А.С. — Автоматизация конструирования РЭА | 27 |
| Касьянов В.Н. — Оптимизирующие преобразования программ | 9 |
| Успенский В.А. — Лекции о вычислимых функциях | 25 |
| Мартнин Дж. — Организация баз данных в вычислительных системах | 62, 204, 483 |
| Вандервуд Д.Д. — Шаблоны С++. Справочник разработчика | 417 |
| Глушков В.М. — Основы безбумажной информатики | 179 |
| Шрейдер Ю.А. — Равенство, сходство, порядок | 50 |
| Нильсен П. — Microsoft SQL Server 2005. Библия пользователя | 209, 1000 |
| Таненбаум Э. — Архитектура компьютера | 693 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 22 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 351 |
| Зарубин В.С. — Математическое моделирование в технике | I, 386 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 54, 130, 457 |
| Виленкин Н.Я., Ивашов-Мусатов О.С., Шварцбурд С.И. — Алгебра и математический анализ для 11 класса: Учебное пособие для учащихся школ и классов с углубленным изучением математики | 214 |
| Брукшир Д.Г. — Введение в компьютерные науки. Общий обзор | 471 |
| Поспелов Г.С.(ред.) — Проблемы программно-целевого планирования и управления | 24 |
| Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 17 |
| Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 41 |
| Избачков Ю.С., Петров В.Н. — Информационные системы | 127, 129, 132 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 15 |
| Учи Г. — Персональные компьютеры для научных работников | 181 |
| Петров В.Н. — Информационные системы | 101, 103, 106 |
| Таненбаум Э. — Архитектура компьютера | 638 |
| Коршунов Ю.М. — Математические основы кибернетики | 22 |
| Барвайс Дж. (ред.) — Справочная книга по математической логике. Теория доказательств | 373 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 18, 66 |
| Столл Р.Р. — Множества. Логика. Аксиоматические теории | 38 |
|
|
О проекте