Авторизация
 

Базы данных


Основная база библиотеки - результаты поиска

Вид поиска
Основная база библиотеки
База данных нормативных документов
Персоналии ученых-профессоров ТУСУРа
Календарь знаменательных дат
Электронные книги ЛитРес
ЭБС «Лань»
ЭБС «Юрайт»
Область поиска
Формат представления найденных документов:
полный для рабочих программ
Поисковый запрос: (<.>K=ресурсная динамическая логика<.>)
Общее количество найденных документов : 1
1.
Вычислительные системы [] : Сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева. Вып. 152 : Теория вычислений и языки спецификаций. - Новосибирск , 1995. - 220 с. ( 1 экз. )
 
Стандартный
Расширенный
Профи
По словарю
Статистика
за 04.07.2024
Число запросов 18211
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)