Пошуковий запит: (<.>U=З973-018.02$<.>) |
Загальна кількість знайдених документів : 390
Представлено документи з 1 до 20
|
| |
1. | ДС84508 Тульчинский П. Г. Разработка механизма расширенного запроса по образцу в приложениях баз данных [Текст] : Дис... канд. физ.-мат. наук: 01.05.03 / Тульчинский Петр Григорьевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2003. - 129 л.
|
2. | ДС94003 Панченко Т. В. Композиційні методи специфікації та верифікації програмних систем [Текст] : Дис... канд. фіз.-мат. наук: 01.05.03 / Панченко Тарас Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 177 арк.
|
3. | ДС89707 Яценко О. А. Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування [Текст] : Дис... канд. фіз.-мат. наук: 01.05.03 / Яценко Олена Анатоліївна ; Нац. акад. наук України, Ін-т програм. систем. - К., 2005. - 177 арк.
|
4. | ДС90038 Коротун Т. М. Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів [Текст] : Дис... канд. фіз.-мат. наук: 01.05.03 / Коротун Тетяна Михайлівна ; Ін-т програм. систем НАН України. - К., 2005. - 127 арк.: рис.
|
5. | ДС104942 Говорущенко Т. О. Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій [Текст] : дис... канд. техн. наук: 05.13.06 / Говорущенко Тетяна Олександрівна ; Хмельницький національний ун-т. - Хмельницький, 2007. - 191 арк.
|
6. | ДС57085 Кривой С. Л. Итеративные методы анализа процедурных программ [Текст] : Дис... д-ра физ.-мат. наук: 01.05.01 / Кривой Сергей Лукьянович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1997. - 266 л.
|
7. | ДС59229 Єршов С. В. Методи і засоби візуального об'єктно-орієнтованого проектування програмних систем на основі контурних Р-схем [Текст] : Дис... канд. фіз.-мат. наук: 01.05.03 / Єршов Сергій Володимирович ; НАН України, Міжнар. наук. центр технології програмування ТЕХНОСОФТ. - К., 1998. - 163 л.
|
8. | ДС62088 Вінничук І. П. Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ [Текст] : Дис... канд. фіз.-мат. наук: 01.05.03 / Вінничук Ігор Петрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1999. - 120 л.
|
9. | ДС55922сл Теслер Г. С. Ускорение вычислений на основе совершенствования алгоритмического базиса: теория и практика [Текст] : Дис... д-ра техн. наук: 05.13.09 / Теслер Геннадий Семенович ; Нац. акад. наук Украины, Ин-т проблем мат. машин и систем. - К., 1996. - 312 л.
|
10. | ДС71563 Семеріков С. О. Активізація пізнавальної діяльності студентів при вивченні чисельних методів у об'єктно-орієнтованій технології програмування [Текст] : Дис... канд. пед. наук: 13.00.02 / Семеріков Сергій Олексійович ; Криворізький держ. педагогічний ун-т. - Кривий Ріг, 2000. - 255 арк.
|
11. | ДС76317 Гуца О. Н. Интерактивная модель перевода технических заданий в систему булевых формул [Текст] : Дис... канд. техн. наук: 01.05.02 / Гуца Олег Николаевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 199 л.: рис., табл.
|
12. | ДС76800 Чеботарев А. Н. Доказательное проектирование алгоритмов функционирования реактивных систем [Текст] : Дис... д-ра техн. наук: 05.13.13 / Чеботарев Анатолий Николаевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2002. - 306 л.
|
13. | ДС76977 Куйвашев Д. В. Методики перенацілюваної компіляції для мікропроцесорних архітектур з довгим командним словом [Текст] : Дис... канд. техн. наук: 01.05.03 / Куйвашев Дмитро Васильович ; Нац. акад. наук України, Ін-т програм. систем. - К., 2002. - 164 арк.
|
14. | ДС95781 Альбахлул А. И. Модели структурно-объектной технологии разработки интерфейсного комплекса корпоративной информационной системы [Текст] : дис... канд. техн. наук: 05.13.06 / Альбахлул Ахмед И. А. ; Харьковский национальный ун-т радиоэлектроники. - Х., 2005. - 201 л.
|
15. | ДС96777 Матвєєва Л. Є. Аналіз та верифікація MSC-систем за допомогою мереж Петрі [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Матвєєва Людмила Євгенівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 207 арк.
|
16. | ДС97438 Летичевский А. А. Верификация и тестирование интерактивных систем, специфицированных базовыми протоколами [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / Летичевский Александр Александрович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2005. - 138 л.: рис.
|
17. | ДС98250 Омельчук Л. Л. Аксіоматичні системи специфікацій програм над номінативними даними [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Омельчук Людмила Леонідівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2007. - 142 арк.: рис.
|
18. | РА280618 Петухин В. А. Анализ логических программ и компиляция языка Флэнг [Текст] : Автореф.дис...канд.физ.-мат.наук:05.13.16 / Петухин Вячеслав Алексеевич ; Иркутский ун-т. - Иркутск, 1993. - 13 с.
|
19. | РА280502 Подольская Н. А. Исследование и разработка инструментальных редакторов программ [Текст] : Автореф.дис...канд.физ.-мат.наук:05.13.11 / Подольская Нина Аркадьевна ; МГУ им. М.В.Ломоносова. - М., 1993. - 13 с.
|
20. | РА337244 Яценко О. А. Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування [Текст] : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Яценко Олена Анатоліївна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 17 с.
|
| |