Пошук академічних текстів

Керівник: Романов Володимир Олександрович. Розробити нові інформаційні технології та методи моделювання, дослідження і проектування смарт-систем для прецизійного землеробства, захисту довкілля та охорони здоров’я. (Етап: ). Інститут кібернетики імені В. М. Глушкова Національної академії наук України. № 0223U001691

Чистякова Інна Сергіївна. Метод відображення між дескриптивною логікою та реляційною моделлю даних. : Кандидат технічних наук : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : дата захисту 2021-09-09; Статус: Захищена; Київський національний університет імені Тараса Шевченка. – Київ, 0421U103401.

Сидорова Ніка Миколаївна. Метод керованого онтологією застосування стилів програмування. : Кандидат технічних наук : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : дата захисту 2018-12-06; Статус: Захищена; Київський національний університет імені Тараса Шевченка. – Київ, 0418U005348.

Богдан Ірина Валентинівна. Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм : к.т.н. : спец.. 05.13.06 - Інформаційні технології : дата захисту 2015-11-06; Статус: Захищена; Чернігівський національний технологічний університет. – , 0415U006183.

Сергієнко Анатолій Михайлович. Моделі, методи і засоби синтезу обчислювальних систем для обробки потоків даних : д.т.н. : спец.. 01.05.02 - Математичне моделювання та обчислювальні методи : дата захисту 2011-05-23; Статус: Захищена; Національний технічний університет України "Київський політехнічний інститут імені Ігоря Сікорського". – , 0511U000430.

Керівник: Палагін Олександр Васильович. Розробити теорію, алгоритми, методи проектування та створити високопродуктивні обчислювальні системи кластерного типу. (Етап: ). Iнститут кібернетики ім. В. М. Глушкова НАНУ. № 0211U008209

Керівник: Палагін Олександр Васильович. Розвиток архітектури, системного програмного забезпечення та впровадження інтелектуальних суперЕОМ. (Етап: ). Iнститут кібернетики ім. В. М. Глушкова НАНУ. № 0209U008911

Чеботарьов Анатолій Миколайович. Доказове проектування алгоритмів функціонування реактивних систем : д.т.н. : спец.. 05.13.13 - Обчислювальні машини, системи та мережі : дата захисту 2002-12-05; Статус: Захищена; Інститут кібернетики ім. В.М.Глушкова НАН України. – , 0502U000479.