Scientific Library of Tomsk State University

   Digital catalogue        

Refine your search

Your search returned 24 results.

1.
К синтезу проверяющих тестов для программной реализации протокола DCCP М. А. Лештаев, С. А. Прокопенко

by Лештаев Максим Александрович | Прокопенко, Светлана Анатольевна.

Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
2.
Соответствие между ошибками в программных реализациях протоколов и расширенных автоматах А. В. Коломеец, С. А. Прокопенко

by Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна.

Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
3.
К оптимизации цифровых схем на основе функциональной зависимости Г. Г. Сапунков, С. А. Прокопенко

by Сапунков, Г. Г | Прокопенко, Светлана Анатольевна.

Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
4.
Исследование возможностей конечного автомата для представления шифра многоалфавитной замены О. И. Серохвостов, С. А. Прокопенко

by Серохвостов, О. И | Прокопенко, Светлана Анатольевна.

Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
5.
Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Том. гос. ун-т; Науч. рук. Н. В. Евтушенко

by Прокопенко, Светлана Анатольевна | Томский государственный университет.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск 2000Availability: Items available for loan: (1).
6.
Создание графического интерфейса к программе кодогенерации "Искусственный программист" С. В. Батрацкий, С. А. Прокопенко

by Батрацкий, Сергей Васильевич | Прокопенко, Светлана Анатольевна.

Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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 :
7.
Разработка электронного учебно-методического пособия по курсу "Дискретная математика" в системе дистанционного обучения MOODLE Р. А. Гофман, С. А. Прокопенко

by Гофман, Рудольф Алексеевич | Прокопенко, Светлана Анатольевна.

Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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 :
8.
Дискретная математика Ч. 2 учебно-методическое пособие Том. гос. ун-т, Радиофиз. фак. ; [сост. С. А. Прокопенко]

by Прокопенко, Светлана Анатольевна [com] | Томский государственный университет Радиофизический факультет.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2006Availability: Items available for loan: (193). Checked out (1).
9.
Дискретная математика Ч. 1 учебно-методическое пособие по дискретной математике сост. С. А. Прокопенко ; Том. гос. ун-т, Радиофизический факультет

by Прокопенко, Светлана Анатольевна [com] | Томский государственный университет Радиофизический факультет.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2003Availability: Items available for loan: (12).
10.
Методы синтеза полных проверяющих тестов для детерминированных автоматов учебно-методическое пособие Том. гос. ун-т, Радиофиз. фак. ; сост. : В. Н. Тренькаев, С. А. Прокопенко

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

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2004Availability: Items available for loan: (1).
11.
К построению параллельной композиции расширенных автоматов Е. В. Дарусенкова, С. А. Прокопенко, Н. В. Шабалдина

by Дарусенкова, Екатерина Владимировна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна.

Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.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: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.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 :
13.
К построению параллельной композиции расширенных автоматов Е. В. Широкова, С. А. Прокопенко, Н. В. Шабалдина

by Широкова, Екатерина Владимировна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: On deriving the parallel composition of extended finite state machines.Online access: Click here to access online Availability: No items available :
14.
Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 Том. гос. ун-т

by Прокопенко, Светлана Анатольевна | Томский государственный университет.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск 2000Availability: Items available for loan: (2).
15.
К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов А. Н. Михайлова, В. С. Болтова, С. А. Прокопенко, Н. В. Шабалдина

by Болтова, Виктория Сергеевна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна | Михайлова, Александра Николаевна.

Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.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.
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата А. В. Коломеец, С. А. Прокопенко

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 :
17.
Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами М. В. Жигулин, С. А. Прокопенко

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

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

by Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Томский государственный университет.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Томск Издательский Дом Томского государственного университета 2014Other title: BDD и операция над ними.Online access: Click here to access online Availability: Items available for loan: (48).
19.
Тестирование JAVA программ с использованием инструмента FSMTest2JUnit С. В. Батрацкий, С. А. Прокопенко, М. Л. Громов, Н. В. Шабалдина

by Прокопенко, Светлана Анатольевна | Громов, Максим Леонидович | Шабалдина, Наталия Владимировна | Батрацкий, Сергей Васильевич.

Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.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 :
20.
К разработке программы кодогенерации «Искусственный программист» С. В. Батрацкий, С. А. Прокопенко

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 :
21.
Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов М. В. Жигулин, С. А. Прокопенко, Н. В. Евтушенко

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 :
22.
Дискретная математика Электронный ресурс электронное учебное пособие Громов М. Л., Жигулин М. В., Прокопенко С. А. ; Том. гос. ун-т, Ин-т дистанционного образования

by Прокопенко, Светлана Анатольевна | Громов, Максим Леонидович | Жигулин, Максим Владимирович | Томский государственный университет Институт дистанционного образования.

Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск ИДО ТГУ 2006Online access: Click here to access online Availability: No items available :
23.
Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата С. А. Прокопенко, М. В. Жигулин, А. В. Коломеец, Н. В. Евтушенко

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

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
24.
Новые информационные технологии в исследовании сложных структур материалы Тринадцатой международной конференции, 7-9 сентября 2020 г. М-во науки и высш. образования РФ, Нац. исслед. Том. гос. ун-т, Ангарский гос. техн. ун-т, Ин-т вычислит. мат. и мат. геофизики СО РАН ; [ред. кол.: А. М. Горцев и др.]

by Беккерман, Екатерина Николаевна [edt] | Шабалдина, Наталия Владимировна [edt] | Горцев, Александр Михайлович [edt] | Громов, Максим Леонидович [edt] | Торгаев, Станислав Николаевич [edt] | Медведев, Юрий Геннадьевич [edt] | Останин, Сергей Александрович [edt] | Прокопенко, Светлана Анатольевна [edt] | Захарова, Галина Борисовна [edt] | Матросова, Анжела Юрьевна [edt] | Нежельская, Людмила Алексеевна [edt] | Томский государственный университет.

Material type: Set Set; Format: electronic available online remote Publication details: Томск Издательский Дом Томского государственного университета 2020Online access: Click here to access online Availability: No items available :