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

Search

Your search returned 7 results.

	1.	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)
	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: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available К синтезу проверяющих тестов для программной реализации протокола DCCP М. А. Лештаев, С. А. Прокопенко 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)
	5.	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)
	6.	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)
	7.	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)