Поисковый запрос: (<.>U=004.057.2(043)<.>) |
Общее количество найденных документов : 4
Показаны документы с 1 по 4 |
1. 
| АР93-5522
Осовецкий, Л. Г.
Сертификация критичных программных средств вычислительных систем [Текст] : автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.16 / Л. Г. Осовецкий. - СПб, 1993. - 32 с. : ил
В надзаг.: Рос. АН, С.-Петербург. ин-т информатики и автоматизации. Библиогр.: с.28-32
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
2.
| АР96-1553
Егоров, А. А.
Численная сертификация алгоритмов и программ [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / А. А. Егоров. - М., 1995. - 8
В надзаг. : МГУ им. М.В.Ломоносова. Н.-и. ВЦ. Библиогр.:с. 8(2назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
3.
| АР99-2946
Корт, С. С.
Разработка методов и средств поиска уязвимостей при сертификационных испытаниях защищенных вычислительных систем [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16,05.13.19 / С. С. Корт. - СПб, 1999. - 18 с. : ил.
Библиогр.:с. 17-18(16 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
4.
| АР97-2182
Карпов, А. Г.
Методы сертификации программных средств защиты информации в автоматизированных системах управления [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / А. Г. Карпов. - СПб, 1997. - 16 с. : ил.
Библиогр.:с. 16(13 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных