Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=АФС<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Кораблин, Ю. П.
    Анализ моделей программ на языке асинхронных функциональных схем средствами темпоральной логики линейного времени [Текст] / Ю. П. Кораблин, М. Л. Косакян // Программные продукты и системы. - 2014. - № 2. - С. 5-10 : ил.: 3 рис. - Библиогр.: с. 10 (9 назв.) . - ISSN 0236-235X
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
АФС-программы -- Бюхи автоматы -- Крипке структуры -- автоматы Бюхи -- структуры Крипке
Аннотация: В данной статье предложен метод, при котором системы рекурсивных уравнений, полученные из исходных АФС-программ, непосредственно представляются в виде автоматов Бюхи.


Доп.точки доступа:
Косакян, М. Л.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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


    Перова, Маргарита Константиновна.
    США: новые контуры цепочки поставок фармацевтических препаратов [Текст] = The United States: New Contours of the Supply Chain for Pharmaceuticals / М. К. Перова // США и Канада: экономика, политика, культура. - 2022. - № 2. - С. 98-111. - Библиогр.: с. 109-111 . - ISSN 0321-2068
УДК
^a338(1-775)
ББК 65.6
Рубрики: Экономика
   Экономика развитых стран
Кл.слова (ненормированные):
АФС -- активные фармацевтические субстанции -- дженерики -- обеспечение фармацевтическими препаратами -- поставки фармацевтических препаратов -- реструктуризация цепочек поставок -- сбои в цепочках поставок -- фармацевтические препараты -- цепочки поставок
Аннотация: Пандемия COVID-19 привлекла внимание к зависимости США от важнейших цепочек поставок фармацевтических препаратов, которые опираются на производство, базирующееся в Китае и Индии. Роль Китая как основного поставщика активной фармацевтической субстанции для производителей дженериков в мире, указывает и на зависимость США от китайских АФС через рынки третьих стран. Основные предпосылки реструктуризации цепочки поставок. Поиски решений проблемы реструктуризации.


Имеются экземпляры в отделах: всего 1 : н.з. (1)
Свободны: н.з. (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 04.09.2024
Число запросов 37727
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)