Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

Найдено в других БД:

Электронный каталог (1)

Авторефераты диссертаций (4)

ВКР (5)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=валидация<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

IPRBooks-69177

69177

Азембаев, А. А.
Проведение валидационных процессов в производстве лекарственных средств по стандартам GMP [Электронный ресурс] : методические рекомендации / Азембаев А. А. - Алматы : Нур-Принт, 2015. - 65 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 52.8

Кл.слова (ненормированные):
валидационная очистка -- валидационный протокол -- валидационный процесс -- валидация процесса -- контаминация -- лекарственное средство -- отбор проб -- спецификация -- стандарт gmp
Аннотация: В настоящих методических рекомендациях представлены требования «Правил организации производства и контроля качества лекарственных средств (ОМР)» для обеспечения подтверждения, необходимого для доказательства пригодности качества лекарственного препарата, на примере опытного производства РГП «Научный центр противоинфекционных препаратов». Методические рекомендации является общим руководством и устанавливает основные требования к проведению валидации процессов и условий производства лекарственных средств. Рекомендованы для предприятий, осуществляющих, независимо от их ведомственной подчиненности и форм собственности, производство лекарственных средств. Также рекомендованы для научных работников, преподавателям фармацевтических факультетов ВУЗов и других представителей в сфере лекарственного обращения.

(для доступа требуется авторизация)

Доп.точки доступа:
Демидова, З. Н.
Свободных экз. нет
Найти похожие

IPRBooks-23414

23414

Руководство по валидации мер по контролю безопасности пищевых продуктов (guidelines for the validation of food safety control measures) CAC/GL 69 – 2008 [Электронный ресурс] / пер. М. В. Межецкая. - Саратов : Ай Пи Эр Медиа, 2014. - 21 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

341

ББК 67.9

Кл.слова (ненормированные):
валидация -- контроль безопасности -- пищевая продукция -- руководство
Аннотация: Настоящее руководство применяется к валидации контрольных мер на любом этапе цикла производства пищевой продукции. Настоящее руководство предназначено для его применения производственными предприятиями и правительственными органами по валидации отдельных контрольных мер, совокупностей различных контрольных мер или нескольких совокупностей контрольных мер, образующих систему контроля безопасности пищевой продукции (например, системы HACCP, GHP).

(для доступа требуется авторизация)

Доп.точки доступа:
Межецкая, М. В. \пер.\
Свободных экз. нет
Найти похожие

IPRBooks-65818

65818

Вельдер, С. Э.
Верификация автоматных программ [Электронный ресурс] : учебное пособие / Вельдер С. Э. - Санкт-Петербург : Университет ИТМО, 2011. - 245 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

Кл.слова (ненормированные):
автоматная программа -- валидация -- верификатор -- верификация -- по -- темпоральная логика
Аннотация: В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств. Материал учебного пособия предназначен для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также студентов и аспирантов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети». Предполагается знакомство читателя с основными понятиями математической логики, дискретной математики, теории графов и теории алгоритмов.

(для доступа требуется авторизация)

Доп.точки доступа:
Лукин, М. А.; Шалыто, А. А.; Яминов, Б. Р.
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 03.06.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)