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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
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.
ВА649769
Трофимов, Сергей Анатольевич.
CASE-технологии: Практическая работа в Rational Rose [Текст] / С. А. Трофимов. - 2.изд. - М. : Издательство БИНОМ, 2002. - 286 с.: ил. - Библиогр.: с. 284. - ISBN 5-9518-0001-3

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


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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

Видання зберігається у :

14.
   МЕТОДИ АВТОМАТИЗАЦІЇ СТВОРЕННЯ АВТОТЮНЕРІВ ДЛЯ ПАРАЛЕЛЬНИХ ПРОГРАМ : дис. ... канд. фіз.-мат. наук : 01.05.03 (2018)
15.
Глушков В. М./РА1
Ершов, А. П..
Некоторые вопросы теориии программирования и конструирования трансляторов [Текст] : автореф. дис... д-ра физ.-мат. наук / Ершов А. П. ; Акад. наук СССР, Сиб. отд-ние, Совет мат. секции Объед. Совета по физ.-мат. и техн. наукам. - Новосибирск : [б. и.], 1966. - 32 с.
С дарств. надписью

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


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

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

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

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


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

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

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


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

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

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

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


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

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

19.
Глушков В. М. Р8
Ющенко, Е. Л.
Программирующая программа машины "Киев" [Текст] / Е. Л. Ющенко, Л. Н. Иваненко. - [Б. м.] : [б. и.], 1959. - C. 205-214. - Библиогр.: с. 214
Отд. отт. из изд.: Методы программирования и решения задач на цифровых вычислительных машинах. - 1959. - (Труды войсковой части 06669; вып. 36)

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


Дод. точки доступу:
Иваненко, Л. Н.

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

20.
ДС84508
Тульчинский, Петр Григорьевич.
Разработка механизма расширенного запроса по образцу в приложениях баз данных [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / Тульчинский Петр Григорьевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2003. - 129 л. - Библиогр.: л. 117-125

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


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

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

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

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