Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

  • Your search returned 30 results.

    1.
    Дискретная математика Ч. 2 учебно-методическое пособие Том. гос. ун-т, Радиофиз. фак. ; [сост. С. А. Прокопенко]

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2006Availability: No items available :
    2.
    Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Том. гос. ун-т; Науч. рук. Н. В. Евтушенко

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск 2000Availability: No items available :
    3.
    Методы синтеза полных проверяющих тестов для детерминированных автоматов учебно-методическое пособие Том. гос. ун-т, Радиофиз. фак. ; сост. : В. Н. Тренькаев, С. А. Прокопенко

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2004Availability: No items available :
    4.
    Дискретная математика Ч. 1 учебно-методическое пособие по дискретной математике сост. С. А. Прокопенко ; Том. гос. ун-т, Радиофизический факультет

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2003Availability: No items available :
    5.
    Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 Том. гос. ун-т

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

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

    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 :
    7.
    К разработке модуля решения задач обучающей системы по курсу "Аналитическая геометрия" Е. Н. Беккерман, С. А. Прокопенко, А. В. Чепурная

    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 :
    8.
    К синтезу проверяющих тестов для программной реализации протокола DCCP М. А. Лештаев, С. А. Прокопенко

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

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

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

    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 :
    11.
    Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером М. Л. Громов, С. А. Прокопенко, А. П. Сотников, Н. В. Шабалдина

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Optimization of the client component by the criterion of the absence of redundant dialogues with the server.Online access: Click here to access online Availability: No items available :
    12.
    Проверка свойства реактивности в Dart-реализации SMTP-клиента А. П. Сотников, М. Л. Громов, С. А. Прокопенко, Н. В. Шабалдина

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Checking input-output behaviour of the SMPT-client Dart implementation.Online access: Click here to access online Availability: No items available :
    13.
    Применение модели расширенного автомата для обучения алгоритму поиска фиктивных переменных булевой функции В. И. Тишкова, С. А. Прокопенко

    by Тишкова, Валерия Ивановна | Прокопенко, Светлана Анатольевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Application of the extended fsm for learning the algorithm for finding dummy variables of a Boolean function.Online access: Click here to access online Availability: No items available :
    14.
    Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата А. В. Коломеец, С. А. Прокопенко

    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 :
    15.
    К построению параллельной композиции расширенных автоматов Е. В. Широкова, С. А. Прокопенко, Н. В. Шабалдина

    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 :
    16.
    Новые информационные технологии в исследовании сложных структур материалы Тринадцатой международной конференции, 7-9 сентября 2020 г. М-во науки и высш. образования РФ, Нац. исслед. Том. гос. ун-т, Ангарский гос. техн. ун-т, Ин-т вычислит. мат. и мат. геофизики СО РАН ; [ред. кол.: А. М. Горцев и др.]

    by Беккерман, Екатерина Николаевна [edt] | Шабалдина, Наталия Владимировна [edt] | Горцев, Александр Михайлович, 1944-2023 [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 :
    17.
    К построению параллельной композиции расширенных автоматов Е. В. Дарусенкова, С. А. Прокопенко, Н. В. Шабалдина

    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 :
    18.
    Эксперимент по выявлению избыточного сетевого взаимодействия Dart-реализации SMTP-клиента с сервером А. П. Сотников, Н. В. Шабалдина, М. Л. Громов [и др.]

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Redundant interaction experimental identification of the Dart-implementation of the SMTP client with the server.Online access: Click here to access online Availability: No items available :
    19.
    Синтез и оптимизация цифровых схем Ч. 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: No items available :
    20.
    Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов А. Коломеец, М. Громов, С. Прокопенко, Н. Евтушенко

    by Коломеец, Антон Владимирович | Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна.

    Source: Современные проблемы физики и высокие технологии : материалы Международной конференции, посвященной 125-летию ТГУ, 75-летию СФТИ и 50-летию РФФ ТГУ (29 сентября - 4 октября 2003 г.)Material type: Article Article; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    21.
    Тестирование 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 :
    22.
    Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами М. В. Жигулин, С. А. Прокопенко

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

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

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

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

    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 :
    25.
    Соответствие между ошибками в программных реализациях протоколов и расширенных автоматах А. В. Коломеец, С. А. Прокопенко

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

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

    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 :
    27.
    Разработка электронного учебно-методического пособия по курсу "Дискретная математика" в системе дистанционного обучения 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 :
    28.
    Тестирование DART-реализации клиентской части протокола POP3 С. А. Прокопенко, Н. В. Шабалдина, А. П. Сотников

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

    Source: Молодежь и современные информационные технологии : сборник трудов XVIII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 22–26 марта 2021 г.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 :
    29.
    К оптимизации цифровых схем на основе функциональной зависимости Г. Г. Сапунков, С. А. Прокопенко

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

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

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :