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