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

Search

Your search returned 6 results.

	1.	No cover image available Построение тестов для конечных автоматов относительно неразделимости Н. В. Шабалдина, Н. В. Евтушенко by Шабалдина, Наталия Владимировна \| Евтушенко, Нина Владимировна. Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)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 Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде В. С. Белых, Н. В. Шабалдина by Белых, Виталий Сергеевич \| Шабалдина, Наталия Владимировна. Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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)
	3.	No cover image available К построению параллельной композиции расширенных автоматов Е. В. Широкова, С. А. Прокопенко, Н. В. Шабалдина by Широкова, Екатерина Владимировна \| Прокопенко, Светлана Анатольевна \| Шабалдина, Наталия Владимировна. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: On deriving the parallel composition of extended finite state machines.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: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.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)
	5.	No cover image available Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером М. Л. Громов, С. А. Прокопенко, А. П. Сотников, Н. В. Шабалдина by Громов, Максим Леонидович \| Прокопенко, Светлана Анатольевна \| Сотников, Александр Павлович \| Шабалдина, Наталия Владимировна. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: Optimization of the client component by the criterion of the absence of redundant dialogues with the server.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 Недетерминированные автоматы: анализ и синтез Ч. 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)