Научная библиотека ТГУ catalog › Results of search for 'su:"автоматные сети."'

Search

Your search returned 9 results.

	1.	No cover image available Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Том. гос. ун-т; Науч. рук. Н. В. Евтушенко by Прокопенко, Светлана Анатольевна \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск 2000Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Синтез тестов для контроля систем логического управления методами теории экспериментов с автоматами диссертация на соискание ученой степени доктора технических наук : 05.13.01 Евтушенко Нина Владимировна ; Том. гос. ун-т им. В. В. Куйбышева by Евтушенко, Нина Владимировна \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 1990Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Каширова Лилия Федоровна ; науч. рук. А. Э. Кеэваллик ; Таллинский техн. ун-т by Каширова, Лилия Федоровна \| Кеэваллик, А. Э [ths]. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Таллин [б. и.] 1991Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Методы синтеза контролепригодных дискретных устройств Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Томский гос. ун-т; Науч. рук. А. Ю. Матросова by Останин, Сергей Александрович \| Томский государственный университет. Material type: Text; Format: print Publication details: Томск 2000Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Дискретные автоматы на полурешетках Г. П. Агибалов ; под ред. А. С. Петрова ; Том. гос. ун-т by Агибалов, Геннадий Петрович, 1939-2020 \| Петров, Алексей Сергеевич, 1938-1996 [edt] \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 1993Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Locating a faulty component of an EFSM composition S. Prokopenko by Prokopenko, Svetlana A \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	No cover image available Синтез отказоустойчивых автоматных сетей для неисправностей задержек путей С. А. Останин, В. А. Лавров, Д. А. Третьяков by Останин, Сергей Александрович \| Лавров, Валерий Александрович \| Третьяков, Дмитрий Александрович. Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	No cover image available Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента И. Б. Куфарева, В. Н. Тренькаев by Куфарева, Ирина Борисовна \| Тренькаев, Вадим Николаевич. Source: Вестник Томского государственного университетаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	No cover image available Cryptautomata: definition, cryptanalysis, example G. P. Agibalov by Agibalov, G. P, 1939-2020. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)