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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (1)Автореферати дисертацій (1)Реферативна база даних (40)
Пошуковий запит: (<.>U=З973-018.021<.>)
Загальна кількість знайдених документів : 26
Представлено документи з 1 до 20
...
1.
ІВ225688

Algebra-algorithmic models and methods of parallel programming [Text] : project "Ukr. sci. book in a foreign language" / P. I. Andon [et al.] ; [Nat. acad. of sciences of Ukraine, Inst. of software systems]. - Kyiv : Akademperiodyka, 2018. - 190, [1] p. : fig., tab. - Бібліогр.: с. 171-180. - 250 пр. прим. - ISBN 978-966-360-367-4
Парал. тит. арк. укр.

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


Дод. точки доступу:
Andon, Pylyp Ilarionovych; Андон, Пилип Іларіонович; Doroshenko, Anatolii Yukhymovych; Дорошенко, Анатолій Юхимович; Zhereb, Kostiantyn Anatoliiovych; Жереб, Костянтин Анатолійович; Yatsenko, O. Ya.; Яценко, Олена Анатоліїівна; National academy of sciences of Ukraine (Kyiv); Institute of software systems (Kyiv); "Ukrainian scientific book in a foreign language", project

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

2.
   МЕТОДИ АВТОМАТИЗАЦІЇ СТВОРЕННЯ АВТОТЮНЕРІВ ДЛЯ ПАРАЛЕЛЬНИХ ПРОГРАМ : дис. ... канд. фіз.-мат. наук : 01.05.03 (2018)
3.
РА437150
Іваненко, Павло Андрійович.
Методи автоматизації створення автотюнерів для паралельних програм [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Іваненко Павло Андрійович ; НАН України, Ін-т програм. систем. - Київ, 2018. - 22 с. : рис.

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


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

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

4.
ДС127688
Богушевська, Наталія Володимирівна.
Автоматизація синтезу сітьових дискретно-подійних імітаційних моделей [Текст] : дис. ... канд. техн. наук : 05.13.06 / Богушевська Наталія Володимирівна ; Нац. техн. ун-т України "Київ. політехн. ін-т". - К., 2010. - 176 арк. : рис., табл. - Бібліогр.: арк. 151-163.

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

8.
Глушков В.М./ВА910
Вайнгартен, Ф.
Трансляция языков программирования [Текст] : [монография] / Ф. Вайнгартен ; пер. с англ. Л. В. Ухова ; под ред. В. В. Мартынюка. - М. : Мир, 1977. - 190 с. : рис. - (Математическое обеспечение ЭВМ). - Бібліогр.: с. 182-184. - Пер. изд. : Translation of computer languages / Frederick W. Weingarten. - San Francisko [et al], 1973

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


Дод. точки доступу:
Ухов, Л. В. (пер.); Мартынюк, В. В. (ред.); Weingarten, Frederick W.

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

9.
Глушков В.М./Р197
   Глушков, Виктор Михайлович.
Об одном методе автоматизации программирования [Текст] / В. М. Глушков. - [Б. м. : б. и.], [1957]. - С. 182-184
Окр. відб.

Рубрикатор НБУВ:
 З973-018.021 


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

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

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


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

11.
Глушков В. М./РА1
Ершов, А. П..
Некоторые вопросы теориии программирования и конструирования трансляторов [Текст] : автореф. дис... д-ра физ.-мат. наук / Ершов А. П. ; Акад. наук СССР, Сиб. отд-ние, Совет мат. секции Объед. Совета по физ.-мат. и техн. наукам. - Новосибирск : [б. и.], 1966. - 32 с.
С дарств. надписью

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


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

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

12.
ВА647979
Иванищев, Вячеслав Васильевич.
Автоматизация моделирования экологических систем [Текст] / В. В. Иванищев, В. В. Михайлов. - СПб. : Издательство СПБГТУ, 2000. - 172 с.: рис. - Библиогр.: с. 160-171

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


Дод. точки доступу:
Михайлов, Владимир Валентинович

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

18.
Глушков В.М./ВА670

Система автоматизации производства программ ( АПРОП ) [Текст] / АН УССР, Ин-т кибернетики АН УССР, Спец. конструкт. бюро мат. машин и систем, Респ. фонд алгоритмов и программ ; [разраб.: В. М. Глушков и др.]. - К. : [б. и.], 1976. - 134 с. - Бібліогр.: с. 129-130. - 500 прим.

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


Дод. точки доступу:
Глушков, Виктор Михайлович (разраб.); Стогний, А. А. (разраб.); Лаврищева, Е. М. (разраб.); Академия наук Украинской ССР (Киев); Институт кибернетики. Специальное конструкторское бюро математических машин и систем; Республиканский фонд алгоритмов и программ

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

19.
Глушков В. М. ВА54

Система автоматического программирования для машины М-20. Транслятор с адресного языка [Текст] : справ. рук. / Л. П. Бабенко, Л. И. Довгополая, Г. М. Корниенко, Е. Л. Ющенко ; АН УССР. - К. : Наукова думка, 1965. - 154 с. : рис., табл. - Бібліогр.: с. 155. - 7750 прим.
З дарчим написом В. М. Глушкову від авт.

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


Дод. точки доступу:
Бабенко, Людмила Петровна; Довгополая, Людмила Ивановна; Корниенко, Галина Михайловна; Ющенко, Екатерина Логвиновна; Академия наук Украинской ССР (Киев)

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

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

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


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

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

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

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