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

• Класифікатори
• 004.4 Програмне забезпечення

004.42 Програмування комп'ютерів. Комп'ютерні програми

Підтеми:

• 004.421 Алгоритми для конструювання програм
• 004.424 Техніка програмування
• 004.42:51 Комп'ютерна математика

Документи:

• Алексеєв, В. А. Багатоваріантність нотацій представлення алгоритмів функіонування програмних засобів як шлях до їх верифікації [Текст] / В. А. Алексеєв, В. С. Терещенко // Проблеми програмування. – 2009. – № 4. – С. 33-48.
• Бабчук, С. М. Інформаційні системи та структури даних [Текст] : конспект лекцій / С. М. Бабчук. – Івано-Франківськ : ІФНТУНГ, 2018. – 61 с. – (Каф. комп'ютерних систем і мереж).
• Концепція функціональних перетворень для формування синтаксичного опису діагоналей трансформанти [Текст] / В. Бараннік, С. Шульгін, О. Ігнатьєв [et al.] // Інфокомунікаційні технології та електронна інженерія. – 2023. – Vol. 3, № 1. – С. 21-31.
• Белей, О. І. Інформаційні технології і технічні засоби фірми "Siemens" в наукових дослідженнях [Текст] : метод. вказ. для самостійної роботи студентів / О. І. Белей. – Івано-Франківськ : ІФНТУНГ, 2017. – 6 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Біліщук, В. Б. Мікроконтролери в приладобудуванні [Текст] : практикум / В. Б. Біліщук. – Івано-Франківськ : ІФНТУНГ, 2019. – 47 с. – (Каф. метрології та інформаційно-вимірювальної техніки).
• Біліщук, В. Б. Мікропроцесори в інформаційно-вимірювальній техніці [Текст] : лаб. практикум / В. Б. Біліщук. – Івано-Франківськ : ІФНТУНГ, 2023. – 104 с. – (Каф. метрології та інформаційно-вимірювальної техніки).
• Блаттнер, П. Использование Microsoft Excel 2002 [Текст] : спец. изд. / П. Блаттнер ; пер. пер. с англ. – М. : Изд. дом "Вильяме", 2002. – 864 с. – У фонді НТБ відсутній, є електронна копія. – ISBN 5-8459-0269-Х.
• Булакаева, Е. А. Разработка компьютерных динамических имитационных тренажеров базовых технологических узлов и аппаратов на примере ПНПТ-1,6 [Текст] / Е. А. Булакаева // Бурение & нефть. – 2015. – № 12. – С. 28.
• Вирт, Н. Алгоритмы и структуры данных [Текст] / Н. Вирт ; пер. с англ. – М. : Мир, 1989. – 360 с. : ил. – У фонді НТБ відсутній, є електронна копія. – ISBN 5-03-001045-9.
• Глибовец, А. М. Розробка Web-прототипу для аналізу висловлювань користувачів соціальної мережі Twitter [Текст] / А. М. Глибовец, М. А. Гонтар // Проблеми програмування. – 2014. – № 4. – С. 15-25.
• Глибовец, А. Н. Решение задачи распределенного индексирования в оперативной памяти на базе модели актеров с использованием фреймворка Fkka [Текст] / А. Н. Глибовец // Управляющие системы и машины. – 2014. – № 4. – С. 61-67.
• Глинчук, Л. Я. Оцінка ефективності алгоритмів криптографічного стиснення побудованих на основі Штерна-Броко [Текст] / Л. Я. Глинчук // Проблеми програмування. – 2009. – № 4. – С. 71-76.
• Горбулін, В. П. Щодо ефективних стратегій національного та регіонального збалансованого розвитку [Текст] / В. П. Горбулін, С. К. Полумієнко, О. М. Трофимчук // Математичне моделювання в економіці. – 2020. – № 1. – С. 5-18.
• Дерецкий, В. А. Подход к определению полноты композиции семантических Вебсервисов [Текст] / В. А. Дерецкий // Проблеми програмування. – 2009. – № 3. – С. 30-39.
• Дивак, Ю. Інтеграція і композиція ВЕБ-сервісів на основі моделі [Текст] / Ю. Дивак, Т. Мамедов // Проблеми програмування. – 2022. – № 2. – С. 37-46.
• Модели и средства программирования Грид-систем [Текст] / А. Е. Дорошенко, А. П. Розенблат, К. А. Рухлис, Ю. М. Тірчак // Проблеми програмування. – 2007. – № 3. – С. 16-31.
• Формальні та адаптивні методи й інструментальні засоби паралельного програмуваня [Текст] / А. Ю. Дорошенко, О. Г. Бекетов, К. А. Жереб [et al.] // Проблеми програмування. – 2017. – № 3. – С. 19-30.
• Дорошенко, А. Ю. Мультиасемблерна мова програмування [Текст] / А. Ю. Дорошенко, М. В. Котюк, С. С. Ніколаєв // Проблеми програмування. – 2008. – № 1. – С. 26-36.
• Мережеві атаки в інтернет середовищі: ІСМР FLOOD атака [Текст] / В. В. Дутчак, Н. С. Назарчук, В. В. Гурак, Т. В. Димко // Інформаційні технології в освіті, техніці та промисловості : зб. тез доп. ; II всеукр. наук.-практ. конф. молод. учених студ. – Івано-Франківськ : ІФНТУНГ, 2015. – С. 85-86.
• Євчук, О. В. Мікроконтролери [Текст] : метод. вказівки до самост. роботи / О. В. Євчук. – Івано-Франківськ : ІФНТУНГ, 2019. – 10 с. – (Каф. комп'ютерних технологій в системах управління і автоматики).
• Євчук, О. В. Мікроконтролери [Текст] : лаб. практикум / О. В. Євчук. – Івано-Франківськ : ІФНТУНГ, 2012. – 80 с. – (Каф. комп'ютерних технологій в системах управління і автоматики).
• Закидальський, А. І. Томографічна реконструкція "великих" об'єктів при використанні часткових сканувань [Текст] / А. І. Закидальський, Є. О. Цибульська // Реєстрація, зберігання і обробка даних. – 2009. – Т. 11, № 4. – С. 33-42.
• Іванов, О. Д. Визначення потужності ГТД ГТН-6 та режимних параметрів нагнітача Н-6-56-2 за допомогою прикладної програми ПК та вимірювача витраченої потужності ГТД торсійного типу [Текст] / О. Д. Іванов // Науковий вісник Івано-Франківського національного технічного університету нафти і газу. – 2012. – № 2. – С. 60-65.
• Іванов, О. Д. Визначення потужності ГТД ГТН-6 та газодинамічних характеристик нагнітача Н-6-56-2 за допомогою прикладної програми та вимірювача витраченої потужності торсійного типу [Текст] / О. Д. Іванов // Проблеми і перспективи транспортування нафти і газу : матеріали міжнар. наук.-техн. конф. (Івано-Франківськ, 15-18 трав. 2012 р.) / Крижанівський Є. І., ред. – Івано-Франківськ : ІФНТУНГ, 2012. – С. 127-129.
• Іванюк, Н. І. Основи обробки інформації [Текст] : лабораторний практикум / Н. І. Іванюк. – Івано-Франківськ : ІФНТУНГ, 2020. – 59 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Клапоущак, О. І. Інформаційні технології і технічні засоби фірми "SIEMENS" в наукових дослідженнях [Текст] : лаб. практикум / О. І. Клапоущак. – Івано-Франківськ : ІФНТУНГ, 2015. – 23 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Когутяк, М. І. Мікроконтролери для систем автоматизації [Текст] : навч. посібник / М. І. Когутяк, А. І. Лагойда. – Івано-Франківськ : ІФНТУНГ, 2023. – 290 с. – (Каф. автоматизації та комп'ютерно-інтегрованих технологій).
• Когутяк, М. І. Мікропроцесорні та програмні засоби автоматизації [Текст] : лаб. практикум / М. І. Когутяк, А. І. Лагойда. – Івано-Франківськ : ІФНТУНГ, 2013. – 91 с. – (Каф. автоматизації технологічних процесів і моніторингу в екології).
• Колесник, В. Г. DS-теория. Исследование факторов форматирования Р-данных [Текст] / В. Г. Колесник // Проблеми програмування. – 2016. – № 4. – С. 14-26.
• Колесник, В. Г. DS-теория. Научные аспекты и перспективы развития [Текст] / В. Г. Колесник // Проблеми програмування. – 2017. – № 1. – С. 3-20.
• Кэмпбел-Келли, М. Введение в макросы [Текст] / М. Кэмпбел-Келли ; пер. с англ. – М. : Сов. радио, 1978. – 152 с.
• Лавріщева, Е. М. Генерувальне програмування програмних систем і їх сімейств [Текст] / Е. М. Лавріщева // Проблеми програмування. – 2009. – № 1. – С. 3-16.
• Лавріщева, К. М. Кібернетика, інформатика та програмна інженерія: аспекти розвитку [Текст] / К. М. Лавріщева // Проблеми програмування. – 2010. – № 1. – С. 3-14.
• Левицький, І. Т. Мікроконтролери [Текст] : лабораторний практикум / І. Т. Левицький, О. В. Євчук. – Івано-Франківськ : ІФНТУНГ, 2018. – 45 с. – (Каф. інформаційно-телекомунікаційних технологій та систем).
• Львов, М. С. Статистический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании [Текст] / М. С. Львов // Проблеми програмування. – 2015. – № 2. – С. 3-12.
• Лэнгсам, Й. Структуры данных для персональных ЭВМ [Текст] / Й. Лэнгсам, М. Огенстайн, А. Тененбаум ; пер. с англ. – М. : Мир, 1989. – 568 с.
• Макаренко, І. Б. Від ідеї до створення автоматизованого комплексу інтерпретації потенціальних полів GMT- AUTO: step by step [Текст] / І. Б. Макаренко, О. В. Легостаєва, О. С. Савченко // Геофізичний журнал. – 2025. – Т.47, № 2. – C. 28-44.
• Исследование характеристик модифицированного аддитивного генератора Фибоначчи с запаздыванием [Текст] / В. Н. Максымовыч, М. Н. Мандрона, О. И. Гарасимчук, Ю. М. Костив // Проблемы управления и информатики. – 2016. – № 6. – С. 97-102.
• Малько, О. Г. Моделювання інформаційних систем та процесів [Текст] : конспект лекцій / О. Г. Малько. – Івано-Франківськ : ІФНТУНГ, 2010. – 122 с. – (Каф. комп'ютерних технологій в системах управління та автоматики).
• Малько, О. Г. Моделювання інформаційних систем та процесів [Текст] : лабораторний практикум / О. Г. Малько, Н. І. Іванюк. – Івано-Франківськ : ІФНТУНГ, 2010. – 38 с. – (Каф. комп’ютерних технологій в системах управління і автоматики).
• Мандрона, М. Н. Исследование статистических характеристик модифицированных генераторов Фибоначчи [Текст] / М. Н. Мандрона, В. Н. Максымовыч // Проблемы управления и информатики. – 2014. – № 6. – С. 83-87.
• Моренцов, Є. І. Концепція інтелектуалізованого створення сервісно-орієнтованих технологій програмування в семантичному веб-середовищі [Текст] / Є. І. Моренцов // Проблеми програмування. – 2017. – № 2. – С. 106-116.
• Мохница, А. С. Особенности реализации средств трансформационного синтеза параллельных алгоритмов [Текст] / А. С. Мохница, В. А. Иовчев, Е. А. Андрющенко // Проблеми програмування. – 2009. – № 4. – С. 24-32.
• Нікітченко, М. С. Теорія програмування [Текст] : підручник / М. С. Нікітченко. – Київ : Київ. ун-т, 2020. – 269 с. – ISBN 978-966-933-099-4.
• Нікітченко, М. С. Алгебри квазіарних та бі-квазіарних реляцій [Текст] / М. С. Нікітченко, С. С. Шкільняк // Проблеми програмування. – 2016. – № 1. – С. 17-28.
• Огуречникова, Н. Л. Семантика определенности и синтагматическая структура высказывания [Текст] / Н. Л. Огуречникова // Научно-техническая информация. Серия 2 Информационные процессы и системы. – 2006. – № 10. – С.23-33.
• Оконський, І. В. Інструментальні засоби моделювання гетерогенних середовищ заснованих на відеографічних прискорювачах [Текст] / І. В. Оконський, А. Ю. Дорошенко, К. А. Жереб // Проблеми програмування. – 2013. – № 1. – С. 107-115.
• Онисько, О. Р. Мікропроцесорне управління механотронних систем. Програмування мікроконтролерів родин РІС у середовищі MPLab [Текст] : лабораторний практикум / О. Р. Онисько, В. Г. Панчук, А. Г. Панчук. – Івано-Франківськ : ІФНТУНГ, 2018. – 39 с. – (Каф. комп'ютеризованого машинобудівного виробництва).
• Мікропроцесорне управління механотронних систем. Програмування мікроконтролерів родин РІС у середовищі MPLab [Текст] : лаб. практикум / О. Р. Онисько, В. Г. Панчук, А. Г. Панчук, Т. В. Лукань. – Івано-Франківськ : ІФНТУНГ, 2023. – 39 с. – (Каф. комп'ютеризованого машинобудівного виробництва).
• Павленко, Ю. С. Пошукова оптимізація, технології та сервіси веб-аналітики [Текст] : навч. посіб. / Ю. С. Павленко. – Луцьк : ВНУ імені Лесі Українки, 2022. – 51 с.

1   2