|
|
 |
| Результат поиска |
Поиск книг, содержащих: Подструктура
| Книга | Страницы для поиска | | Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика | 104 | | Верещагин Н.К., Шень А. — Языки и исчисления | 152, 241 | | Биркгоф Г. — Теория структур | 40 | | Курош А.Г. — Теория групп | 273 | | Курош А.Г. — Общая алгебра | 100 | | Кофман А., Анри-Лабордер А. — Методы и модели исследования операций. (том 3) Целочисленное программирование. | 198 | | Кон П. — Универсальная алгебра | 34 | | Вулих Б.З. — Введение в теорию полуупорядоченных пространств | 28 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 47 | | Красносельский М.А., Лифшиц Е.А., Соболев А.В. — Позитивные линейные системы: метод положительных операторов | 50 | | Пуаза Б. — Курс теории моделей | 3.b | | Мишина А.П., Проскуряков И.В. — Высшая алгебра | 284 | | Курош А.Г. — Лекции по общей алгебре | 185 | | Робинсон А. — Введение в теорию моделей и математическую логику | 47 | | Мао В. — Современная криптография: теория и практика | 190 | | Аугустон М.И. — Программирование на ПЛ/1 ОС ЕС | 27 | | Малютин Э.А., Малютина Л.В. — ПЛ/1 для начинающих | 110 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 140, 150, 237 |
|
|
|
|
О проекте