Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

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

   
    Foundations of software technology and theoretical computer science : 13th conf. Bombay, India, Dec. 15-17, 1993: Proceedings / R. K. Shyamasundar, ed. - Berlin [et al.] : Springer, 1993. - XIV, 453 p. : Ill. - (Lecture notes in computer science ; 761). - Bibliogr. at the end of the art
Перевод заглавия: Основы теории вычислительной техники и программного обеспечения
50.05.03
ББК З 973.2-01я431
Рубрики: Программное обеспечение--ЭВМ
   Компьютеры--Теория
Кл.слова (ненормированные):
преобразование термов -- параллельные алгоритмы
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 51-5-95+02
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН