Web ИРБИС

Базы данных

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

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=004.423.4(043)<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

АР98-641

Емельянов, П. Г.
Методы и средства статического анализа семантических свойств программ [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / П. Г. Емельянов. - Новосибирск, 1997. - 18 с.
Библиогр.:с. 18

ГРНТИ	50.05.13
УДК	004.423.4(043)

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

АР99-5460

Гаевой, В. А.
Разработка способа и средств реализации программ на основе системы функциональных продукций [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / В. А. Гаевой. - СПб, 1999. - 16 с. : ил.
Библиогр.:с. 16(6 назв.)

ГРНТИ	50.05.13
УДК	004.423.4(043)

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

АР02-2031

Ломазова, И. А.
Анализ семантических свойств некоторых классов программ и сетей Петри [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук :05.13.17 / И. А. Ломазова. - М., 2001. - 32 с. : ил.
Библиогр.: с. 28-32(36 назв.)

ГРНТИ	50.41
УДК	004.423.4(043)	519.179.2(043)

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)