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

Search

Your search returned 9 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: Томск [б. и.] 2012Online 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 Жигулин, Максим Владимирович \| Евтушенко, Нина Владимировна [ths] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2012Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов М. В. Жигулин, С. А. Прокопенко, Н. В. Евтушенко 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 : Log in to add tags Add to cart (remove)
	4.	No cover image available Разработка обучающей системы по курсу "Лазерное зондирование" В. М. Жигулин by Жигулин, Максим Владимирович. Source: Современные проблемы физики и высокие технологии : материалы Международной конференции, посвященной 125-летию ТГУ, 75-летию СФТИ и 50-летию РФФ ТГУ (29 сентября - 4 октября 2003 г.)Material type: Article; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика" И. М. Дмитриев, М. В. Жигулин, Д. Д. Попов by Дмитриев, И. М \| Жигулин, Максим Владимирович \| Попов, Дмитрий Дмитриевич. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами М. В. Жигулин, С. А. Прокопенко 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)
	7.	No cover image available Оценка полноты проверки при пассивном тестировании на основе автоматной модели М. В. Жигулин by Жигулин, Максим Владимирович. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; 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 Дискретная математика Электронный ресурс электронное учебное пособие Громов М. Л., Жигулин М. В., Прокопенко С. А. ; Том. гос. ун-т, Ин-т дистанционного образования by Прокопенко, Светлана Анатольевна \| Громов, Максим Леонидович \| Жигулин, Максим Владимирович \| Томский государственный университет Институт дистанционного образования. Material type: Computer file; Format: electronic available online Publication details: Томск ИДО ТГУ 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)