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

Search

Your search returned 4 results.

	1.	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)
	2.	No cover image available Соответствие между ошибками в программных реализациях протоколов и расширенных автоматах А. В. Коломеец, С. А. Прокопенко by Коломеец, Антон Владимирович \| Прокопенко, Светлана Анатольевна. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	3.	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)
	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)