Публикации

8580

Фильтры

очистить фильтры скрыть фильтр показать фильтры

Сортировка

по релевантности по дате размещения по названию а-я по названию я-а

Показывать по

Сортировать по

Аккредитация аналитических лабораторий (прошлое, настоящее, будущее) - ожидания и проблемы

Сервисные средства интернет для решения бизнес-задач

Применение статической инструментации байт-кода языка Java для динамического анализа программ

Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM

Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными

Объектные модели ODMG и SQL десять лет спустя: нет противоречий

Обход неизвестного графа коллективом автоматов. Недетерминированный случай

Обзор методов извлечения моделей из HDL-описаний

Мониторинг динамически меняющегося графа

Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ

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

Software Engineering: New Disciplines And E-Learning Theme For Development Of Applied Systems