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

Базы данных


- результаты поиска

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

Алексеева М. М. Технология моделирования, анализа и верификации модифицированного транспортного уровня протокола/М. М. Алексеева, Е. А. Дашкова, Д. Ю. Чалый // Дистанционное и виртуальное обучение, 2011,N N 2.-С.32-37
2.

Алексеева М. М. Метод проверки на модели (model-checking) для определения корректности сложных систем/М. М. Алексеева, Е. А. Дашкова // Дистанционное и виртуальное обучение, 2011,N № 12.-С.50-56
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)