Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.023<.>) |
Загальна кількість знайдених документів : 8
Представлено документи з 1 до 8
|
1. | ДС76800 Чеботарев, Анатолий Николаевич. Доказательное проектирование алгоритмов функционирования реактивных систем [Текст] : дис... д-ра техн. наук: 05.13.13 / Чеботарев Анатолий Николаевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2002. - 306 л. - Библиогр.: л. 279-290Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
| 2. | РА321364 Чеботарьов, Анатолій Миколайович. Доказове проектування алгоритмів функціонування реактивних систем [Текст] : автореф. дис... д-ра техн. наук: 05.13.13 / Чеботарьов Анатолій Миколайович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2002. - 32 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| 3. | Р91547 Арсеньев-Образцов, Сергей Сергеевич. Генерация элементов кода программ метода конечных элементов с применением систем компьютерной алгебры [Текст] / С. С. Арсеньев-Образцов ; Российский гос. ун-т нефти и газа им. И.М.Губкина. - Препр. - М. : [б.и.], 2001. - 50 с. - Библиогр.: с.48-49.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Российский гос. университет нефти и газа имени И. М. Губкина
Видання зберігається у :
| 4. | Глушков В.М./ВА869 Жуков, Олег Васильевич. Генерация программ обработки данных [Текст] / О. В. Жуков. - М. : Статистика, 1976. - 192 с. : рис., табл. - Бібліогр.: с. 190. - 43000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 5. | СО31496 Нові теоретичні засади технології виробництва сімейств програмних систем у контексті генерувального програмування [Текст] : монографія / К. М. Лавріщева [та ін.] ; Нац. акад. наук України, Ін-т прогр. систем. - К. : Ін-т прогр. систем НАН України, 2011. - 277 арк. : рис., табл. - Бібліогр. в кінці розд.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Лавріщева, К. М.; Коваль, Г. І.; Бабенко, Л. П.; Слабоспицька, О. О.; Ігнатенко, П. П.; Національна академія наук України; Інститут програмних систем (Київ)
Видання зберігається у :
Основний фонд
| 6. | РА403453 Колесник, Андрій Леонідович. Моделі та методи розроблення сімейств варіантних програмних систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Колесник Андрій Леонідович ; Київ. нац. ун-т ім. Тараса Шевченка. - К., 2013. - 22 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 7. | РА448055 Коваленко, Олександр Володимирович. Моделі та методи розроблення безпечного програмного забезпечення комп'ютерних систем [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.05 / Коваленко Олександр Володимирович ; Черкас. держ. технол. ун-т. - Черкаси, 2020. - 40 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Черкаський державний технологічний університет
Видання зберігається у :
Основний фонд
| 8. | ДС143778 Колесник, Андрій Леонідович. Моделі та методи розроблення сімейств варіантних програмних систем [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.03 / Колесник Андрій Леонідович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2013. - 141, [3] арк. : табл., рис. - Бібліогр.: арк. 132-141.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
|
|