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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

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

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

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

ВКР (5)

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 69177
Автор(ы) : Азембаев А. А., Демидова З. Н.
Заглавие : Проведение валидационных процессов в производстве лекарственных средств по стандартам GMP : Методические рекомендации
Выходные данные : Алматы: Нур-Принт, 2015
Колич.характеристики :65 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 61
ББК : 52.8
Ключевые слова (''Своб.индексиров.''): валидационная очистка--валидационный протокол--валидационный процесс--валидация процесса--контаминация--лекарственное средство--отбор проб--спецификация--стандарт gmp
Аннотация: В настоящих методических рекомендациях представлены требования «Правил организации производства и контроля качества лекарственных средств (ОМР)» для обеспечения подтверждения, необходимого для доказательства пригодности качества лекарственного препарата, на примере опытного производства РГП «Научный центр противоинфекционных препаратов». Методические рекомендации является общим руководством и устанавливает основные требования к проведению валидации процессов и условий производства лекарственных средств. Рекомендованы для предприятий, осуществляющих, независимо от их ведомственной подчиненности и форм собственности, производство лекарственных средств. Также рекомендованы для научных работников, преподавателям фармацевтических факультетов ВУЗов и других представителей в сфере лекарственного обращения.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 341
Заглавие : Руководство по валидации мер по контролю безопасности пищевых продуктов (guidelines for the validation of food safety control measures) CAC/GL 69 – 2008
Выходные данные : Саратов: Ай Пи Эр Медиа, 2014
Колич.характеристики :21 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 341
ББК : 67.9
Ключевые слова (''Своб.индексиров.''): валидация--контроль безопасности--пищевая продукция--руководство
Аннотация: Настоящее руководство применяется к валидации контрольных мер на любом этапе цикла производства пищевой продукции. Настоящее руководство предназначено для его применения производственными предприятиями и правительственными органами по валидации отдельных контрольных мер, совокупностей различных контрольных мер или нескольких совокупностей контрольных мер, образующих систему контроля безопасности пищевой продукции (например, системы HACCP, GHP).
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 65818
Автор(ы) : Вельдер С. Э., Вельдер С. Э., Лукин М. А., Шалыто А. А., Яминов Б. Р.
Заглавие : Верификация автоматных программ
Выходные данные : Санкт-Петербург: Университет ИТМО, 2011
Колич.характеристики :245 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 00
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): автоматная программа--валидация--верификатор--верификация--по--темпоральная логика
Аннотация: В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств. Материал учебного пособия предназначен для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также студентов и аспирантов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети». Предполагается знакомство читателя с основными понятиями математической логики, дискретной математики, теории графов и теории алгоритмов.
(для доступа требуется авторизация)

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

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

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

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