1. 2024
  2. Разработка инструмента для анализа BPU

    Ефремов, А. А., Слинчук, Д. А. & Кутуев, В. А., 2024, СОВРЕМЕННЫЕ ТЕХНОЛОГИИ В ТЕОРИИ И ПРАКТИКЕ ПРОГРАММИРОВАНИЯ: Сборник материалов научно-практической конференции студентов, аспирантов и молодых ученых.. Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 273-274

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

  3. 2023
  4. Обзор книги «С++ 20 в деталях»: доступно, но не для джунов

    Луцив, Д. В., 1 ноя 2023

    Результаты исследований: Иные виды публикацийинаянаучно-популярная

  5. Framework for Machine Instruction Usage Analysis

    Печенев, Д. Е., Кириленко, Я. А. & Афонина, О. А., 30 окт 2023, Spring/Summer Young Researchers' Colloquium on Software Engineering 2023. стр. 163-170 8 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференцииРецензирование

  6. FastGFDs: Efficient Validation of Graph Functional Dependencies with Desbordante

    Черников, А. А., Чернышев, Г. А., Литвинов, Ю. В. & Смирнов, К. К., 2023.

    Результаты исследований: Материалы конференцийматериалыРецензирование

  7. Relational Solver for Java Generics Type System

    Лозов, П. А., Косарев, Д. С., Иванов, Д. & Булычев, Д. Ю., 2023, Logic-Based Program Synthesis and Transformation (LOPSTR 2023). Springer Nature, стр. 118–128

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференцииРецензирование

  8. 2021
  9. Обобщенное программирование с комбинаторами и объектами

    Косарев, Д. С. & Булычев, Д. Ю., 2021, в: НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, МЕХАНИКИ И ОПТИКИ. 21, 5, стр. 720–726

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Назад 1 2 Далее

ID: 107031448