Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Home
»
Издательства
СП "Наука" РАН
Связанные издания:
Абстрактная интерпретация императивных программ
Искусственная жизнь и контроль за загрязнением: исследование системы, основанной на генетическом алгоритме, на высокопараллельной системе Connection Machine
Компьютерные образовательные программы: обзор инструментальных средств
О критериях добротности программ
Проблемы архитектуры, анализа и разработки программных систем
Разработка интерфейсов программных систем
Роль экспериментирования в разработке программного обеспечения: прошлое, настоя ее и буду ее
Суперкомпиляция: методы и результаты
Язык Лола, программируемые вентильные матрицы и программируемые логические устройства в обучении проектированию цифровых схем