Scientific Library of Tomsk State University

   Digital catalogue        

Refine your search

Your search returned 65 results.

1.
К тестированию недетерминированных автоматов с таймаутами относительно неразделимости Н. В. Шабалдина

by Шабалдина, Наталия Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
2.
Исследование отношения неразделимости для недетерминированных автоматов с тайм-аутами Н. В. Шабалдина

by Шабалдина, Наталия Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
3.
Locating a faulty component of an EFSM composition S. Prokopenko

by Prokopenko, Svetlana A | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
4.
Тестирование автомата в различных контекстах М. В. Ветрова

by Ветрова, Мария Викторовна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
5.
Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability N. G. Kushik

by Kushik, Natalia G | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
6.
К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами Н. В. Шабалдина, Р. Ф. Галимуллин

by Шабалдина, Наталия Владимировна | Галимуллин, Рустам Фанисович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: ПрограммированиеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
7.
Синтез условных различающих экспериментов для автоматов с недетерминированным поведением М. Л. Громов, Н. В. Евтушенко

by Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
8.
К синтезу проверяющих тестов для недетерминированных автоматов относительно редукции Н. В. Евтушенко, А. Ф. Петренко

by Евтушенко, Нина Владимировна | Петренко, Александр Федорович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
9.
Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко

by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
10.
К установке сложных систем в известное состояние Н. В. Евтушенко, Н. Г. Кушик

by Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
11.
О верхней оценке длины разделяющей последовательности Н. В. Евтушенко, Н. В. Спицина

by Евтушенко, Нина Владимировна | Спицына, Наталия Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
12.
К комплексной оценке удовлетворенности конечного пользователя качеством обслуживания в телекоммуникационных системах Н. В. Евтушенко, Н. Г. Кушик

by Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
13.
Экспериментальное сравнение аппаратной и программной реализаций алгоритма шифрования DES Д. С. Кожевников, Н. П. Шатилов

by Кожевников, Д. С | Шатилов, Никита Петрович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
14.
Параллельное программирование с использованием технологии MPI: указания к лабораторным работам учебно-методическое пособие Томский гос. ун-т, Радиофизический фак. ; [сост. А. В. Григорьева, Н. В. Шабалдина]

by Григорьева, А. В [com] | Шабалдина, Наталия Владимировна [com] | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2008Availability: Items available for loan: (50).
15.
Система имитационного моделирования сети Е. П. Чеботарева, М. Л. Громов

by Чеботарева, Евгения Петровна | Громов, Максим Леонидович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
16.
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации Электронный ресурс автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич

by Ермаков, Антон Дмитриевич | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2017Online access: Click here to access online Availability: No items available :
17.
Оптимизация многокомпонентных дискретных систем на основе решения автоматных уравнений автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01

by Тихомирова, Светлана Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2008Online access: Click here to access online Availability: Items available for loan: (2).
18.
Решение параллельных уравнений для ω-языков В. Г. Бушков, Н. В. Евтушенко

by Бушков, Виктор Георгиевич | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
19.
Использование свойств мутационных автоматов для минимизации проверяющих тестов К. Эль-Факи, Н. В. Евтушенко, М. Ю. Дорофеева

by Эль-Факи, Калед | Евтушенко, Нина Владимировна | Дорофеева, Маргарита Юрьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: ПрограммированиеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
20.
О сложности проверки существования установочных последовательностей для недетерминированных автоматов Н. Г. Кушик, В. В. Кулямин, Н. В. Евтушенко

by Кушик, Наталья Геннадьевна | Кулямин, Виктор Вячеславович | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: ПрограммированиеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
21.
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 Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
22.
К упрощению сколемовых функций в булевых формулах с кванторами Н. П. Шатилов, М. Л. Громов

by Шатилов, Никита Петрович | Громов, Максим Леонидович | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
23.
Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01

by Громов, Максим Леонидович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2009Online access: Click here to access online Availability: Items available for loan: (2).
24.
К минимизации автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко

by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
25.
Об одном свойстве смеси плотностей распределения оценок интенсивности простейшего потока событий Е. Н. Беккерман, А. М. Горцев

by Беккерман, Екатерина Николаевна | Горцев, Александр Михайлович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра исследования операций.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
26.
Эвристический алгоритм оценки числа состояний асинхронного МС-потока событий Е. Н. Беккерман, А. М. Горцев

by Беккерман, Екатерина Николаевна | Горцев, Александр Михайлович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра исследования операций.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
27.
Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов М. Н. Сухоплюев, Н. Г. Кушик

by Сухоплюев, Максим Николаевич | Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
28.
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 Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
29.
Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами Н. П. Шатилов, М. Л. Громов

by Шатилов, Никита Петрович | Громов, Максим Леонидович | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
30.
Проверка свойств конечных автоматов с помощью набора инструментов mCRL2 М. Л. Громов, А. В. Лапутенко

by Громов, Максим Леонидович | Лапутенко, Андрей Владимирович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
31.
Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01

by Коломеец, Антон Владимирович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2010Online access: Click here to access online Availability: Items available for loan: (2).
32.
К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов Е. А. Акеньшина, Н. В. Шабалдина

by Акеньшина, Екатерина Алексеевна | Шабалдина, Наталия Владимировна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
33.
FSMTest-1.0: a manual for researches N. Shabaldina, M. Gromov

by Shabaldina, Natalia V | Gromov, Maxim L | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
34.
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата А. В. Коломеец, С. А. Прокопенко

by Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
35.
Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Жигулин Максим Владимирович

by Жигулин, Максим Владимирович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2012Online access: Click here to access online Availability: Items available for loan: (2).
36.
Пакет программ для моделирования физических процессов на основе клеточных автоматов А. С. Попов, Н. Г. Кушик

by Попов, Александр Сергеевич | Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
37.
Интерактивная обучающая система по линейной алгебре: генерация систем линейных уравнений Н. А. Мягченко, Н. В. Шабалдина

by Мягченко, Наталья Андреевна | Шабалдина, Наталия Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
38.
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 Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
39.
Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна

by Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2013Online access: Click here to access online Availability: Items available for loan: (2).
40.
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов Электронный ресурс автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна

by Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2016Online access: Click here to access online Availability: No items available :
41.
Программный комплекс моделирования телекоммуникационной сети Е. П. Оленюк, М. Л. Громов

by Оленюк, Евгения Петровна | Громов, Максим Леонидович | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
42.
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич

by Ермаков, Антон Дмитриевич | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2017Availability: Items available for loan: (2).
43.
Тестирование в контексте для реализации протокола TCP на основе автоматных моделей Н. М. Щипачев, Н. Г. Кушик

by Щипачев, Никита Михайлович | Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
44.
Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами М. В. Жигулин, С. А. Прокопенко

by Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
45.
Частные решения уравнений для временных автоматов с таймаутами О. В. Кондратьева, Н. В. Евтушенко

by Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
46.
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна

by Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2016Availability: Items available for loan: (2).
47.
Синтез условных синхронизирующих экспериментов для недетерминированных автоматов Н. Г. Кушик, Н. В. Евтушенко

by Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
48.
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 Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
49.
Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01

by Дорофеева, Маргарита Юрьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2007Online access: Click here to access online Availability: Items available for loan: (2).
50.
Создание информационной системы "Автоматы" Г. Г. Сапунков, М. В. Ветрова

by Сапунков, Глеб Г | Ветрова, Мария Викторовна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :