Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
типовой
Связанные издания:
An Orthogonal Programming System Manifesto
Некоторые вопросы построения пакетов прикладных программ как решателей типовых задач
Погружение модального лямбда-исчисления в логику доказательств
Программирование на типовых алгоритмических структурах с массивным параллелизмом