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