Научная библиотека ТГУ catalog › Results of search for 'su:"тесты проверяющие, синтез"'

Search

Your search returned 4 results.

	1.	No cover image available Недетерминированные автоматы: анализ и синтез Ч. 3 учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ] Н. В. Евтушенко, М. Л. Громов, Н. В. Шабалдина by Евтушенко, Нина Владимировна \| Громов, Максим Леонидович \| Шабалдина, Наталия Владимировна. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2013Other title: Проверяющие тесты для недетерминированных автоматов.Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Алгоритмы синтеза легко тестируемых комбинационных схем и тестов для кратных константных неисправностей и неисправностей задержек путей диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Николаева Екатерина Александровна ; науч. рук. А. Ю. Матросова ; Том. гос. ун-т by Николаева, Екатерина Александровна \| Матросова, Анжела Юрьевна [ths] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2011Availability: 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: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2019Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Лапутенко Андрей Владимирович ; науч. рук. Евтушенко Н. В. ; Томский гос. ун-т by Лапутенко, Андрей Владимирович \| Евтушенко, Нина Владимировна [ths] \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2020Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)