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

верифікація, верификация, verification

Підтеми:

• верифікація обладнання, верификация оборудования
• верифікація обчислень
• верифікація програм, верификация программ

Документи:

• Блок-схеми, які відображають етапи кожного процесу, схеми руху продукції на підприємстві. Верифікація блок-схем [Текст]. — С. 1-8.
• Верифікація: про взаємодію верифікатора та оператора [Текст] // Екологія підприємства. — 2018. — № 8 (73), серп. — С. 20-24.
• Менеджмент якості та безпеки продукції в зернових технологіях [Електронний ресурс] [Текст] : метод. рекомендації до вивч. дисц. для здобувачів освіт. ступ. "Магістр" спец. 181 "Харчові технології" освіт.-проф. програми "Технології зберігання і переробки зерна" ден. та заоч. форм навч. / уклад. : О. Ю. Супрун-Крестова ; Нац. ун-т харч. технол. — Київ : НУХТ, 2020. — 19 с. — каф. технології зберігання і переробки зерна.
• Менеджмент якості та культура харчової безпеки в закладах сфери гостинності [Електронний ресурс] [Текст] : метод. рекомендації до провед. практ. занять для здобувачів освіт. ступ. "Магістр" спец. 241 "Готельно-ресторанна справа" освіт.-проф. програми "Готельна і ресторанна справа" ден. та заоч. форм здобуття освіти / уклад. : В. О. Губеня, Н. В. Велемець, Н. П. Бондар, Л. О. Шаран ; Нац. ун-т харч. технол. — Київ : НУХТ, 2024. — 75 с. — каф. готельно-ресторанної справи.
• Менеджмент якості та культура харчової безпеки в закладах сфери гостинності [Електронний ресурс] [Текст] : метод. рекомендації до орг. та викон. самост. роботи для здобувачів освіт. ступ. "Магістр" спец. J2 "Готельно-ресторанна справа та кейтеринг" освіт.-проф. програми "Готельно-ресторанна справа та кейтеринг" ден. та заоч. форм здобуття освіти / уклад. : В. О. Губеня ; Нац. ун-т харч. технол. — Київ : НУХТ, 2026. — 44 с. — каф. готельно-ресторанної справи.
• Нова система МЗВ: до яких змін готуватися підприємствам уже тепер? [Текст] // Екологія підприємства. — 2020. — № 6 (95), черв. — С. 33-38.
• Про моніторинг, звітність та верифікацію викидів парникових газів в Україні-перспективи-2018 [Текст] // Екологія підприємства. — 2018. — № 3 (68), бер. — С. 6-11.
• Verification of HPLC for the Quantitative Determination Method of Nifedipine in Tablets [Текст] / І. L. Komarytskyy, V. A. Khanin, N.Yu. Bevz, V. А. Georgiyants // Вісник фармації. — 2015. — № 1 (81). — St. 25-29. — Bibliogr. at the end of article.
• Comparison of chromatographic methods of analysis in a thin layer of the sorbent for identification of famotidine in tablets [Текст] / A. V. Myhal, M. Marksa, O. S. Golovchenko et al. // Вісник фармації. — 2017. — № 2 (90). — С. 21-24. — Бібліогр. в кінці ст.
• Аввакумов, Андрей
  Моделирование обработки как фактор повышения эффективности производства [Текст] / А. Аввакумов // САПР и графика. — 2013. — № 11 (205). — С. 46-48.
• Альошин, Сергій Павлович
  Інтелектуальні технології підтримки прийняття рішень управління складними соціотехнічними системами [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.06 / С. П. Альошин ; Ін-т пробл. мат. машин і систем. — К., 2015. — 39 с.
• Аронов, И. З.
  К вопросу определений понятий "Верификация" и "Валидация" [Текст] / И. З. Аронов, В. Д. Дудко // Стандарты и качество. — 2014. — № 1 (919). — С. 90-94.
• Баришнікова, О. М.
  Особливості організації системи верифікації звітності сталого розвитку [Текст] / О. М. Баришнікова // Економiка та держава. — 2016. — № 8. — С. 131-140. — Бібліогр. кінці ст.
• Баськов, О.
  Торгівля викидами. Директива 2003/87 ЄС про встановлення схеми торгівлі викадами парникових газів. Як запровадити систему МЗВ на підприємстві, Ексклюзивний аналіз Baker Tilly [Текст] / О. Баськов, К. Громм // Екологія підприємства. — 2018. — № 12 (77), груд. — C. 18-25.
• Методы исследования свойств высокопроизводительных инфраструкткр [Текст] / Ю. В. Бойко, Н. Н. Глибовец, С. В. Ершов и др. // Управляющие системы и машины (УСиМ). — 2015. — № 1 (255). — С. 3-13. — Библиогр. в конце ст.
• Букринский, А. М.
  Несовершенство терминологии - угроза безопасности [Текст] / А. М. Букринский // Стандарты и качество. — 2013. — № 8(914). — С. 84-87. — Библиогр. : с. 87.
• Визовитин, Н. В.
  Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри [Текст] / Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко // Кибернетика и системный анализ. — 2015. — Т. 51, № 2. — C. 62-74. — Библиогр. в конце ст.
• Гречихин, Владимир Григорьевич
  Лекции по методике и технике социологических исследований [Текст] : Учеб. пособие / В. Г. Гречихин. — М. : МГУ, 1988. — 232 с.
• Дерлиця, А.
  Філософські першооснови теорії суспільних фінансів [Текст] / А. Дерлиця // Світ фінансів. — 2020. — № 4 (65). — С. 87-102. — Бібліогр. в кінці ст.
• Золоторевич, Л. А.
  Верификация проектов и построение тестов контроля СБИС на уровне RTL [Текст] / Л. А. Золоторевич // Автоматика и телемеханика. — 2013. — № 1. — С. 146-158. — Библиогр. конце ст.
• Камінський, Андрій
  Компаративний аналіз систем-ризик-менеджменту фінансових коипаній в сегменті коротких онлайн-кредитів банків [Текст] / А. Камінський // Банківська справа. — 2022. — № 1-2 (156). — С. 92-106.
• Верификация проекта : опыт атомной промышленности [Текст] / В. Кононов, В. Тихоновский, Д. Доробин и др. // САПР и графика. — 2013. — № 6 (200). — С. 18-21. — Библиогр. в конце ст.
• Крывый, С. Л.
  Верификация программ : состояние, проблемы, результаты. I [Текст] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — C. 3-14. — Библиогр. в конце ст.
• Крывый, С. Л.
  Верификация программ : состояние, проблемы, результаты. II [Текст] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. — 2014. — Т. 48, № 1. — С. 11-20. — Библиогр. в конце ст.
• Генерация символьных трасс в системе инсерционного моделирования [Текст] / А. А. Летичевский, А. Ал. Летичевский, В. С. Песчаненко, А. А. Губа // Кибернетика и системный анализ. — 2015. — Т. 51, № 1. — С. 7-19. — Библиогр. в конце ст.
• Матросова, А. Ю.
  Обнаружение несущественных путей логических схем на основе совместного анализа И-ИЛИ деревьев и SSBDD-ГРАФОВ [Текст] / А. Ю. Матросова, С. А. Останин, В. Сингх // Автоматика и телемеханика. — 2013. — № 7. — С. 126-142. — Библиогр. конце ст.
• Наумов, В.
  Моніторинг, звітність та верифікація викидів парникових газів: підготовка до невідтворених змін [Текст] / В. Наумов // Екологія підприємства. — 2020. — № 1 (90), січ. — С. 12-15.
• Непейвода, А. Н.
  Верификация модели технической системы средствами линейной темпоральной логики [Текст] / А. Н. Непейвода // Автоматика и телемеханика. — 2012. — № 9. — С. 124-140. — Библиогр. конце ст.
• Новіков, В. В.
  Верифікація методів автоматизований процес в АІС лабораторія [Текст] / В. В. Новіков, І. Г. Топораш, І. О. Сурженко // Стандартизацiя, сертифiкацiя, якiсть. — 2016. — № 1 (98). — С. 64-67. — Бібліогр. : с. 67.
• Пащенко, Богдан Сергійович
  Обладнання харчових виробництв. Модуль 2. Гігієнічний інжиніринг [Електронний ресурс] [Текст] : конспект лекцій для здобувачів освіт. ступ. "Бакалавр" спец. 181 "Харчові технології" освіт.-проф. програми "Технологічна експертиза та безпека харчової продукції" ден. та заоч. форм здобуття освіти / Б. С. Пащенко ; Нац. ун-т харч. технол. — Київ : НУХТ, 2024. — 110 с. — каф. експертизи харчових продуктів.
• Чорний, С.
  Валідація та верифікація ефективності технологічних процесів на виробництві за принципами HACCP [Текст] / С. Чорний // Управління якістю. — 2019. — № 12 (24), груд. — C. 19-23.
• Шепелёва, Е. В.
  Разработка и внедрение системы качества на основе принципов ХАССП [Текст] / Е. В. Шепелёва // Переработка молока. — 2015. — № 1 (184). — С. 50-53.