Вы здесь

Главная

автоматический

Связанные издания:

Системы переписывания формул
Сравнительная оценка эффективности потоково-локальной сборки мусора для языка JAVA
Средства автоиндексации документов по словарям тезауруса системы информационного поиска АСПИД/ГТ
Стратегии внутрипотоковой сборки мусора и оценка их эффективности
Сужение как техника автоматического доказательства
Сужение как техника автоматического доказательства
Схема автоматической верификации предикатных программ
Схема автоматической верификации предикатных программ
Тестирование параллельного выполнения процедур
Управляемые процессоры - методы исследования и приложения
Формализация выбора структур цифровых автоматических устройств
Что такое система автоматического чтения текстов? или е е раз про OCR
Экспериментальные системы автоматического распараллеливания
Экспертные системы с автоматическим синтезом программ
Языковые средства автоматизированных информационных систем