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

Search

Your search returned 7 results.

	1.	Введение в теорию алгоритмических языков и компиляторов [учебное пособие для вузов по специальности 230105.65 "Программное обеспечение вычислительной техники и автоматизированных систем" по направлению подготовки специалистов 654600 "Информатика и вычислительная техника" и направлению подготовки бакалавров и магистров 552800 "Информатика и вычислительная техника"] Л. Г. Гагарина, Е. В. Кокорева by Гагарина, Лариса Геннадьевна \| Кокорева, Елена Викторовна. Series: Высшее образованиеMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: Москва Форум 2009Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Тренькаев Вадим Николаевич ; Том. гос. ун-т ; науч. рук. Н. В. Евтушенко by Тренькаев, Вадим Николаевич \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск 2000Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Введение в теорию алгоритмических языков и компиляторов [учебное пособие для студентов вузов, обучающихся по направлению 230105 "Информатика и вычислительная техника"] Л. Г. Гагарина, Е. В. Кокорева by Гагарина, Лариса Геннадьевна \| Кокорева, Елена Викторовна. Series: Высшее образование \| Профессиональное образование \| Электронно-библиотечная система "Znanium.com"Material type: Text; Format: print ; Literary form: Not fiction Publication details: Москва Форум 2013Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Минимизация автоматов с таймаутами и временными ограничениями А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов by Твардовский, Александр Сергеевич \| Евтушенко, Нина Владимировна \| Громов, Максим Леонидович. Source: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Other title: Minimizing Finite State Machines with time guards and timeouts.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: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 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)
	6.	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)
	7.	Некоторые задачи идентификации состояний для недетерминированных автоматов Н. В. Евтушенко, Н. Г. Кушик ; Нац. исслед. Том. гос. ун-т, Ин-т системного программирования им. В. П. Иванникова РАН [и др.] by Евтушенко, Нина Владимировна \| Кушик, Наталья Геннадьевна \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск STT 2018Other title: Some state identification problems of non-deterministic finite state machines.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)