Electronic Documents Search
Documents found: 3
-
Creators Terleev Vitaly V.; Nikonorov Aleksandr O.; Togo Issa; Volkova Yulia V.; Ginevsky Roman S.; Lazarev Victor A.; Khamzin Emil R.; Garmanov Vitaly V.; Mirschel Wilfried; Akimov Luka I. Imprint 2017 Collection Общая коллекция Subjects Строительство; Земляные работы; песчаные почвы; водоудерживающая способность почв; гистерезис почв; гидрологические свойства почв; математическое моделирование; компьютерные программы; сорбционно-десорбционные свойства; sandy soil; water-holding capacity of soil; hysteresis of soil; hydrological properties of soils; mathematical modeling; computer programs; sorption-desorption properties UDC 624.13 LBC 38.623 Document type Article, report File type PDF Language English DOI 10.18720/MCE.70.8 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 1.1 Mb -
Program and Code // Technology and Language. – 2022. – Т. 3, № 2. — С. 70-80
Creators Hahnle R. Imprint 2022 Collection Общая коллекция Subjects Вычислительная техника; Программирование ЭВМ. Компьютерные программы. Программотехника; computer programs; program codes; formal verification; mathematical semantics; software reliability; software quality; компьютерные программы; программные коды; формальная верификация; математическая семантика; достоверность программного обеспечения; качество программного обеспечения UDC 004.41/.42 LBC 32.973-018 Document type Article, report File type PDF Language English DOI 10.48417/technolang.2022.02.06 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Borchert L. M. Imprint 2023 Collection Общая коллекция Subjects Философия; Философия науки; Вычислительная техника; Прикладные информационные (компьютерные) технологии в целом; technical artifacts; computer programs; musical compositions; ontological parallels; computational artifacts; linguistic properties; технические артефакты; компьютерные программы; музыкальные произведения; онтологические параллели; вычислительные артефакты; лингвистические свойства UDC 1; 004.9 LBC 87.25; 32.973-018.2 Document type Article, report File type PDF Language English DOI 10.48417/technolang.2023.01.08 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 0.6 Mb