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

Базы данных


Книги- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=Вычислимость (теория)<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 51(06)/А 38
Заглавие : Сборник научных трудов. [Вып.] 139. (Вычислительные системы). Теория вычислимости и языки спецификаций
Выходные данные : Новосибирск, 1991
Колич.характеристики :192 c.
Коллективы : Академия наук СССР. Сибирское отделение. Ин-т математики
ISBN, Цена 5-7623-0102-8: 12.00 р.
ГРНТИ : 27.47.21
УДК : 51(06) + 004.03(06) + 519.85
Ключевые слова (''Своб.индексиров.''): семантическое программирование--вычислимость (теория)--сборники трудов--программирование--вычислительные системы
Экземпляры :кнхр(1)
Свободны : кнхр(1)
Найти похожие

 
Статистика
за 29.06.2024
Число запросов 46243
Число посетителей 842
Число заказов 0
© 2006-2022 Поволжский государственный технологический университет, ФГБОУ ВО «ПГТУ».