1. DSpace at Saint Petersburg State University

Просмотр собрания по группе - Авторы Беляев Михаил Анатольевич

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
или введите несколько первых букв:  
Результаты 1 по 2 из 2
Предварительный просмотрДата выпускаНазваниеАвтор(ы)
2023Experimental investigation of context-free-language reachability algorithms as applied to static code analysisКутуев Владимир Александрович; Kutuev Vladimir Aleksandrovic
reviewSV_Ozercov_A_S__bak_rec_jpg_2.jpg.jpg2017Verification thread-safe data structures by controllable synchronisation pointsОзерцов Александр Сергеевич; Ozertsov Alexander
Результаты 1 по 2 из 2