|
451.
|
Синтез последовательностных схем с использованием равновесного кодирования состояний Е. В. Митрофанов by Митрофанов, Евгений Владимирович | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Материалы Первой Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 17-18 мая 2013 г.Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
452.
|
On the length of homing sequences for nondeterministic finite state machines N. G. Kushik, N. V. Yevtushenko by Kushik, Natalia G | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Научные подразделения РФФ. Source: Implementation and Application of Automata : 18th International Conference, CIAA 2013 Halifax, NS, Canada, July 16-19, 2013 : ProceedingsMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
453.
|
|
|
454.
|
|
|
455.
|
|
|
456.
|
|
|
457.
|
|
|
458.
|
|
|
459.
|
Алгебраические методы анализа автоматных систем В. А. Козловский by Козловский, В. А. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
460.
|
|
|
461.
|
|
|
462.
|
|
|
463.
|
|
|
464.
|
|
|
465.
|
Архитектура клеточного алгоритма деления В. П. Маркова by Маркова, Валентина Петровна. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
466.
|
|
|
467.
|
|
|
468.
|
Решение автоматного уравнения для многомодульной композиции С. В. Жарикова, Н. В. Евтушенко by Жарикова, С. В | Евтушенко, Нина Владимировна. Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
469.
|
|
|
470.
|
|
|
471.
|
Параллельная реализация асинхронных клеточно-автоматных аогоритмов О. Л. Бандман by Бандман, Ольга Леонидовна. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
472.
|
Создание информационной системы "Автоматы" Г. Г. Сапунков, М. В. Ветрова 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 :
|
|
473.
|
|
|
474.
|
|
|
475.
|
|
|
476.
|
|
|
477.
|
|
|
478.
|
|
|
479.
|
Моделирование температурных полей и напряженно-деформированного состояния в многоуровневой системе "покрытие - промежуточный слой - подложка" при высокотемпературном воздействии Г. Ш. Бикинеев, В. Е. Панин, Д. Д. Моисеенко, П. В. Максимов by Бикинеев, Г. Ш | Панин, Виктор Евгеньевич, 1930-2020 | Моисеенко, Дмитрий Давидович | Максимов, Павел Васильевич. Source: Международная конференция по физической мезомеханике, компьютерному конструированию и разработке новых материалов, 5-9 сентября 2011 г., Томск, Россия : тезисы докладовMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
480.
|
|
|
481.
|
|
|
482.
|
|
|
483.
|
Generating checking sequences for nondeterministic finite state machines A. Petrenko, A. Simao, N. Yevtushenko by Petrenko, Alexandre F | Simao, Adenilso da Silva | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
484.
|
|
|
485.
|
|
|
486.
|
Кодирование интервальных автоматов В. Б. Липский by Липский, Валерий Борисович. Source: Всесибирские чтения по математике и механике: Международная конференция, 17-20 июня 1997 г., г. Томск: Тезисы докладов. Т. 1Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
487.
|
|
|
488.
|
|
|
489.
|
Синтез условных тестов для верификации цифровых контролеров М. В. Ветрова by Ветрова, Мария Викторовна. Source: Современные проблемы физики и высокие технологии : материалы Международной конференции, посвященной 125-летию ТГУ, 75-летию СФТИ и 50-летию РФФ ТГУ (29 сентября - 4 октября 2003 г.)Material type: Article; Format:
print
festschrift
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
490.
|
|
|
491.
|
|
|
492.
|
|
|
493.
|
|
|
494.
|
|
|
495.
|
|
|
496.
|
Условия контроля автоматов "почти" обходами В. А. Козловский, О. М. Копытова by Козловский, В. А | Копытова, О. М. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
497.
|
|
|
498.
|
Параллельная композиция временных автоматов О. В. Кондратьева by Кондратьева, Ольга Викторовна. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
499.
|
|
|
500.
|
|