Материалов:
1 081 645

Репозиториев:
30

Авторов:
761 409

По вашему запросу найдено документов: 32565

Страница 1 из 3257

Конвертация μCRL-описания автомата в формат kitidis
Кан, Надежда Владимировна
Преобразование описания дискретных систем для пакета прикладных программ FSMTest2.0: выпускная бакалаврская работа по направлению подготовки: 03.03.03 - Радиофизика
Кан, Надежда Владимировна
Инструмент автоматного программирования на основе SWITCH-технологии: магистерская диссертация по направлению подготовки: 03.04.03 - Радиофизика
Кан, Надежда Владимировна
Инструмент автоматизированной разработки программ на основе формальных моделей
Кан, Надежда Владимировна
Исследование оптических характеристик атмосферных ледяных кристаллов случайной формы на примере набора из 500 частиц
Кан, Надежда Владимировна, Ткачев, Илья Валерьевич, Коношонкин, Александр Владимирович, Шишко, Виктор Андреевич, Тимофеев, Дмитрий Николаевич, Кустова, Наталья Валентиновна
Исследование оптических характеристик атмосферных ледяных кристаллов случайной формы на примере набора из 500 частиц
Кан, Надежда Владимировна, Ткачев, Илья Валерьевич, Коношонкин, Александр Владимирович, Шишко, Виктор Андреевич, Тимофеев, Дмитрий Николаевич, Кустова, Наталья Валентиновна
Физиологическая оценка иммунной системы у пришлого населения Крайнего Севера
Голубева Надежда Владимировна
Архетипический образ "Старик и старуха" в русской прозе 19-20 вв
Чернявская Надежда Владимировна
Методы анализа вероятностно-временных характеристик моделей функционирования пассивной оптической сети
Русина Надежда Владимировна
Медико-социальные особенности формирования наркозависимости в условиях Крайнего Севера
Барыкина Надежда Владимировна

Страница 1 из 3257

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core