Главная Упрощенный режим Описание
Авторизация
Фамилия
Номер ЧБ
 

Вход/Регистрация через ЕСИА

Базы данных


Каталог Национальной Библиотеки Республики Дагестан- результаты поиска

Вид поиска
Каталог Национальной Библиотеки Республики Дагестан
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: <.>K=ЧАСТИЧНО-РЕКУРСИВНЫЕ ФУНКЦИИ<.>
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 6П2.154/Б 24
Автор(ы) : Барашко, Анатолий Сергеевич, Липская, Виктория Алексеевна, Ройзен, Семен Иосифович
Заглавие : Исследование по теории сложности вычислений и формальным языкам
Выходные данные : Киев: Наукова думка, 1978
Колич.характеристики :176 с.: ил.; 21.5см
Коллективы : Институт прикладной математики и механики (Донецк)
Примечания : Библиография: с. 171-172
Цена : 1.40, р.
УДК : 6П2.154
Предметные рубрики: Автоматизация-- Вычислительные устройства
Ключевые слова (''Своб.индексиров.''): сложности вычислений--частично-рекурсивные функции--формальные языки--ядро--множества
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)