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