|
|
1.
|
|
|
|
2.
|
Тестирование автомата в различных контекстах М. В. Ветрова by Ветрова, Мария Викторовна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type:  Article; Format:
electronic
available online
 ; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
О верхней оценке длины разделяющей последовательности Н. В. Евтушенко, Н. В. Спицина by Евтушенко, Нина Владимировна | Спицына, Наталия Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
Система имитационного моделирования сети Е. П. Чеботарева, М. Л. Громов 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 :
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
Решение параллельных уравнений для ω-языков В. Г. Бушков, Н. В. Евтушенко by Бушков, Виктор Георгиевич | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Прикладная дискретная математикаMaterial type: Article; Format:
electronic
available online
Online access: Click here to access online Availability: No items available :
|
|
|
20.
|
|
|
|
21.
|
|
|
|
22.
|
|
|
|
23.
|
|
|
|
24.
|
|
|
|
25.
|
|
|
|
26.
|
|
|
|
27.
|
|
|
|
28.
|
|
|
|
29.
|
К минимизации автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format:
electronic
available online
Online access: Click here to access online Availability: No items available :
|
|
|
30.
|
|
|
|
31.
|
|
|
|
32.
|
|
|
|
33.
|
|
|
|
34.
|
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата А. В. Коломеец, С. А. Прокопенко by Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
|
35.
|
|
|
|
36.
|
|
|
|
37.
|
|
|
|
38.
|
|
|
|
39.
|
|
|
|
40.
|
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; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
|
41.
|
|
|
|
42.
|
|
|
|
43.
|
|
|
|
44.
|
|
|
|
45.
|
|
|
|
46.
|
Создание информационной системы "Автоматы" Г. Г. Сапунков, М. В. Ветрова by Сапунков, Глеб Г | Ветрова, Мария Викторовна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
|
47.
|
|
|
|
48.
|
|
|
|
49.
|
К разработке программы кодогенерации «Искусственный программист» С. В. Батрацкий, С. А. Прокопенко 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 :
|
|
|
50.
|
|
