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