Пошуковий запит: (<.>U=З973-018.021$<.>) |
Загальна кількість знайдених документів : 71
Представлено документи з 1 до 20
|
| | |
|
| | | |
|
| 1. |
ДС84508
Тульчинский, Петр Григорьевич.
Разработка механизма расширенного запроса по образцу в приложениях баз данных [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / Тульчинский Петр Григорьевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2003. - 129 л. - Библиогр.: л. 117-125
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 2. |
ДС57085
Кривой, Сергей Лукьянович.
Итеративные методы анализа процедурных программ [Текст] : дис... д-ра физ.-мат. наук: 01.05.01 / Кривой Сергей Лукьянович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1997. - 266 л.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 3. |
ДС62088
Вінничук, Ігор Петрович.
Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Вінничук Ігор Петрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1999. - 120 л. - л. 111-114
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 4. |
ДС55922сл
Теслер, Геннадий Семенович.
Ускорение вычислений на основе совершенствования алгоритмического базиса: теория и практика [Текст] : дис... д-ра техн. наук: 05.13.09 / Теслер Геннадий Семенович ; Нац. акад. наук Украины, Ин-т проблем мат. машин и систем. - К., 1996. - 312 л.
Для сл. пользования
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 5. |
ДС76977
Куйвашев, Дмитро Васильович.
Методики перенацілюваної компіляції для мікропроцесорних архітектур з довгим командним словом [Текст] : дис... канд. техн. наук: 01.05.03 / Куйвашев Дмитро Васильович ; Нац. акад. наук України, Ін-т програм. систем. - К., 2002. - 164 арк. - Бібліогр.: арк. 148-157.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 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 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
| | |
Простий пошук
Віртуальна довідка