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