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

Search

Your search returned 8 results.

	1.	Лекции по математической лингвистике В. А. Лапшин by Лапшин, Владимир Анатольевич. Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Научный мир 2010Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01 Громов Максим Леонидович ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т by Громов, Максим Леонидович \| Евтушенко, Нина Владимировна [ths] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2009Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна ; науч. конс. Евтушенко Н. В. ; Том. гос. ун-т by Кушик, Наталья Геннадьевна \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2016Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Теоретические основы разработки и реализации языков программирования учебное пособие : [для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки дипломированных специалистов "Информатика и вычислительная техника"] М. М. Гавриков, А. Н. Иванченко, Д. В. Гринченков ; под ред. А. Н. Иванченко by Гавриков, Михаил Михайлович \| Иванченко, Александр Николаевич \| Гринченков, Дмитрий Валерьевич. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Москва КноРус 2016Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available On separating UML specified non-deterministic finite state machines with time-outs R. Galimullin by Galimullin, Rustam \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. 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)
	6.	No cover image available Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability N. G. Kushik by Kushik, Natalia G \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. 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)
	7.	No cover image available Generating checking sequences for nondeterministic finite state machines A. Petrenko, A. Simao, N. Yevtushenko by Petrenko, Alexandre F \| Simao, Adenilso da Silva \| Yevtushenko, Nina V \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012Material 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)
	8.	No cover image available On the length of homing sequences for nondeterministic finite state machines N. G. Kushik, N. V. Yevtushenko by Kushik, Natalia G \| Yevtushenko, Nina V \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур \| Томский государственный университет Радиофизический факультет Научные подразделения РФФ. Source: Implementation and Application of Automata : 18th International Conference, CIAA 2013 Halifax, NS, Canada, July 16-19, 2013 : ProceedingsMaterial 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)