Пошуковий запит: (<.>U=З973-018.02$<.>) |
Загальна кількість знайдених документів : 390
Представлено документи з 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 с.
Тематичний рубрикатор:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| |