Electronic Documents Search
Documents found: 2
-
Creators Кацман Виктор Игоревич Scientific adviser Новиков Федор Александрович Other creators Арефьева Людмила Анатольевна Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2021 Collection Научные работы аспирантов/докторантов; Общая коллекция Subjects Автоматические системы; Моделирование; автоматическая проверка; логические правила; пошаговые улучшения; вычислительные эксперименты; образование; automated Verification; logical rules; stepwise refinement; computational experiments; education UDC 681.51 Document type Scientific report File type Other Language Russian Level of education Graduate student Speciality code (FGOS) 09.06.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Rights Текст не доступен в соответствии с распоряжением СПбПУ от 11.04.2018 № 141 -
Creators Пак А. Х. Imprint 2023 Collection Общая коллекция Subjects Механика; Гидромеханика и аэромеханика; гидростатическое давление; прочные корпусы судов; внешнее воздействие; вычислительные эксперименты; полиуретан; экологический мониторинг; hydrostatic pressure; robust housings; external impact; computational experiments; polyurethane; environmental monitoring UDC 551.46 LBC 26.221 Document type Article, report File type Other Language Russian DOI 10.25791/infizik.5.2023.1327 Rights Доступ по паролю из сети Интернет (чтение) https://www.elibrary.ru/item.asp?id=53760939
