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

Базы данных


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

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=формальный мониторинг<.>)
Общее количество найденных документов : 1
1.


    Земцов, Н. А.
    Мониторинг вычислительных процессов [Текст] / Н. А. Земцов, Р. Э. Яворский // Вестник Тверского государственного университета. - 2006. - N 4. - Библиогр.: с. 41 (6 назв. ). - s, 2006, , rus. - RUMARS-vtvg06_000_004_0000_3. - Научная библиотека Тверского государственного университета. - N 4 (21). - С. 36-41. - (Прикладная математика). - vtvg06_000_004_0000_3, 4, 0
УДК
^a510.6
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
теоремы -- формальный мониторинг -- вычислительный процесс
Аннотация: Формальная модель мониторинга вычислительных процессов. Анализ вычислительного процесса на основе наблюдаемой динамики монитора.


Доп.точки доступа:
Яворский, Р. Э.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)