Научная библиотека ТГУ catalog › Results of search for 'an:"81023"'

Search

Your search returned 8 results.

	1.	No cover image available Оптимизация многокомпонентных дискретных систем на основе решения автоматных уравнений автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 by Тихомирова, Светлана Владимировна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2008Online access: Click here to access online Availability: 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: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Жигулин Максим Владимирович by Жигулин, Максим Владимирович \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2012Online 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 Громов, Максим Леонидович \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 by Дорофеева, Маргарита Юрьевна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна by Кушик, Наталья Геннадьевна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2016Availability: No items available : Log in to add tags Add to cart (remove)
	7.	No cover image available Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич by Ермаков, Антон Дмитриевич \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2017Availability: No items available : Log in to add tags Add to cart (remove)
	8.	No cover image available Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 by Коломеец, Антон Владимирович \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2010Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)