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 по 3 из 3
Предварительный просмотрДата выпускаНазваниеАвтор(ы)
2024Deciding satisfiability of SMT formulas over bit vectors using integer arithmeticБалай Павел Игоревич; Balaj Pavel Igorevic
2024Dynamic symbolic execution for PythonТочилина Екатерина Николаевна; Tocilina Ekaterina Nikolaevna
2024Realization of dataflow analysis for Go applicationsТульчинский Александр Станиславович; Tulcinskij Aleksandr Stanislavovic
Результаты 1 по 3 из 3