1 - 4 из 4Размер страницы: 10
Сортировать по:: Год публикации
  1. 2025

  2. Объектная модель научной деятельности

    Шелехов, В. И., 2025, в: Управление наукой: теория и практика. 7, 3, стр. 63-82

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

  3. 2023

  4. Automata-Based Software Engineering with Event-B

    Shelekhov, V. I., окт. 2023, в: Programming and Computer Software. 49, 5, стр. 470-483 14 стр.

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

  5. 2022

  6. Extensions to the Predicate Programming Language for Efficient Graph Processing

    Shelekhov, V., 2022, Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022. Institute of Electrical and Electronics Engineers Inc., стр. 65-71 7 стр. (Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022).

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

  7. 2018

  8. Verification of dual pivot quicksort program

    Shelekhov, V. I. & Сhushkin, M. S., 1 янв. 2018, в: CEUR Workshop Proceedings. 2260, стр. 511-524 14 стр.

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

ID: 3431193