|
51.
|
|
|
52.
|
|
|
53.
|
|
|
54.
|
|
|
55.
|
|
|
56.
|
|
|
57.
|
|
|
58.
|
|
|
59.
|
|
|
60.
|
|
|
61.
|
Редактор и интерпретатор кадров обучения - РИКО С. В. Петренко, В. А. Сибирякова by Петренко, С. В | Сибирякова, Валентина Александровна. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
62.
|
|
|
63.
|
|
|
64.
|
|
|
65.
|
|
|
66.
|
|
|
67.
|
Шифр на основе отображения Эно В. Г. Скобелев, О. В. Тубольцева by Скобелев, В. Г | Тубольцева, О. В. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
68.
|
Об оптимальном размещении графа в булевом пространстве А. Д. Закревский by Закревский, Аркадий Дмитриевич, 1928-2014. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
69.
|
Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов М. В. Жигулин, С. А. Прокопенко, Н. В. Евтушенко by Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
70.
|
|
|
71.
|
|
|
72.
|
|
|
73.
|
|
|
74.
|
|
|
75.
|
FSM-based sequential circuits optimization by changing initial state of specification M. L. Gromov, N. V. Shabaldina, A. Tvardovskii, S. A. Prokopenko by Gromov, Maxim L | Shabaldina, Natalia V | Tvardovskii, Aleksandr | Prokopenko, Svetlana A. Source: 2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, September 10 – 13, 2021Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
76.
|
|
|
77.
|
|
|
78.
|
|
|
79.
|
|
|
80.
|
|
|
81.
|
|
|
82.
|
|
|
83.
|
|
|
84.
|
|
|
85.
|
|
|
86.
|
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата А. В. Коломеец, С. А. Прокопенко by Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
87.
|
|
|
88.
|
|
|
89.
|
|
|
90.
|
Using models of finite transition systems for checking Web-service security A. V. Kolomeets, N. V. Shabaldina, E. V. Darusenkova, N. V. Yevtushenko by Shabaldina, Natalia V | Darusenkova, Ekaterina V | Yevtushenko, Nina V | Kolomeets, Anton V. Source: 18th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices : proceedings, Erlagol, Altai Republic, 29 June - 3 July, 2017Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
91.
|
|
|
92.
|
|
|
93.
|
|
|
94.
|
Homing sequence derivation with quantified boolean satisfiability H.-E. Wang, K.-H. Tu, J.-H. R. Jiang, N. Kushik by Wang, Hung-En | Tu, Kuan-Hua | Jiang, Jie-Hong R | Kushik, Natalia G. Source: Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedingsMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
95.
|
|
|
96.
|
Алгоритм матричного отображения графа на булев куб А. Д. Закревский by Закревский, Аркадий Дмитриевич, 1928-2014. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
97.
|
|
|
98.
|
|
|
99.
|
|
|
100.
|
|