Пошуковий запит: (<.>U=з973-018.021$<.>) |
Загальна кількість знайдених документів : 72
Представлено документи з 1 до 20
|
| |
1. | ДС84508 Тульчинский П. Г. Разработка механизма расширенного запроса по образцу в приложениях баз данных [Текст] : Дис... канд. физ.-мат. наук: 01.05.03 / Тульчинский Петр Григорьевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2003. - 129 л.
|
2. | ДС57085 Кривой С. Л. Итеративные методы анализа процедурных программ [Текст] : Дис... д-ра физ.-мат. наук: 01.05.01 / Кривой Сергей Лукьянович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1997. - 266 л.
|
3. | ДС62088 Вінничук І. П. Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ [Текст] : Дис... канд. фіз.-мат. наук: 01.05.03 / Вінничук Ігор Петрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1999. - 120 л.
|
4. | ДС55922сл Теслер Г. С. Ускорение вычислений на основе совершенствования алгоритмического базиса: теория и практика [Текст] : Дис... д-ра техн. наук: 05.13.09 / Теслер Геннадий Семенович ; Нац. акад. наук Украины, Ин-т проблем мат. машин и систем. - К., 1996. - 312 л.
|
5. | ДС76977 Куйвашев Д. В. Методики перенацілюваної компіляції для мікропроцесорних архітектур з довгим командним словом [Текст] : Дис... канд. техн. наук: 01.05.03 / Куйвашев Дмитро Васильович ; Нац. акад. наук України, Ін-т програм. систем. - К., 2002. - 164 арк.
|
6. | РА280618 Петухин В. А. Анализ логических программ и компиляция языка Флэнг [Текст] : Автореф.дис...канд.физ.-мат.наук:05.13.16 / Петухин Вячеслав Алексеевич ; Иркутский ун-т. - Иркутск, 1993. - 13 с.
|
7. | РА280502 Подольская Н. А. Исследование и разработка инструментальных редакторов программ [Текст] : Автореф.дис...канд.физ.-мат.наук:05.13.11 / Подольская Нина Аркадьевна ; МГУ им. М.В.Ломоносова. - М., 1993. - 13 с.
|
8. | РА338264 Аветисян С. А. О семантике бестиповых функциональных программ [Текст] : Автореф. дис... канд. физ.-мат. наук: 05.13.04 / Аветисян Светлана Аванесовна ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2005. - 15 с. - ()
|
9. | РА326221 Тульчинський П. Г. Розробка механізму розширеного запиту за зразком у застосуваннях баз даних [Текст] : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Тульчинський Петро Григорович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2003. - 15 с.
|
10. | РА280465 Ярко Л. В. Полнота тестирования реализации контекстных свойств языка программирования в трансляторах [Текст] : Автореф.дис...канд.физ.-мат.наук:05.13.11 / Ярко Людмила Владимировна ; МГУ им. М.В.Ломоносова. Факультет вычислительной математики и кибернетики. - М., 1992. - 12 с.
|
11. | РА298911 Кривий С. Л. Ітеративні методи аналізу процедурних програм [Текст] : Автореф. дис... д-ра фіз.-мат. наук: 01.05.01 / Кривий Сергій Лук"янович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 33 с.
|
12. | РА296086сл Теслер Г. С. Прискорення обчислень на основі удосконалення алгоритмічного базису: теорія і практика [Текст] : Автореф. дис... д-ра техн. наук: 05.13.09 / Теслер Геннадій Семенович ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 1997. - 34 с.
|
13. | РА306020 Вінничук І. П. Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ [Текст] : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Вінничук Ігор Петрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1999. - 17 с.
|
14. | РА312688 Томашев В. Ф. Мобильный ЛЯПАС-М-транслятор с таблично- настраиваемым на ЭВМ кодогенератором [Текст] : Автореф. дис... канд. техн. наук: 05.13.11 / Томашев Валерий Фомич ; АН Укр. ССР, Ин-т кибернетики им. В. М. Глушкова. - К., 1990. - 16 с.
|
15. | РА320849 Куйвашев Д. В. Методики перенацілюваної генерації коду для мікропроцесорних архітектур з нерегулярним довгим командним словом [Текст] : Автореф. дис... канд. техн. наук: 01.05.03 / Куйвашев Дмитро Васильович ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 2002. - 18 с.
|
16. | РА328485 Балагезян А. Л. Объектно-ориентированная среда интерпретации, отладки и анализа процессов в распределенных средах [Текст] : Автореф. дис... канд. техн. наук: 05.13.04 / Балагезян Артур Левонович ; Ереванский НИИ математических машин. - Ереван, 2003. - 14 с.: рис.
|
17. | РА332505 Давтян Э. М. Разработка программного инструментального средства для реализации систолических алгоритмов в среде вычислительного кластера [Текст] : Автореф. дис... канд. техн. наук: 05.13.05 / Давтян Эдмон Манукович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2004. - 15 с.
|
18. | РА351488 Тер-Галстян А. А. Разработка и реализация программной системы определения характеристик качества компиляторов, генерирующих RTL [Текст] : автореф. дис... канд. техн. наук: 05.13.03 / Тер-Галстян Арик Артурович ; Ереванский НИИ математических машин. - Ереван, 2007. - 18 с.
|
19. | ВА563030 Серебряков В. А. Лекции по конструированию компиляторов [Текст] / В. А. Серебряков. - М. : ВЦ РАН, 1994. - 175 с.
|
20. | ВС30721 Пустоваров В. І. Системне програмування та конструювання компіляторів [Текст] : Конспект лекцій / В. І. Пустоваров ; Міжнародний науково-технічний ун-т. - К. : [б.в.], 1995. - 140 с.
|
| |