Научная библиотека ТГУ catalog › Results of search for '81023'

Your search returned 41 results.

	1.	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)
	2.	No cover image available Locating a faulty component of an EFSM composition S. Prokopenko by Prokopenko, Svetlana A \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. 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: electronic available online 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: Известия высших учебных заведений. Физика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 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 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: electronic available online 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 Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко 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: electronic available online Online access: Click here to access online 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 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 On reducing test length for FSMs with extra states A. Simao, A. Petrenko, N. Yevtushenko by Simao, Adenilso da Silva \| Petrenko, Alexandre F \| Yevtushenko, Nina V \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Software Testing Verification and ReliabilityMaterial 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)
	12.	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)
	13.	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)
	14.	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)
	15.	No cover image available Тестирование в контексте для реализации протокола TCP на основе автоматных моделей Н. М. Щипачев, Н. Г. Кушик 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)
	16.	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)
	17.	No cover image available Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами М. В. Жигулин, С. А. Прокопенко 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)
	18.	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)
	19.	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)
	20.	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)
	21.	No cover image available Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs I. Hwang, N. V. Yevtushenko, A. Cavalli by Hwang, Iksoon \| Yevtushenko, Nina V \| Cavalli, Ana Rosa \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Information processing lettersMaterial 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)
	22.	No cover image available Об одном свойстве смеси плотностей распределения оценок интенсивности простейшего потока событий Е. Н. Беккерман, А. М. Горцев by Беккерман, Екатерина Николаевна \| Горцев, Александр Михайлович, 1944-2023 \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра исследования операций. 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)
	23.	No cover image available Эвристический алгоритм оценки числа состояний асинхронного МС-потока событий Е. Н. Беккерман, А. М. Горцев by Беккерман, Екатерина Николаевна \| Горцев, Александр Михайлович, 1944-2023 \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра исследования операций. 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)
	24.	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)
	25.	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)
	26.	No cover image available A practical approach for testing timed deterministic finite state machines with single clock K. El-Fakih, N. Yevtushenko, A. Simao by El-Fakih, Khaled \| Yevtushenko, Nina V \| Simao, Adenilso da Silva \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Science of Computer ProgrammingMaterial 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)
	27.	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)
	28.	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)
	29.	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)
	30.	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)
	31.	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)
	32.	No cover image available Программно-аппаратный комплекс для цифровой обработки сигналов С. Н. Торгаев, Г. С. Евтушенко, Д. Н. Огородников, В. А. Киселева by Торгаев, Станислав Николаевич \| Огородников, Дмитрий Николаевич \| Киселева, Виктория Андреевна \| Евтушенко, Геннадий Сергеевич, 1947- \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. 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)
	33.	No cover image available Conformance relations for finite state machines with timeouts O. Kondratyeva, N. Yevtushenko, A. Cavalli by Kondratyeva, O \| Yevtushenko, Nina V \| Cavalli, Ana Rosa \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. 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)
	34.	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)
	35.	No cover image available FSM-based testing from user defined faults adapted to incremental and mutation testing K. A. El-Fakih, R. Dorofeeva, N. V. Yevtushenko, G. V. Bochmann by Dorofeeva, R \| Yevtushenko, Nina V \| Bochmann, G. V \| El-Fakih, Khaled \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Programming and computer softwareMaterial 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)
	36.	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)
	37.	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)
	38.	No cover image available A TEFSM-based framework for QoE evaluation of OTT services D. Rivera, N. Kushik, C. Fuenzalida [et.al.] by Rivera, D \| Fuenzalida, C \| Cavalli, Ana Rosa \| Yevtushenko, Nina V \| 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)
	39.	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)
	40.	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)
	41.	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)

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Topics

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

Your search returned 41 results.