- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Орган по сертификации
- Образование
- Издания
- Новости
- Лицензии
Новости
05 Марта, 2026
Итоги конкурса на замещение вакантных должностей
02 Марта, 2026
Конкурс на замещение должности
22 Февраля, 2026
Защита диссертаций
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Поиск
Колмогоров А.Н., Драгалин А.Г. ...
Колмогоров А.Н., Драгалин А.Г. [2004] [2006] Математическая логика Из-во УРСС, М. КомКнига 04.05.75 07.05.95 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на Д
Д Дворников С.Г. Дегтев А.Н. Денисов С.Д. Джеффри Р. Дзгоев В.Д. Дичев А. Добрица В.П. Доуни Р. Драгалин А.Г. Дроботун Б.Н. Дурнев В.Г. Душский В.А. Дымент Е.З. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.На нашем сайте мы используем cookie файлы, содержащие информацию о предыдущих посещениях веб-сайта. Данные обрабатываются для улучшения качества работы нашего веб-сайта. Если вы не хотите использовать cookie файлы, измените настройки браузера.
Понятно