Search Results - "Carnegie Mellon University" :: Harvester open publications of NAS Ukraine

1

Time and Band Limiting for Matrix Valued Functions, an Example

by Grünbaum, F.A., Pacharoni, I., Zurrián, I.N.
Published in Symmetry, Integrability and Geometry: Methods and Applications (2015)

Get full text

Article

2

Акустический метод обратного рассеяния в опытах под нагрузкой и перспективы его развития

by Бусов, В.Л.
Published in Физика и техника высоких давлений (2003)

Get full text

Article

3

Optimum Failure-Censored Step-Stress Life Test Plans for the Lomax Distribution

by Ismail, Ali A.
Published in Проблемы прочности (2016)

Get full text

Article

4

Technological trends & software engineering education: a systematic review study

by Nesterenko, O.V.
Published 2023

Get full text

Article

5

Survey on modern tools and methods of formal models verification

by Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.
Published 2015

Get full text

Article

6

Обзор современных систем и методов верификации формальных моделей

by Колчин, А.В., Летичевский, А.А., Потиенко, С.В., Песчаненко, В.С.
Published in Проблеми програмування (2012)

Get full text

7

50 years of software engineering

by Sydorov, N.A.
Published 2019

Get full text

Article

8

Master’s thesis in software engineering – object, subject, contents of research

by Sydorov, M.O.
Published 2022

Get full text

Article

9

Production system shell for mobile Devices

by Shapovalova, S.I., Mazhara, O.O.
Published in Математичне та комп'ютерне моделювання. Серія: Технічні науки (2015)

Get full text

Article

10

Сучасні підходи до розв'язання задач комп'ютерного зору

by Тимчишин, Р.М., Волков, О.Є., Господарчук, О.Ю., Богачук, Ю.П.
Published in Управляющие системы и машины (2018)

Get full text

Article

Refine Results