Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (1)Автореферати дисертацій (2)Реферативна база даних (85)
Пошуковий запит: (<.>U=З973-018.021$<.>)
Загальна кількість знайдених документів : 71
Представлено документи з 1 до 20
...
1.
Глушков В. М./РА1
Ершов, А. П..
Некоторые вопросы теориии программирования и конструирования трансляторов [Текст] : автореф. дис... д-ра физ.-мат. наук / Ершов А. П. ; Акад. наук СССР, Сиб. отд-ние, Совет мат. секции Объед. Совета по физ.-мат. и техн. наукам. - Новосибирск : [б. и.], 1966. - 32 с.
С дарств. надписью

Рубрикатор НБУВ:
 З973-018.021 
Тематичні рубрики:
 Автоматизація програмування 


Дод. точки доступу:
Академия наук СССР. Сибирское отделение; Объединённый совет по физико-математическим и техническим наукам. Математическая секция. Совет

Видання зберігається у :
Основний фонд

2.
РА312688
Томашев, Валерий Фомич.
Мобильный ЛЯПАС-М-транслятор с таблично- настраиваемым на ЭВМ кодогенератором [Текст] : автореф. дис... канд. техн. наук: 05.13.11 / Томашев Валерий Фомич ; АН Укр. ССР, Ин-т кибернетики им. В. М. Глушкова. - К., 1990. - 16 с.

Рубрикатор НБУВ:
 З973-018.021.1 
Тематичні рубрики:
 Трансляція програм 


Дод. точки доступу:
Академия наук Украинской ССР (Киев); Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

3.
РА280465
Ярко, Людмила Владимировна.
Полнота тестирования реализации контекстных свойств языка программирования в трансляторах [Текст] : автореф.дис...канд.физ.-мат.наук:05.13.11 / Ярко Людмила Владимировна ; МГУ им. М.В.Ломоносова. Факультет вычислительной математики и кибернетики. - М., 1992. - 12 с.

Рубрикатор НБУВ:
 з973-018.021 
Тематичні рубрики:
 Автоматизація програмування 


Дод. точки доступу:
МГУ имени М. В. Ломоносова. Факультет вычислительной математики и кибернетики

Видання зберігається у :
Основний фонд

4.
РА280618
Петухин, Вячеслав Алексеевич.
Анализ логических программ и компиляция языка Флэнг [Текст] : автореф.дис...канд.физ.-мат.наук:05.13.16 / Петухин Вячеслав Алексеевич ; Иркутский ун-т. - Иркутск, 1993. - 13 с.

Рубрикатор НБУВ:
 з973-018.021 
 з973-018.2 фленг 
Тематичні рубрики:
 Автоматизація програмування 
 Комп'ютери та програмування 


Дод. точки доступу:
Иркутский университет

Видання зберігається у :
Основний фонд

5.
РА280502
Подольская, Нина Аркадьевна.
Исследование и разработка инструментальных редакторов программ [Текст] : автореф.дис...канд.физ.-мат.наук:05.13.11 / Подольская Нина Аркадьевна ; МГУ им. М.В.Ломоносова. - М., 1993. - 13 с.

Рубрикатор НБУВ:
 з973-018.021 
Тематичні рубрики:
 Автоматизація програмування 


Дод. точки доступу:
МГУ имени М. В. Ломоносова

Видання зберігається у :
Основний фонд

6.
РА296086сл
   Теслер, Геннадій Семенович.
Прискорення обчислень на основі удосконалення алгоритмічного базису: теорія і практика [Текст] : автореф. дис... д-ра техн. наук: 05.13.09 / Теслер Геннадій Семенович ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 1997. - 34 с.
Для сл. користування.

Рубрикатор НБУВ:
 з973-018.021 
Тематичні рубрики:
 Автоматизація програмування 


Дод. точки доступу:
Національна академія наук України; Інститут проблем математичних машин і систем (Київ)

Видання зберігається у :
Основний фонд

7.
РА298911
Кривий, Сергій Лук"янович.
Ітеративні методи аналізу процедурних програм [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.01 / Кривий Сергій Лук"янович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 33 с.

Рубрикатор НБУВ:
 З973-018.01 
 З973-018.021 
Тематичні рубрики:
 Теорія програмування 
 Автоматизація програмування 


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

8.
РА306020
Вінничук, Ігор Петрович.
Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Вінничук Ігор Петрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1999. - 17 с.

Рубрикатор НБУВ:
 З973-018.22 
 З973-018.021 
Тематичні рубрики:
 Системи програмування 
 Автоматизація програмування 


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

9.
РА320849
Куйвашев, Дмитро Васильович.
Методики перенацілюваної генерації коду для мікропроцесорних архітектур з нерегулярним довгим командним словом [Текст] : автореф. дис... канд. техн. наук: 01.05.03 / Куйвашев Дмитро Васильович ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 2002. - 18 с.

Рубрикатор НБУВ:
 З973-018.021.3 
Тематичні рубрики:
 Компіляція програм 


Дод. точки доступу:
Національний технічний університет України "Київський політехнічний інститут" (Київ)

Видання зберігається у :
Основний фонд

10.
РА328485
Балагезян, Артур Левонович.
Объектно-ориентированная среда интерпретации, отладки и анализа процессов в распределенных средах [Текст] : автореф. дис... канд. техн. наук: 05.13.04 / Балагезян Артур Левонович ; Ереванский НИИ математических машин. - Ереван, 2003. - 14 с.: рис.

Рубрикатор НБУВ:
 З973-018.021.2 
Тематичні рубрики:
 Інтерпретація програм 


Дод. точки доступу:
Ереванский НИИ математических машин

Видання зберігається у :
Основний фонд

11.
РА326221
Тульчинський, Петро Григорович.
Розробка механізму розширеного запиту за зразком у застосуваннях баз даних [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Тульчинський Петро Григорович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2003. - 15 с.

Рубрикатор НБУВ:
 З970.61 
 З973-018.021 
Тематичні рубрики:
 Бази даних 
 Автоматизація програмування 


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

12.
РА332505
Давтян, Эдмон Манукович.
Разработка программного инструментального средства для реализации систолических алгоритмов в среде вычислительного кластера [Текст] : автореф. дис... канд. техн. наук: 05.13.05 / Давтян Эдмон Манукович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2004. - 15 с.
Описано по переводу.- Текст на арм. яз.

Рубрикатор НБУВ:
 З973-018.021 
Тематичні рубрики:
 Автоматизація програмування 


Видання зберігається у :
Основний фонд

13.
РА338264
Аветисян, Светлана Аванесовна.
О семантике бестиповых функциональных программ [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.04 / Аветисян Светлана Аванесовна ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2005. - 15 с. - ()

Рубрикатор НБУВ:
 З973-018.021.3 
Тематичні рубрики:
 Компіляція програм 


Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА

Видання зберігається у :
Основний фонд

14.
РА351488
Тер-Галстян, Арик Артурович.
Разработка и реализация программной системы определения характеристик качества компиляторов, генерирующих RTL [Текст] : автореф. дис... канд. техн. наук: 05.13.03 / Тер-Галстян Арик Артурович ; Ереванский НИИ математических машин. - Ереван, 2007. - 18 с.
Описано по переводу. - Текст на арм. яз.

Рубрикатор НБУВ:
 З973-018.021.3 
Тематичні рубрики:
 Компіляція програм 


Видання зберігається у :
Основний фонд

15.
РА378609
Богушевська, Наталія Володимирівна.
Автоматизація синтезу сітьових дискретно-подійних імітаційних моделей [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Богушевська Наталія Володимирівна ; Нац. техн. ун-т України "Київ. політехн. ін-т". - К., 2011. - 22 с. : рис.

Рубрикатор НБУВ:
 З810.2 
 З813.16 
 З973-018.021 
Тематичні рубрики:
 Теорія мереж 
 Імітаційне моделювання систем 
 Автоматизація програмування 


Дод. точки доступу:
"Київський політехнічний інститут", національний технічний університет України

Видання зберігається у :
Основний фонд

16.
РА409186
Хзарджян, Арам Андраникович.
Обоснование и разработка программных инструментальных средств для автоматизации эксплуатации RTL компиляторов [Text] : автореф. дис. ... канд. техн. наук : 05.13.04 / Хзарджян Арам Андраникович ; Ин-т проблем информатики и автоматизации НАН РА. - Ереван : [s. n.], 2014. - 23, [1] с. : ил. - Текст вірм.
Опис складено за перекладом.

Рубрикатор НБУВ:
 З973-018.021.3 
Тематичні рубрики:
 Компіляція програм 


Дод. точки доступу:
Национальная академия наук Республики Армения; Институт проблем информатики и автоматизации

Видання зберігається у :
Основний фонд

17.
РА428360
Маркелов, Олександр Едуардович.
Інструментальні засоби автоматизації синтезу інтерфейсів користувача на базі репозиторію інтелектуальних патернів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / Маркелов Олександр Едуардович ; Нац. ун-т "Львів. політехніка". - Львів, 2017. - 20 с. : рис., табл.

Рубрикатор НБУВ:
 З973-018.021 
УДК:
 004.4'22:004.5:004.4]4.32 
Тематичні рубрики:
 Автоматизація програмування 


Дод. точки доступу:
"Львівська політехніка", національний університет

Видання зберігається у :
Основний фонд

18.
РА437150
Іваненко, Павло Андрійович.
Методи автоматизації створення автотюнерів для паралельних програм [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Іваненко Павло Андрійович ; НАН України, Ін-т програм. систем. - Київ, 2018. - 22 с. : рис.

Рубрикатор НБУВ:
 З973-018.021 
УДК:
 004.4'24 
Тематичні рубрики:
 Автоматизація програмування 


Дод. точки доступу:
Національна академія наук України; Інститут програмних систем (Київ)

Видання зберігається у :
Основний фонд

19.
ДС55922сл
Теслер, Геннадий Семенович.
Ускорение вычислений на основе совершенствования алгоритмического базиса: теория и практика [Текст] : дис... д-ра техн. наук: 05.13.09 / Теслер Геннадий Семенович ; Нац. акад. наук Украины, Ин-т проблем мат. машин и систем. - К., 1996. - 312 л.
Для сл. пользования

Рубрикатор НБУВ:
 З973-018.021 
Тематичні рубрики:
 Автоматизація програмування 


Дод. точки доступу:
Национальная академия наук Украины; Институт проблем математических машин и систем (Киев)

Видання зберігається у :
Основний фонд

20.
ДС57085
Кривой, Сергей Лукьянович.
Итеративные методы анализа процедурных программ [Текст] : дис... д-ра физ.-мат. наук: 01.05.01 / Кривой Сергей Лукьянович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1997. - 266 л.

Рубрикатор НБУВ:
 З973-018.01 
 З973-018.021 
Тематичні рубрики:
 Теорія програмування 
 Автоматизація програмування 


Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

...
 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського