Електронний каталог науково-технічної бібліотеки ІФНТУНГ

• Класифікатори
• 004.41 Техніка програмування. Програмотехніка

004.415 Розробка комп'ютерної системи і програмного забезпечення

Підтеми:

• 004.415.3 Кодування
• 004.415.53 Тестування програмного забезпечення

Документи:

• Бабчук, С. М. Комп'ютерні системи [Текст] : лабораторний практикум / С. М. Бабчук. – Івано-Франківськ : ІФНТУНГ, 2019. – 35 с. – (Каф. комп'ютерних систем і мереж).
• Бабчук, С. М. Комп'ютерні системи [Текст] : конспект лекцій / С. М. Бабчук. – Івано-Франківськ : ІФНТУНГ, 2018. – 241 с. – (Каф. комп'ютерних систем і мереж).
• Бабчук, С. М. Комп'ютерні системи [Текст] : метод. вказівки для самост. роботи студентів / С. М. Бабчук. – Івано-Франківськ : ІФНТУНГ, 2021. – 37 с. – (Каф. комп'ютерних систем і мереж).
• Бабчук, С. М. Комп'ютерні системи [Текст] : курс. робота / С. М. Бабчук. – Івано-Франківськ : ІФНТУНГ, 2014. – 12 с. – (Каф. комп'ютерних систем і мереж).
• Бабчук, С. М. Спеціалізовані комп'ютерні системи і мережі [Текст] : конспект лекцій / С. М. Бабчук. – Івано-Франківськ : ІФНТУНГ, 2015. – 189 с. – (Каф. комп'ютерних систем і мереж).
• Бабчук, С. М. Спеціалізовані комп'ютерні системи і мережі [Текст] : лабораторний практикум / С. М. Бабчук. – Івано-Франківськ : ІФНТУНГ, 2018. – 102 с. – (Каф. комп'ютерних систем і мереж).
• Бабчук, С. М. Спеціалізовані комп'ютерні системи та мережі [Текст] : метод. вказ. для самостійної роботи студентів / С. М. Бабчук. – Івано-Франківськ : ІФНТУНГ, 2017. – 43 с. – (Каф. комп'ютерних систем і мереж).
• Бабчук, С. М. Спеціалізовані комп'ютерні системи і мережі [Текст] : лаб. практикум / С. М. Бабчук. – Івано-Франківськ : ІФНТУНГ, 2022. – 312 с. – (Каф. комп'ютерних систем і мереж).
• Брауде, Э. Технология разработки программного обеспечения [Текст] / Э. Брауде ; пер. с англ. – СПб. : Питер, 2004. – 655 с. – У фонді НТБ відсутній. – ISBN 5-94723-663-Х.
• Буров, Є. Система підтримки ситуаційної обізнаності у процесі тестування програмного забезпечення [Текст] / Є. Буров, Х. Микіч, О. Верес // Вісник Національного університету "Львівська політехніка". Інформаційні системи та мережі. – 2020. – Issue 7, № 1. – С. 59-69.
• Гарасимів, Т. Г. Технологія проектування комп'ютерних систем [Текст] : лаб. практикум / Т. Г. Гарасимів, Я. І. Заячук. – Івано-Франківськ : ІФНТУНГ, 2020. – 104 с. – (Каф. комп'ютерних систем і мереж).
• Горбійчук, М. І. Теорія проектування комп'ютерних систем і мереж [Текст] : курсове проектування / М. І. Горбійчук, В. Б. Кропивницька. – Івано-Франківськ : ІФНТУНГ, 2006. – 40 с. – (Каф. комп'ютерних систем і мереж).
• Горбійчук, М. І. Теорія проектування комп'ютерних систем та мереж [Текст] : навч. посіб. / М. І. Горбійчук, В. Б. Кропивницька, І. Р. Пітух. – Івано-Франківськ : ІФНТУНГ Факел, 2010. – 105 c. – (Каф. комп'ютерних систем і мереж).
• Горбійчук, М. І. Теорія проектування комп'ютерних систем та мереж [Текст] : лабораторний практикум / М. І. Горбійчук, В. Б. Кропивницька, С. Т. Самуляк. – Івано-Франківськ : ІФНТУНГ Факел, 2008. – 40 с. – (Каф. комп'ютерних систем і мереж).
• Давибіда, Л. І. Спеціалізовані комп'ютерні системи в екології [Текст] : метод. вказ. для сам. роботи студ. / Л. І. Давибіда. – Івано-Франківськ : ІФНТУНГ, 2023. – 15 с. – (Каф. геотехногенної безпеки та геоінформатики).
• Давибіда, Л. І. Спеціалізовані комп'ютерні системи в екології [Текст] : лаб. практикум / Л. І. Давибіда. – Івано-Франківськ : ІФНТУНГ, 2023. – 47 с. – (Каф. геотехногенної безпеки та геоінформатики).
• Жидка, О. В. Ймовірнісна модель встановлення інформаційної взаємодії в мережі Інтернету речей з топологією mesh [Текст] / О. В. Жидка // Телекомунікаційні та інформаційні технології. – 2024. – №4. – C/43-52.
• Заячук, Я. І. Технологія проектування комп'ютерних систем [Текст] : метод. вказ. для самостійної роботи / Я. І. Заячук. – Івано-Франківськ : ІФНТУНГ, 2017. – 24 с. – (Каф. комп'ютерних систем та мереж).
• Заячук, Я. І. Автоматизація проектування комп'ютерних систем [Текст] : методичні вказівки до курс. проектування / Я. І. Заячук, Т. Г. Гарасимів. – Івано-Франківськ : ІФНТУНГ,, 2010. – 36 с. – (Каф. комп'ютерних систем і мереж).
• Заячук, Я. І. Автоматизація проектування комп'ютерних систем [Текст] : конспект лекцій / Я. І. Заячук, Т. Г. Гарасимів. – Івано-Франківськ : ІФНТУНГ, 2010. – 205 с. – (Каф. комп'ютерних систем і мереж).
• Заячук, Я. І. Автоматизоване проектування комп'ютерних систем [Текст] : лабораторний практикум / Я. І. Заячук, Т. Г. Гарасимів. – Івано-Франківськ : ІФНТУНГ, 2010. – 104 с. – (Каф. комп'ютерних систем і мереж).
• Заячук, Я. І. Технології проєктування комп'ютерних систем [Текст] : навч. посіб. / Я. І. Заячук, А. М. Лазорів. – Івано-Франківськ : ІФНТУНГ, 2020. – 238 с. – (Каф. комп'ютерних систем і мереж).
• Комлева, Н. О. Система підтримки прийняття рішень в управлінні якістю навчального процесу [Текст] / Н. О. Комлева, В. В. Любченко, С. Л. Зіноватна // Проблеми програмування. – 2020. – № 2-3. – С. 218-227.
• Кропивницька, В. Б. Командна комунікація та розробка програмного забезпечення комп'ютерних систем [Текст] : метод. вказ. з лаб. робіт / В. Б. Кропивницька. – Івано-Франківськ : ІФНТУНГ, 2022. – 63 с. – (Каф. комп'ютерних систем та мереж).
• Кропивницька, В. Б. Теорія проєктування комп'ютерних систем і мереж [Текст] : методб вказ. лабор. робіт / В. Б. Кропивницька. – Івано-Франківськ : ІФНТУНГ, 2022. – 90 с. – (Каф. комп'ютерних систем та мереж).
• Кузь, М. В. Документування та кваліметрія програмних продуктів [Текст] : навч. посіб. / М. В. Кузь, С. І. Мельничук, Л. М. Заміховський. – 2-ге вид. перероб. і доп. – Івано-Франківськ : ІФНТУНГ, 2014. – 116 с. – 112-115. – ISBN 978-966-694-196-4.
• Пришляк, А. Процеси та складові елементи аналізу великих даних у системах дистанційного навчання [Текст] / А. Пришляк, Н. Кунанець, В. Пасічник // Вісник Національного університету "Львівська політехніка". Інформаційні системи та мережі. – 2022. – Вип. 11. – С. 22-38.
• Сидоров, Н. А. Дескриптивная модель экосистемы стиля программирования [Текст] / Н. А. Сидоров, Н. Н. Сидорова, Е. Н. Сидоров // Проблеми програмування. – 2020. – № 2-3. – C. 74-81.
• Дослідження характеристик та продуктивності протоколів доступу до хмарних обчислювальних середовищ на основі універсального тестування [Текст] / П. М. Складанний, Ю. В. Костюк, Н. П. Мазур, М. А. Пітайчук // Телекомунікаційні та інформаційні технології. – 2025. – №1. – С. 61-74.
• Сухарський, С. С. Алгоритм сингулярного розкладу на графічному процесорі [Текст] / С. С. Сухарський // Проблеми програмування. – 2023. – № 1. – С. 30-37.
• Ширмовська, Н. Г. Спеціалізовані комп'ютерні системи [Текст] : лаб. практикум / Н. Г. Ширмовська. – Івано-Франківськ : ІФНТУНГ, 2013. – 99 c. – (Каф. комп'ютерних систем і мереж).
• Штаєр, Л. О. Сучасні технології створення програмних систем [Текст] : лаб. практикум. Ч. 1 / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2017. – 38 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Сучасні технології створення програмних систем [Текст] : лаб. практикум. Ч. 2 / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2017. – 49 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Сучасні технології створення програмних систем [Текст] : лаб. практикум / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2017. – 84 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Сучасні технології створення програмних систем [Текст] : лабораторний практикум. Ч. 2 / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2018. – 48 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Сучасні технології створення програмних систем [Текст] : конспект лекцій / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2017. – 90 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Сучасні технології створення програмних систем [Текст] : лаб. практикум. Ч. 3 / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2023. – 101 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Сучасні технології створення програмних систем [Текст] : метод. вказ. для самостійної роботи / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2017. – 15 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Технології розробки програмного забезпечення [Текст] : лабораторний практикум / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2017. – 125 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Технології розробки програмного забезпечення [Текст] : лабораторний практикум. Ч. 2 / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2017. – 64 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Технології розробки програмного забезпечення [Текст] : метод. вказ. до викон. курс. проєкту / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2023. – 29 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Технології розробки програмного забезпечення [Текст] : конспект лекцій / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2017. – 139 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Технології розробки програмного забезпечення [Текст] : метод. вказ. для самостійної роботи / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2017. – 16 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Технології розробки програмного забезпечення [Текст] : лабораторний практикум. Ч. 1 / Л. О. Штаєр. – Івано-Франківськ : ІФНТУНГ, 2017. – 65 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Штаєр, Л. О. Технології розробки програмного забезпечення [Текст] : лабораторний практикум. Ч. 2 / Л. О. Штаєр, Ю. В. Безгачнюк. – Івано-Франківськ : ІФНТУНГ, 2018. – 67 c. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Юрчишин, В. М. Моделювання програмного забезпечення [Текст] : конспект лекцій / В. М. Юрчишин, Л. І. Випасняк, Р. Б. Вовк. – Івано-Франківськ : ІФНТУНГ, 2013. – 166 с. – (Каф. програмного забезпечення автоматизованих систем).
• Юрчишин, В. М. Методичні вказівки до виконання лабораторних та практичних робіт з дисципліни "Формальні методи програмної інженерії" [Текст] : для студентів напряму підготовки 6.050103 - "Програмна інженерія", 6.050103 - " Інженерія програмного забезпечення " / В. М. Юрчишин, В. Я. Піх. – Івано-Франківськ : ІФНТУНГ, 2016. – 80 с. – (Каф. програмного забезпечення автоматизованих систем).
• Юрчишин, В. М. Формальні методи програмної інженерії [Текст] : конспект лекцій / В. М. Юрчишин, В. Я. Піх. – Івано-Франківськ : ІФНТУНГ, 2016. – 154 с. – (Каф. програмного забезпечення автоматизованих систем).
• Юрчишин, В. М. Методичні вказівки до виконання лабораторних та практичних робіт з дисципліни " Моделювання процесу розробки програмного забезпечення " для студентів напряму підготовки 6.050103 - "Програмна інженерія", 6.050103 - " Інженерія програмного забезпечення [Текст] / В. М. Юрчишин, В. Я. Піх. – Івано-Франківськ : ІФНТУНГ, 2017. – 30 с. – (Каф. програмного забезпечення автоматизованих систем).
• Юрчишин, В. М. Моделювання процесу розробки програмного забезпечення [Текст] : конспект лекцій / В. М. Юрчишин, В. Я. Піх. – Івано-Франківськ : ІФНТУНГ, 2015. – 79 с. – (Каф. програмного забезпечення автоматизованих систем).

1   2