|
301.
|
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата А. В. Коломеец, С. А. Прокопенко 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 :
|
|
302.
|
|
|
303.
|
Отношения различимости между недетерминированными автоматами М. В. Ветрова by Ветрова, Мария Викторовна. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
304.
|
|
|
305.
|
|
|
306.
|
Последовательная композиции расширенных автоматов А. О. Федосеев by Федосеев, А. О. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
307.
|
|
|
308.
|
|
|
309.
|
|
|
310.
|
|
|
311.
|
Минимальные детерминированные редукции недетерминированных автоматов М. В. Ветрова by Ветрова, Мария Викторовна. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
312.
|
|
|
313.
|
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 :
|
|
314.
|
|
|
315.
|
|
|
316.
|
|
|
317.
|
|
|
318.
|
|
|
319.
|
|
|
320.
|
|
|
321.
|
|
|
322.
|
|
|
323.
|
|
|
324.
|
|
|
325.
|
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 :
|
|
326.
|
|
|
327.
|
Динамика коллективов автоматов в среде А. Н. Курганский by Курганский, Алексей Николаевич. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
328.
|
|
|
329.
|
Алгоритм матричного отображения графа на булев куб А. Д. Закревский by Закревский, Аркадий Дмитриевич, 1928-2014. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
330.
|
|
|
331.
|
К синтезу проверяющих тестов для мутационного автомата М. Ю. Дорофеева by Дорофеева, Маргарита Юрьевна. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
332.
|
Моделирование структурно-фазовых превращений в материале на различных масштабных уровнях при экстремальных воздействиях: метод стохастических возбудимых клеточных автоматов Д. Д. Моисеенко, В. Е. Панин, П. В. Максимов, Г. Ш. Бикинеев by Моисеенко, Дмитрий Давидович | Панин, Виктор Евгеньевич, 1930-2020 | Максимов, Павел Васильевич | Бикинеев, Г. Ш. Source: Международная конференция по физической мезомеханике, компьютерному конструированию и разработке новых материалов, 5-9 сентября 2011 г., Томск, Россия : тезисы докладовMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
333.
|
|
|
334.
|
|
|
335.
|
Трехмерное моделирование разрушения хрупких пористых материалов методом подвижных клеточных автоматов Н. В. Роман, А. Ю. Смолин, С. Г. Псахье by Роман, Никита Витальевич | Смолин, Алексей Юрьевич | Псахье, Сергей Григорьевич, 1952-2018. Source: Международная конференция по физической мезомеханике, компьютерному конструированию и разработке новых материалов, 5-9 сентября 2011 г., Томск, Россия : тезисы докладовMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
336.
|
|
|
337.
|
|
|
338.
|
|
|
339.
|
|
|
340.
|
|
|
341.
|
|
|
342.
|
|
|
343.
|
|
|
344.
|
|
|
345.
|
|
|
346.
|
|
|
347.
|
|
|
348.
|
|
|
349.
|
|
|
350.
|
|