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

  2. Beyond the elementary representations of program invariants over algebraic data types

    Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 июн 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (ред.). Association for Computing Machinery, стр. 451-465 15 стр. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

  3. 2017

  4. TRIK Studio: Technical Introduction

    Мордвинов, Д. А., Литвинов, Ю. В. & Bryksin, T., 2017, PROCEEDINGS OF THE 20TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION (FRUCT 2017). Balandin, S. (ред.). IEEE Canada, стр. 296-308 13 стр. (Proceedings Conference of Open Innovations Association FRUCT).

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

  5. 2016

  6. Новые возможности среды программирования роботов TRIK Studio

    Мордвинов, Д. А. & Литвинов, Ю. В., 2016, VI Всероссийская конференция «Современное технологическое обучение: от компьютера к роботу»: сборник тезисов. СПб: ЗАО «Полиграфическое предприятие № 3», стр. 41-43

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

ID: 32861539