Results
|
1.
|
|
|
2.
|
|
|
3.
|
Решение систем логических уравнений с использованием BDD А. С. Игнатьев, А. А. Семенов, А. Е. Хмельнов by Игнатьев, Алексей Сергеевич | Семенов, Александр Анатольевич | Хмельнов, Алексей Евгеньевич. Source: Доклады V Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография" - SIBECRYPT'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г. )Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
Технологии решения многомерных задач логического поиска А. А. Семенов, Д. В. Беспалов by Семенов, Александр Анатольевич | Беспалов, Дмитрий Викторович. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
Логический подход к анализу криптографических игр А. А. Семенов by Семенов, Александр Анатольевич. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
15.
|
|
|
16.
|
Ограниченная релятивизация и аргументация включения P ??? NP ??? co-NP А. А. Семенов by Семенов, Александр Анатольевич. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
17.
|
|
|
18.
|
Консервативные преобразования систем логических уравнений А. А. Семенов by Семенов, Александр Анатольевич. Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
19.
|
|
|
20.
|
Логический анализ задачи 2-факторизация Д. В. Беспалов, Е. В. Буранов, А. А. Семенов, Е. А. Черкашин by Беспалов, Дмитрий Викторович | Буранов, Е. В | Семенов, Александр Анатольевич | Черкашин, Евгений Александрович. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
21.
|
|
|
22.
|
|
|
23.
|
|
|
24.
|
Параллельная технология решения SAT-задач с применением пакета прикладных программ D-SAT О. С. Заикин, А. А. Семенов, И. А. Сидоров, А. Г. Феоктистов by Заикин, Олег Сергеевич | Семенов, Александр Анатольевич | Сидоров, И. А | Феоктистов, А. Г. Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
25.
|
|
|
26.
|
|