RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2013, том 20, номер 4  


Построение и верификация ПЛК-программ по LTL-спецификации
Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин
5
О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом
В. А. Башкин, И. А. Ломазова
23
Автоматизация формирования табличных приложений
С. В. Зыкин
41
Алгоритм $(n,t)$-пороговой доверенной цифровой подписи с Арбитром
Е. А. Толюпа
55
К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3
А. Н. Магазинов
71
Алгоритм замещения агентов dataflow-сети на платформе Smart-M3
А. М. Васильев, И. В. Парамонов, Н. С. Лагутина, Э. И. Мамедов
81
Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах
В. И. Петров, М. С. Комар, Е. А. Кучерявый
91
Исследование ортогональности сигналов с вращением вектора поляризации
Ю. Е. Боровков, А. Н. Кренев, В. Н. Муравьев, А. П. Омельчук
104
Программно-конфигурируемые сети как этап эволюции сетевых технологий
А. А. Красотин, И. В. Алексеев
110
Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний
В. Н. Бойков, В. Е. Захаров, М. С. Каряева, В. А. Соколов
125
Проектирование и разработка имитационной модели мультиклиентского кластера баз данных
Е. А. Бойцов
136
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019