|
|
 |
| Результат поиска |
Поиск книг, содержащих: Подсистема
| Книга | Страницы для поиска | | Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей | 60, 186 | | Клини С. — Математическая логика | 65, 331 | | Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 131 | | Гамма Э., Хелм Р., Джонсон Р. — Приемы объектно-ориентированного проектирования. Паттерны проектирования | 343 | | Чеботарев Н.Г. — Теория алгебраических функций | 172 | | Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 310 | | Мальцев А.И. — Алгебраические системы | 10, 53 | | Ершов Ю.Л. — Определимость и вычислимость | 272 | | Гото М., Гроссханс Ф. — Полупростые алгебры Ли | 273 | | Гончаров С.С. — Счетные булевы алгебры и разрешимость | 5 | | Феферман С. — Числовые системы. Основания алгебры и анализа | 72 | | Розенблюм Г.В., Соломяк М.З., Шубин М.А. — Спектральная теория дифференциальных операторов | 157 | | Джекобсон Н. — Алгебры Ли | 41 | | Сакс Дж.Е. — Теория насыщенных моделей | 16 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 70 | | Месарович М., Такахара Я. — Общая теория систем: математические основы | 210 | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 247 | | Крэнц Дж., Майзелл Э., Уилльямз Р. — Операционная система OS/2 | 163, 187—210 | | Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп | 218 | | Варшавский В.И., Поспелов Д.А. — Оркестр играет без дирижера: размышления об эволюции некоторых технических систем и управлении ими | 12 | | ван Гиг Дж. — Прикладная общая теория систем (вторая книга) | 43 | | Бусленко Н.П. — Моделирование сложных систем | 19 | | Джонсон Р., Каст Ф., Розенцвейг Д. — Системы и руководство | 231 | | Йодан Э. — Структурное проектирование и конструирование программ | 285 | | Зелковиц М., Шоу А., Геннон Дж. — Принципы разработки програмного обеспечение | 56 | | Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 518 | | Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели | 14 | | Хлытчиев С.М., Ворожцов А.С., Захаров И.А. — Основы автоматики и автоматизации производственных процессов | 23, 64, 131 | | Красовский А.А. — Справочник по теории автоматического управления | 37 | | Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 104 | | Красовский А.А.(ред) — Справочник по теории автоматического управления | 37 | | Избачков Ю.С., Петров В.Н. — Информационные системы | 24 | | Мухин О.А. — Автоматизация систем теплогазоснабжения и вентиляции | 16 | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 53 | | Клини С.К. — Математическая логика | 65, 331 | | Варшавский В.И. — Коллективное поведение автоматов | 10 |
|
|
|
|
|
|
|
О проекте