Каталоги - НБУВ Національна бібліотека України імені В. І. Вернадського

Простий
пошук

Розширений
пошук

Покажчики

Професійний
пошук

Рубрикатор
НБУВ

Розподілений
пошук

Бази даних

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

Книжкові видання та компакт-диски

Журнали та продовжувані видання

Автореферати дисертацій

Реферативна база даних

Наукова періодика України

Тематичний навігатор

Авторитетний файл імен осіб

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

Сортувати знайдені документи за:
автором	назвою	роком видання	видом документа

Знайдено в інших БД:

Автореферати дисертацій (1)

Реферативна база даних (29)

Пошуковий запит: (<.>U=З973-018.023$<.>)

Загальна кількість знайдених документів : 11
Представлено документи з 1 до 11

ДС76800

Чеботарев, Анатолий Николаевич.

Доказательное проектирование алгоритмов функционирования реактивных систем [Текст] : дис... д-ра техн. наук: 05.13.13 / Чеботарев Анатолий Николаевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2002. - 306 л. - Библиогр.: л. 279-290

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

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

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

РА321364

Чеботарьов, Анатолій Миколайович.

Доказове проектування алгоритмів функціонування реактивних систем [Текст] : автореф. дис... д-ра техн. наук: 05.13.13 / Чеботарьов Анатолій Миколайович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2002. - 32 с.

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

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

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

Р83680

Конструирование программ [Текст] : метод. указания и контрольные задания для студ. заоч. фак. спец. 7.091401 "Автоматизированное управление в техн. и организационных системах" / Киевский международный ун-т гражданской авиации ; сост. Е. В. Коба. - К. : [б.в.], 1998. - 48 с.

Рубрикатор НБУВ:
З973-018.023 я73
Тематичні рубрики:
Навчальні видання для вищої школи з питань створення програм

Дод. точки доступу:
Коба, Елена Викторовна (сост.); Киевский международный университет гражданской авиации

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

Р91547

Арсеньев-Образцов, Сергей Сергеевич.

Генерация элементов кода программ метода конечных элементов с применением систем компьютерной алгебры [Текст] / С. С. Арсеньев-Образцов ; Российский гос. ун-т нефти и газа им. И.М.Губкина. - Препр. - М. : [б.и.], 2001. - 50 с. - Библиогр.: с.48-49.

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

Дод. точки доступу:
Российский гос. университет нефти и газа имени И. М. Губкина

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

ВА715300

Потрашкова, Людмила Володимирівна.

Основи композиції та дизайну [Текст] : навч. посіб. / Л. В. Потрашкова ; Харківський національний економічний ун-т. - Х. : ХНЕУ, 2008. - 148 с.: рис. - Бібліогр.: с. 140-143. - ISBN 978-966-676-252-1

Рубрикатор НБУВ:
З970.631 я73-1
З973-018.023 я73-1
Тематичні рубрики:
Комп'ютерна графіка
Комп'ютери та програмування

Дод. точки доступу:
Харківський національний економічний університет

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

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

Жуков, Олег Васильевич.

Генерация программ обработки данных [Текст] / О. В. Жуков. - М. : Статистика, 1976. - 192 с. : рис., табл. - Бібліогр.: с. 190. - 43000 прим.

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

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

Р120313

Технологія створення програмних продуктів [Текст] : метод. рек. до викон. розрахунк.-граф. роботи для студ. напряму підготов. 6.051003 "Приладобудування" / Нац. техн. ун-т України "Київ. політехн. ін-т" ; [уклад.: Настенко Є. А. та ін. ; відп. ред. Є. А. Настенко]. - К. : НТУУ "КПІ", 2011. - 32 с. : рис. - Бібліогр.: с. 31-32. - 100 прим.

Дод. точки доступу:
Настенко, Євген Арнольдович (уклад., ред.); Кисельова, Ольга Геннадіївна (уклад.); Матвійчук, Анна Олегівна (уклад.); Носовець, Олена Костянтинівна (уклад.); "Київський політехнічний інститут", національний технічний університет України

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

СО31496

Нові теоретичні засади технології виробництва сімейств програмних систем у контексті генерувального програмування [Текст] : монографія / К. М. Лавріщева [та ін.] ; Нац. акад. наук України, Ін-т прогр. систем. - К. : Ін-т прогр. систем НАН України, 2011. - 277 арк. : рис., табл. - Бібліогр. в кінці розд.

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

Дод. точки доступу:
Лавріщева, К. М.; Коваль, Г. І.; Бабенко, Л. П.; Слабоспицька, О. О.; Ігнатенко, П. П.; Національна академія наук України; Інститут програмних систем (Київ)

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

РА403453

Колесник, Андрій Леонідович.

Моделі та методи розроблення сімейств варіантних програмних систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Колесник Андрій Леонідович ; Київ. нац. ун-т ім. Тараса Шевченка. - К., 2013. - 22 с. : рис., табл.

Рубрикатор НБУВ:
З973-018.023
УДК:
004.415
Тематичні рубрики:
Створення програм

Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

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

10.

РА448055

Коваленко, Олександр Володимирович.

Моделі та методи розроблення безпечного програмного забезпечення комп'ютерних систем [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.05 / Коваленко Олександр Володимирович ; Черкас. держ. технол. ун-т. - Черкаси, 2020. - 40 с. : рис., табл.

Рубрикатор НБУВ:
З973-018.023
З970.61-016.8
УДК:
004.4:004.65
Тематичні рубрики:
Створення програм
Захист баз даних

Дод. точки доступу:
Черкаський державний технологічний університет

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

11.

ДС143778

Колесник, Андрій Леонідович.

Моделі та методи розроблення сімейств варіантних програмних систем [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.03 / Колесник Андрій Леонідович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2013. - 141, [3] арк. : табл., рис. - Бібліогр.: арк. 132-141.

Рубрикатор НБУВ:
З973-018.023
УДК:
004.415
Тематичні рубрики:
Створення програм

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача