доклад

Программная оболочка построения схем для оценки принимаемых решений

06.11.2025 - 13:04

Архитектурный синтез функционально-ориентированных процессоров

06.11.2025 - 13:00

Декомпозиция на группе и быстрые параллельные алгоритмы дискретного преобразования Фурье

06.11.2025 - 12:54

Вычислительные модели синхронных автоматных сетей

06.11.2025 - 12:48

Формализация математики в системе дедуктирования PC MIZAR

06.11.2025 - 12:44

Страницы