Научная библиотека ТГУ

Your cart is empty.

Cart
Lists
Public lists Denisov Геоурбанистика (05.03.02 География, из РПД) UX-дизайн. UX-аналитика (сост. библиотекарь-предметник Л. В. Нупрейчик) Анимация (сост. библиотекарь-предметник Л. В. Нупрейчик) 3d-технологии и прототипирование для дизайнеров (сост. библиотекарь-предметник Л. В. Нупрейчик) Цветоведение (сост. библиотекарь-предметник Л. В. Нупрейчик) Геймдизайн (сост. библиотекарь-предметник Л. В. Нупрейчик) Дизайн цифровой иллюстрации (сост. библиотекарь-предметник Л. В. Нупрейчик) Типографика (сост. библиотекарь-предметник Л. В. Нупрейчик) Иллюстрация (сост. библиотекарь-предметник Л. В. Нупрейчик) View All
Your lists Log in to create your own lists

Log in to your account
Search history

Languages
English Русский

Scientific Library of Tomsk State University

E-catalog

Search

Advanced search
Authority search
Tag cloud
Library
Факультетские библиотеки
Карточный/Имидж каталог
Сибирика

Log in to your account

Login: Password:

Home
Results of search for 'su:"автоматы временные"'

Refine your search

Availability
- Limit to currently available items
Bibliographic level
Authors
Locations
- Книгохранилище (2)
Item types
- Выдается в читальный зал (2)
Topics

База знаний по целевым капиталам

   Эндаумент
   Фандрайзинг
   Нормативные документы

Your search returned 11 results.

Unhighlight Highlight

| |

	1.	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)
	2.	No cover image available Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Жигулин Максим Владимирович ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т by Жигулин, Максим Владимирович \| Евтушенко, Нина Владимировна [ths] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2012Availability: 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: Известия высших учебных заведений. Физика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)
	5.	No cover image available Минимизация временных автоматов с таймаутами О. В. Кондратьева by Кондратьева, Ольга Викторовна \| Томский государственный университет Радиофизический факультет Научные подразделения РФФ. Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием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: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Other title: On the possibilities of FSM description of parallel composition of timed finite state machines.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: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	8.	No cover image available Частные решения уравнений для временных автоматов с таймаутами О. В. Кондратьева, Н. В. Евтушенко 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)
	9.	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)
	10.	No cover image available К тестированию недетерминированных автоматов с таймаутами относительно неразделимости Н. В. Шабалдина by Шабалдина, Наталия Владимировна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием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)
	11.	No cover image available Синтез условных различающих экспериментов для автоматов с недетерминированным поведением М. Л. Громов, Н. В. Евтушенко 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)

Languages:
English
Русский