|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
|
|
21.
|
|
|
|
22.
|
|
|
|
23.
|
|
|
|
24.
|
|
|
|
25.
|
|
|
|
26.
|
|
|
|
27.
|
|
|
|
28.
|
|
|
|
29.
|
|
|
|
30.
|
|
|
|
31.
|
|
|
|
32.
|
|
|
|
33.
|
Обобщенная модель отказоустойчивой системы В. А. Мелентьев by Мелентьев, Виктор Александрович. Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type:  Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
34.
|
Сложность тестирования матричных и послойных БУП Е. Н. Анисимова, В. Г. Скобелев by Анисимова, Е. Н | Скобелев, В. Г. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
35.
|
|
|
|
36.
|
|
|
|
37.
|
|
|
|
38.
|
|
|
|
39.
|
|
|
|
40.
|
|
|
|
41.
|
Формальный подход к исследованию структур вычислительных систем В. А. Мелентьев by Мелентьев, Виктор Александрович. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
42.
|
On-line control-flow checking for FSMs O. Golubeva by Golubeva, Olga. Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
43.
|
Точные расширения некоторых турниров М. Б. Абросимов, А. А. Долгов by Абросимов, Михаил Борисович | Долгов, Александр Анатольевич. Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
44.
|
|
|
|
45.
|
|
|
|
46.
|
Минимальные расширения транзитивных турниров М. Б. Абросимов by Абросимов, Михаил Борисович. Source: Доклады V Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография" - SIBECRYPT'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г. )Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
47.
|
Т-неприводимые расширения полных бинарных деревьев С. Г. Курносова by Курносова, Светлана Геннадьевна. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
48.
|
Решение задачи кодирования с помощью MTBDD-графов С. А. Останин, А. В. Зинчук by Останин, Сергей Александрович | Зинчук, А. В. Source: Доклады V Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография" - SIBECRYPT'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г. )Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
49.
|
|
|
|
50.
|
|
