Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Univ. Paris
Связанные издания:
Linear Logic and Parallelism
Program Flow Analysis - Accounting Operation Properties
Transformation de Programmes Sequentiels en Programmes Paralleles: These
Unite Assosiee au CNRS URA 410: AL KHOWARIZMI