Електронний каталог

• Класифікатори
• Ве

верифікація

Документи:

• Аудит і верифікація соцвиплат [Текст] // Соціальний захист. – 2016. – № 1-2. – С. 14 - 18.
• Закон України "Про верифікацію та моніторинг державних виплат" від 03.12.2019 р. № 324-ІХ [Текст] // Голос України. – 2019. – № 245 (20груд.). – С. 3, 5.
• Митний кодекс України [Текст] : станом на 14 берез. 2006 р. / відп. за вип. М. І. Преварська. – К. : Велес, 2006. – 144 с. – (Офіційний документ). – ISBN 966-96142-4-4.
• Mahats, N. Formation of an Organizational and Economic Mechanism for the Greening of Economic Relations in the Water Use Sector [Текст] / N. Mahats // Економічний вісник Донбасу. – 2024. – № 4. – C. 125-137.
• Альошин, Сергій Павлович Інтелектуальні технології підтримки прийняття рішень управління складними соціотехнічними системами [Текст] : автореф. дис. на здобуття наук. ступеня д-ра техн. наук : спец. 05.13.06 - інформаційні технології / Альошин Сергій Павлович. – К. : ІПММС НАНУ, 2015. – 39 с.
• Архієреєв, С. І. За межами вибору між ефективністю та справедливістю : міжнародний підхід [Текст] : монографія / С. І. Архієреєв, Я. В. Зінченко. – Х. : ХНУ ім. В. Н. Каразіна, 2008. – 172 с. – ISBN 978-966-623-513-1.
• Багхдаді, Аммар Авні Аббас Кубітні моделі та методи аналізу і діагностування цифрових пристроїв [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.05 - комп'ютерні системи та компоненти / Багхдаді Аммар Авні Аббас. – Х. : ХНУРЕ, 2015. – 20 с.
• Баришнікова, О. М. Особливості організації системи верифікації звітності сталого розвитку [Текст] / О. М. Баришнікова // Економіка та держава. – 2016. – № 8. – С. 131-140.
• Басовский, Л. Е. История и методология экономической науки [Текст] : учеб. пособ. / Л. Е. Басовский. – М. : Инфра-М, 2011. – 240 с. – (Высшее образование). – ISBN 978-5-16-004243-5.
• Богдан, Ірина Валентинівна Методи та інструментальні засоби верифікації моделей об'єктивно-орієнтованих програм [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.06 - інформаційні технології / Богдан Ірина Валентинівна. – Чернігів : ЧНТУ, 2015. – 20 с.
• Ващук, О. Питання верифікації та валідації у кримінальному провадженні: методи пізнання невербальної інформації [Текст] / О. Ващук // Право України. – 2017. – №6. – С. 159-163.
• Гейко, Олег Еталонна архітектура для програмної платформи верифікації математичних моделей [Текст] / Олег Гейко, Іван Варава // Інформаційні технології та суспільство. – 2024. – № 2. – С. 17-25.
• Глазов, А. А. Банковская верификация: планирование, верификационные ситуации и версии [Текст] / А. А. Глазов // Банковское дело. – 2016. – № 1. – С. 75-79.
• Дерлиця, Андрій Філософські першооснови теорії суспільних фінансів [Текст] / Андрій Дерлиця // Світ фінансів. – 2020. – Вип. 4. – С. 87-102.
• Ємельянов, Ігор Валерійович Моделі та методи кубітного тестування цифрових пристроїв на основі memori-driven структур даних [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.05 - комп'ютерні системи та компоненти / Ємельянов Ігор Валерійович. – Х. : ХНУРЕ, 2018. – 23 с.
• Зубко, Ігор Анатолійович Удосконалення моделей і методу підвищення ефективності компонентів функціонально-орієнтованих систем спеціального призначення [Текст] : автореф. дис. на здобуття наук. ступеня д-ра техн. наук : спец. 05.13.05 - комп'ютерні системи та компоненти / Зубко Ігор Анатолійович. – Черкаси : ЧДТУ, 2019. – 20 с.
• Калабухова, Світлана Вікторівна Елементи методу бухгалтерського аналізу в інформаційній економіці [Текст] / Світлана Вікторівна Калабухова // Економічний аналіз. – 2015. – Т. 19, № 1. – С. 6-12.
• Ладигіна, Ольга Анатоліївна Методи статистичної оптимізації обслуговування нестаціонарного трафікау в гетерогенних комп'ютерних мережах [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.05 - комп'ютерні системи та компоненти / Ладигіна Ольга Анатоліївна. – К. : НАУ, 2020. – 22 с.
• Легкун, Тетяна Обґрунтування достеменності знання у світлі наукового плюралізму: методологічний аспект [Текст] / Тетяна Легкун // Вища освіта України. – 2024. – № 1. – С. 26-33.
• Летичевський, О. Проблема точності в системах протидії кібератакам та верифікація нейронних мереж на прикладі задачі виявлення ботнетів [Текст] / О. Летичевський, Б. Панчук // Кібернетика та системний анаілз. – 2025. – № 2. – C. 3-12.
• Малий, І. Й. Генеза публічного управління і адміністрування в Україні [Текст] / І. Й. Малий // Інвестиції : практика та досвід. – 2017. – № 24. – С. 17-21.
• Матвєєнко, О. В. Можливі ризики органазаційної структури державного управління у сфері контролю над озброєнням [Текст] / О. В. Матвєєнко // Вісник Національної академії державного управління при Президентові України. – 2015. – № 4. – С. 18-24.
• Обрізан, Володимир Ігорович Мультиверсний паралельний синтез цифрових структур на основі SystemC специфікації [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.05 - комп'ютерні системи та компоненти / Обрізан Володимир Ігорович. – Х. : ХНУР, 2017. – 24 с.
• Палій, Ігор Орестович Методи виячвлення облич в системах комп'ютерного розпізнавання на основі комбінованого каскаду нейромережевих класифікаторів [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.23 - системи та засоби штучного інтелекту / Палій Ігор Орестович. – Одеса : ОНПУ, 2009. – 19 с.
• Петрик, Олена Анатоліївна Процедури аудиту фінансової звітності криптовалютної біржі та їх технологічна послідовність [Текст] / Олена Анатоліївна Петрик, Олег Вікторович Дяк // Економіка. Фінанси. Право. – 2025. – № 5. – С. 90-96.
• Петрова, Ольга Анатоліївна Інформаційна технологія оцінювання надійності систем позиціонування та навігації всередині приміщення [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.06 - інформаційні технології / Петрова Ольга Анатоліївна. – Миколаїв : ЧНУ ім. Петра Могили, 2020. – 20 с.
• Петряєва, З. Ф. Верифікація градації рівнів фінансово-економічної безпеки підприємств [Текст] / З. Ф. Петряєва, Г. А. Іващенко, О. О. Петряєв // Актуальні проблеми економіки. – 2016. – № 5. – С. 402-411.
• Підпалий, О. Інтеграція Zero Trust та Blockchain в SDN-мережі: огляд загроз та методів їх усунення (текст на англ. мові) [Текст] / О. Підпалий, О. Романов // Інформаційні технології та комп'ютерна інженерія. – 2025. – № 1. – C. 55-68.
• Порало, І. Верифікація публічної інформації у системі бібліотечно-інформаційного обслуговування як засіб національної інформаційної безпеки [Текст] / І. Порало, Ж. Роговець // Бібліотечний форум : історія, теорія і практика. – 2021. – № 2. – С. 2-5.
• Рева, С. Розробка програмної платформи для комп'ютерного моделювання, аналізу та верифікації параметрів спектрометричних сигналів [Текст] / С. Рева, Д. Циблієв // Інформаційні технології та суспільство. – 2025. – № 3. – С .145-151.
• Сикорд, Р. С. Безопасное программирование на С и С++ [Текст] = Secure Coding in C and C++ / Р. С. Сикорд ; пер. с англ. – 2-е изд. – М. : Вильямс, 2016. – 496 с. – ISBN 978-5-8459-1908-3.
• Тамер, Абдельмаджід Салех Бані-Амер Хмарний серві-комп'ютинг для тестування і моделювання SOC-компонентів [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.05 - комп'ютерні системи та компоненти / Тамер Абдельмаджід Салех Бані-Амер. – Х. : ХНУР, 2017. – 23 с.
• Шкарупило, Вадим Вікторович Розробка й дослідження моделей і методів специфікації, верифікації і валідації композитних веб-сервісів [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.05 - комп'ютерні системи та компоненти / Шкарупило Вадим Вікторович. – К. : ІПМЕ ім. Г. Є. Пухова, 2014. – 20 с.
• Штогріна, Олена Сергіївна Інформаційна технологія створення та використання баз нечітких знань із застосуванням метаграфів [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.06 - інформаційні технології / Штогріна Олена Сергіївна. – К. : КПІ, 2016. – 20 с.