Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.11$<.>) |
Загальна кількість знайдених документів : 175
Представлено документи з 1 до 20
|
| |
1. | ВС38173 Смит, Конни. Эффективные решения. Практическое руководство по созданию гибкого и масштабируемого программного обеспечения [Текст] / К. Смит, Л. Уильямс ; пер. с англ. А. С. Подосельник, Н. М. Ручко ; предисл. Г. Буч, П. Клементс. - М. и др. : Издательский дом "Вильямс", 2003. - 440 с.: рис. - (Серия "Объектные технологии"). - Библиогр.: с. 427-433. - ISBN 5-8459-0448-X (рус.). - ISBN 0-201-72229-1 (англ.) На тит. л. места изд.: Москва, Санкт-Петербург, КиевРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Уильямс, Ллойд; Подосельник, А. С. (пер. с англ.); Ручко, Н. М. (пер. с англ.); Буч, Гради (предисл.); Клементс, Пол (предисл.)
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
| 2. | ВА816858 Энергоэффективность алгоритмов и программ. Анализ и оптимизация с использованием GreenCo Controller [Текст] = Energy efficiency of algorithms and programs. Analysis and optimization using GreenCo Controller : тренинг / В. В. Скляр [и др.] ; под ред. В. С. Харченко, В. В. Скляра, О. Н. Одарущенко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ". - Харьков : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2016. - 95 с. : табл. - Бібліогр.: с. 79-84. - 200 прим. - ISBN 978-617-7361-09-0Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Скляр, Владимир Владимирович; Одарущенко, Олег Николаевич; Бульба, Евгений Николаевич; Горбенко, Роман Анатольевич; Кривцов, Андрей Юрьевич; Харченко, Вячеслав Сергеевич (ред.); Скляр, Владимир Владимирович (ред.); Одарущенко, Олег Николаевич (ред.); "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского; 530270-TEMPUS-1-2012-1-UK-TEMPUS-JPCR Green Computing and Communication, проект
Видання зберігається у :
Основний фонд
| 3. | ДС128033 Шинкаренко, Виктор Иванович. Экспериментальные методы оценки временной и функциональной эффективности алгоритмов в программно-аппаратных средах [Текст] : дис. ... д-ра техн. наук : 01.05.03 / Шинкаренко Виктор Иванович ; Днепропетр. нац. ун-т ж.-д. трансп. им. В. Лазаряна. - Д., 2010. - 357 л. : рис., табл. - Бібліогр.: арк. 335-357.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Днепропетровский национальный университет железнодорожного транспорта имени В. Лазаряна
Видання зберігається у :
Основний фонд
| 4. | ВС61883 Кузнецова, Юлия Анатольевна. Экологическая инженерия программного обеспечения для визуализации управляющих алгоритмов [Текст] = Green software engineering for visualization of controlling algorithms : [монография] / Ю. А. Кузнецова ; под ред. И. Б. Туркина ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Харьков : ХАИ, 2015. - 208 с. : рис., табл. - (Green Computing and Communication ; №1 (15), 2016). - Бібліогр.: с. 160-178. - 300 прим. - ISBN 978-617-7361-17-5 Проект "TEMPUS-GREENCO 530270-TEMPUS-1-2012-1-UK-TEMPUSJPCR".Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Туркин, И. Б. (ред.); Turkin, I. B.; Kuznetsova, Yu. A.; "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
Видання зберігається у :
Основний фонд
| 5. | ВА723534 Тарасюк, Ольга Михайловна. Формальные методы разработки критического программного обеспечения [Текст] : практикум / О. М. Тарасюк, А. В. Горбенко ; ред. В. С. Харченко ; Национальный аэрокосмический ун-т им. Н.Е.Жуковского "ХАИ", Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing. - Х. : [б. и.], 2008. - 116 с.: рис., табл. - (TEMPUS. Education and Culture. PhD). - Библиогр.: с. 96-97. - ISBN 978-966-662-184-2 Авт. на обл. не указ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Горбенко, Анатолий Викторович; Харченко, Вячеслав Сергеевич (ред.); Национальный аэрокосмический университет имени Н. Е. Жуковского "ХАИ"; Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing
Видання зберігається у :
Основний фонд
| 6. | ФОРМАЛЬНІ МЕТОДИ РОЗРОБЛЕННЯ КРИТИЧНИХ СИСТЕМ : навч. посіб. (2024)
| 7. | CDR560/ВА674075 Фатрелл, Роберт Т.. Управление программными проектами. Достижение оптимального качества при минимуме затрат [Электронный ресурс] [Текст] / Р. Т. Фатрелл [и др.]. - [М.] : Издательский дом "Вильямс", [2004]. - 1 электрон. опт. диск (CD-ROM). - ISBN 5-8459-0413-7 Прилож. к книге ВА674075Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Шафер, Дональд Ф.; Шафер, Линда И.
Видання зберігається у :
Основний фонд
| 8. | ВА674075/CDR560 Фатрелл, Роберт Т.. Управление программными проектами. Достижение оптимального качества при минимуме затрат [Текст] / Р. Т. Фатрелл [и др.] ; пер. с англ. А. Бойко [и др.]. - М. ; СПб. ; К. : Издательский дом "Вильямс", 2004. - 1126 с.: ил.+ CDR. - (Серия Института качеств программного обеспечения). - Библиогр.: в конце глав. - ISBN 5-8459-0413-7(рус.). - ISBN 0-13-091297-2(англ.) Тит. л. парал. на англ. и рус. яз. - С прилож. CDR560Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Шафер, Дональд Ф.; Шафер, Линда И.; Бойко, А (пер. с англ.)
Видання зберігається у :
Основний фонд
| 9. | ВА860989 Пятикоп, Елена Евгеньевна. Технология создания программных продуктов [Текст] : учеб. пособие для студентов высш. учеб. заведений : [для спец. "Компьютерные науки"] / Е. Е. Пятикоп ; Гос. высш. учеб. заведение "Приазов. гос. техн. ун-т". - Мариуполь : ПГТУ, 2016. - 232 с. : рис., табл. - Бібліогр.: с. 224-232. - 300 прим. - ISBN 978-966-604-174-9Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: "Приазовский государственный технический университет", государственное высшее учебное заведение (Мариуполь)
Видання зберігається у :
Основний фонд
| 10. | ВА706675 Гагарина, Лариса Геннадьевна. Технология разработки программного обеспечения [Текст] : учеб. пособие для студ. вузов, обуч. по направлению 230100 "Информатика и вычислительная техника", спец. 230105 "Программное обеспечение вычислительной техники и автоматизированных систем" / Л. Г. Гагарина [и др.] ; ред. Л. Г. Гагарина. - М. : Форум : Инфра-М, 2008. - 399 с.: рис. - (Высшее образование). - Библиогр.: с. 388-391. - ISBN 978-5-8199-0342-1 (ИД "ФОРУМ"). - ISBN 978-5-16-003193-4 (ИНФРА-М)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Кокорева, Елена Викторовна; Виснадул, Белла Дмитриевна; Гагарина, Лаиса Геннадьевна (ред.)
Видання зберігається у :
Основний фонд
| 11. | ВА775972 Технологии проектирования программных систем [Текст] : учеб. пособие / [В. В. Казимир и др.] ; Черниг. гос. технол. ун-т. - Чернигов : ЧГТУ, 2013. - 363 с. : рис., табл. - Бібліогр.: с. 360-363. - 300 прим. - ISBN 978-966-7496-48-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Казимир, Владимир Викторович; Коровайченко, Юрий Николаевич; Литвинов, Виталий Васильевич; Шкарлет, Сергей Николаевич; Черниговский государственный технологический университет
Видання зберігається у :
Основний фонд Універсальний підсобний фонд Відділ міжбібліотечного науково-інформаційного сервісу
| 12. | ВС43264 Ротко, Владимир Федорович. Технологии проектирования программных систем [Текст] : учеб. пособие для студ. вузов, которые обучаются по направлению "Компьютерная инженерия" / В. Ф. Ротко, А. В. Скатков ; Севастопольский национальный технический ун-т. - Севастополь : Издательство СевНТУ, 2006. - 309 с.: рис. - Библиогр.: с. 295-299. - ISBN 966-7473-91-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Скатков, Александр Владимирович; Севастопольский национальный технический университет
Видання зберігається у :
Основний фонд
| 13. | В358820/1 Момот, Мирослав Олександрович Технологія створення програмних продуктів [Текст] : навч. посіб. до лаб. практикуму / М. О. Момот, Ю. О. Кулик ; Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т". - Харків : ХАІ, 2021 . Ч. 1. - 2021. - 87 с. : рис., табл. - Бібліогр.: с. 86. - 50 прим. - ISBN 978-966-662-823-0Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Кулик, Юрій Олексійович; "Харківський авіаційний інститут", національний аерокосмічний університет імені М. Є. Жуковського
Видання зберігається у :
Основний фонд
| 14. | ВА799493 Технологія створення програмних продуктів [Текст] : навч. посіб. / [О. К. Погудіна та ін.] ; Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т". - Харків : ХАІ, 2015. - 159 с. : рис., табл. - Бібліогр.: с. 143-144. - 100 прим. - ISBN 978-966-662-437-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Погудіна, Ольга Костянтинівна; Крицький, Дмитро Миколайович; Бабак, Ірина Миколаївна; Дружинін, Є. А.; Овсяннік, В. М.; "Харківський авіаційний інститут", національний аерокосмічний університет імені М. Є. Жуковського
Видання зберігається у :
Основний фонд
| 15. | Р124462 Технологія розробки програмних і інтелектуальних продуктів [Текст] : метод. вказівки до викон. лаб. занять для студ. галузі знань 0305 "Економіка та підприємництво" напряму підготов. 6.030502 "Економічна кібернетика" / Укоопспілка, Львів. комерц. акад. ; [уклад.: Плеша М. І., Бойко Н. І.]. - Л. : Вид-во Львів. комерц. акад., 2013. - 47 с. : рис., табл. - Бібліогр.: с. 47. - 100 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Плеша, М. І. (уклад.); Бойко, Н. І. (уклад.); Укоопспілка; Львівська комерційна академія
Видання зберігається у :
Основний фонд
| 16. | Р89257 Технологія проектування програмних систем: Методичні вказівки до виконання курсової роботи для студентів спеціальності 7.080403 "Програмне забезпечення автоматизованих систем" усіх форм навчання [Текст] / Черкаський інженерно- технологічний ін-т ; уклад. А. А. Рідкокаша ; відп. ред. В. О. Платонов. - Черкаси : ЧІТІ, 2000. - 44 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Платонов, В. О. (відп. ред.); Рідкокаша, А. А. (уклад.); Черкаський інженерно-технологічний інститут
Видання зберігається у :
| 17. | РА443719 Пасєка, Микола Степанович. Теоретичні та прикладні основи групової динаміки розроблення програмних систем з використанням хмарної технології [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.06 / Пасєка Микола Степанович ; Укр. акад. друкарства. - Львів, 2019. - 44 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Українська академія друкарства (Львів)
Видання зберігається у :
Основний фонд
| 18. | РА403213 Міщенко, Віктор Олегович. Теоретичні основи і методи створення наукоємних моделюючих програмних систем [Текст] : автореф. дис. ... д-ра техн. наук : 01.05.02 / Міщенко Віктор Олегович ; Харк. нац. ун-т ім. В. Н. Каразіна. - Х., 2013. - 35 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Харківський національний університет імені В. Н. Каразіна
Видання зберігається у :
Основний фонд
| 19. | ДС133885 Мищенко, Виктор Олегович. Теоретические основы и методы создания наукоемких моделирующих программных систем [Текст] : дис. ... д-ра техн. наук : 01.05.02 / Мищенко Виктор Олегович ; Харьк. нац. ун-т им. В. Н. Каразина. - Х., 2012. - 368 л. - Бібліогр.: арк. 339-368.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Харьковский национальный университет имени В. Н. Каразина
Видання зберігається у :
| 20. | ВА856652 Шкарупило, Вадим Вікторович. Сценарії, методи та засоби формальної верифікації артефактів процесу проєктування систем критичного призначення [Текст] : монографія / Шкарупило В. В., Блінов І. В. ; НАН України, Ін-т проблем моделювання в енергетиці ім. Г. Є. Пухова, Ін-т електродинаміки. - Вінниця : Європейська наукова платформа, 2021. - 103 с. : рис., табл. - Бібліогр.: с. 90-103. - 55 прим. - ISBN 978-617-8037-55-0Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Блінов, Ігор Вікторович; Національна академія наук УкраїниІнститут проблем моделювання в енергетиці імені Г. Є. Пухова (Київ); Інститут електродинаміки (Київ)
Видання зберігається у :
Основний фонд
|
| |
|
|