|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов М. В. Жигулин, С. А. Прокопенко, Н. В. Евтушенко 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 :
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата А. В. Коломеец, С. А. Прокопенко 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 :
|
|
15.
|
|
|
16.
|
Новые информационные технологии в исследовании сложных структур материалы Тринадцатой международной конференции, 7-9 сентября 2020 г. М-во науки и высш. образования РФ, Нац. исслед. Том. гос. ун-т, Ангарский гос. техн. ун-т, Ин-т вычислит. мат. и мат. геофизики СО РАН ; [ред. кол.: А. М. Горцев и др.] by Беккерман, Екатерина Николаевна [edt] | Шабалдина, Наталия Владимировна [edt] | Горцев, Александр Михайлович, 1944-2023 [edt] | Громов, Максим Леонидович [edt] | Торгаев, Станислав Николаевич [edt] | Медведев, Юрий Геннадьевич [edt] | Останин, Сергей Александрович [edt] | Прокопенко, Светлана Анатольевна [edt] | Захарова, Галина Борисовна [edt] | Матросова, Анжела Юрьевна [edt] | Нежельская, Людмила Алексеевна [edt] | Томский государственный университет. Material type: Set; Format:
electronic
available online
Publication details: Томск Издательский Дом Томского государственного университета 2020Online access: Click here to access online Availability: No items available :
|
|
17.
|
|
|
18.
|
|
|
19.
|
|
|
20.
|
|
|
21.
|
|
|
22.
|
|
|
23.
|
К разработке программы кодогенерации «Искусственный программист» С. В. Батрацкий, С. А. Прокопенко 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 :
|
|
24.
|
|
|
25.
|
|
|
26.
|
|
|
27.
|
|
|
28.
|
|
|
29.
|
|
|
30.
|
|