Пошуковий запит: (<.>U=З973-018$<.>) |
Загальна кількість знайдених документів : 3513
Представлено документи з 1 до 20
|
| | |
| 1. | Калита О. В. Програмно-алгоритмічне та інформаційне забезпечення побудови інтелектуальних програмних систем інтегрованої обробки часових рядів : Дис...канд.техн.наук:05.13.11 / Калита Олександр Вікторович ; АН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1993. - 96 с. (Шифр: ДС40670)
|
| 2. | Яковлев С. В. Исследование и реализация методов и средств теоретико-множественного программирования : Дис...канд.физ.-мат.наук:05.13.11 / Яковлев Сергей Викторович ; АН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1993. - 144 л. (Шифр: ДС42661)
|
| 3. | Сидоров Н. А. Инженерия утилизации программного обеспечения систем управления и ЭВМ : Дис... д-ра техн. наук: 05.13.09 / Сидоров Николай Александрович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1995. - 451 л. (Шифр: ДС52886)
|
| 4. | Баран І. О. Високоточні обчислювальні алгоритми та система автоматизованого розрахунку дифузійних процесів в багатокомпонентних середовищах : Дис... канд. техн. наук: 01.05.02 / Баран Ігор Олегович ; Тернопільський держ. технічний ун-т ім. Івана Пулюя. - Т., 2003. - 191 арк. (Шифр: ДС81150)
|
| 5. | Вінник В. Ю. Еталонні моделі символьної обробки : Дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Житомирський держ. технологічний ун-т. - Житомир, 2003. - 139 арк. (Шифр: ДС83148)
|
| 6. | Тарасюк О. М. Методы и инструментальные средства метрико-вероятностной оценки качества программного обеспечения информационно-управляющих систем критического применения : Дис... канд. техн. наук: 05.13.06 / Тарасюк Ольга Михайловна ; Национальный аэрокосмический ун-т им. Н.Е.Жуковского "Харьковский авиационный ин-т". - Х., 2004. - 201 л.: рис. (Шифр: ДС83046)
|
| 7. | Пантелеймонов А. А. Методы и средства реинженерии мобильных приложений с графическим интерфейсом : Дис... канд. техн. наук: 01.05.03 / Пантелеймонов Андрей Анатольевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2004. - 141 л. (Шифр: ДС83214)
|
| 8. | Сичкаренко В. А. Разработка интерфейса пользователя локализованных распределенных приложений : Дис... канд. техн. наук: 05.13.06 / Сичкаренко Владимир Александрович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2004. - 134 л.: рис. (Шифр: ДС83328)
|
| 9. | Химич А. Н. Методы компьютерного исследования математических моделей с приближенно заданными исходными данными : Дис... д-ра физ.-мат. наук: 01.05.02 / Химич Александр Николаевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2003. - 330 л. (Шифр: ДС83919)
|
| 10. | Тульчинский П. Г. Разработка механизма расширенного запроса по образцу в приложениях баз данных : Дис... канд. физ.-мат. наук: 01.05.03 / Тульчинский Петр Григорьевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2003. - 129 л. (Шифр: ДС84508)
|
| 11. | Ляхов О. Л. Інтелектуалізація розв'язування наукових і прикладних задач на основі методів комп'ютерної алгебри : Дис... д-ра техн. наук: 01.05.03 / Ляхов Олександр Логвинович ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 2003. - 418 арк. : рис. (Шифр: ДС84923)
|
| 12. | Песчаненко В. С. Методи комп'ютерної алгебри та символьних перетворень при проектуванні математичних систем учбового призначення : дис... канд. фіз.-мат. наук: 01.05.03 / Песчаненко Володимир Сергійович ; Ін-т кібернетики ім. В. М. Глушкова НАН України. - К., 2007. - 125 арк.: рис. (Шифр: ДС97862)
|
| 13. | Богаєнко В. О. Автоматизація розв'язання просторових задач з неповними даними : Дис... канд. техн. наук: 01.05.02 / Богаєнко Всеволод Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2006. - 170 арк.: рис., табл. (Шифр: ДС93572)
|
| 14. | Козачко О. М. Моделювання надійності алгоритмічних процесів, які виконуються з помилками різних типів : Дис... канд. техн. наук: 01.05.02 / Козачко Олексій Миколайович ; Вінницький національний технічний ун-т. - Вінниця, 2005. - 202 арк.: рис., табл. (Шифр: ДС93620)
|
| 15. | Панченко Т. В. Композиційні методи специфікації та верифікації програмних систем : Дис... канд. фіз.-мат. наук: 01.05.03 / Панченко Тарас Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 177 арк. (Шифр: ДС94003)
|
| 16. | Яценко О. А. Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування : Дис... канд. фіз.-мат. наук: 01.05.03 / Яценко Олена Анатоліївна ; Нац. акад. наук України, Ін-т програм. систем. - К., 2005. - 177 арк. (Шифр: ДС89707)
|
| 17. | Крамар Ю. М. Методы и информационно-программные средства синтеза и анализа стилей программирования : Дис... канд. техн. наук: 05.13.06 / Крамар Юлия Михайловна ; Национальный авиационный ун-т. - К., 2004. - 200 л. (Шифр: ДС89726)
|
| 18. | Коротун Т. М. Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів : Дис... канд. фіз.-мат. наук: 01.05.03 / Коротун Тетяна Михайлівна ; Ін-т програм. систем НАН України. - К., 2005. - 127 арк.: рис. (Шифр: ДС90038)
|
| 19. | Контрерас Д. Э. Методы и средства компьютерной реализации интегродифференциальных моделей динамических систем : Дис... канд. техн. наук: 01.05.02 / Контрерас Дмитрий Эдгарович ; Одесский национальный политехнический ун-т. - О., 2002. - 145 л. (Шифр: ДС75473)
|
| 20. | Говорущенко Т. О. Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій : дис... канд. техн. наук: 05.13.06 / Говорущенко Тетяна Олександрівна ; Хмельницький національний ун-т. - Хмельницький, 2007. - 191 арк. (Шифр: ДС104942)
|
| | |
Книжкові видання
