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

Search

Your search returned 6 results.

	1.	No cover image available Определение временных характеристик автомата, описывающего систему "Микроконтроллер-программа" Ю. Д. Бабенко, М. Л. Громов by Бабенко, Юрий Дмитриевич \| Громов, Максим Леонидович. Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.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)
	2.	No cover image available Проверка свойств конечных автоматов с помощью набора инструментов mCRL2 М. Л. Громов, А. В. Лапутенко 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)
	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 К синтезу тестов по мутационному автомату М. Л. Громов, М. Ю. Дорофеева, А. В. Коломеец by Громов, Максим Леонидович \| Дорофеева, Маргарита Юрьевна \| Коломеец, Антон Владимирович \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format: electronic available online ; Literary form: Not fiction 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)