Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
инвариантный
Связанные издания:
Coloured Petri Nets Extended with Channels for Synchronous Communication
Invarianz der LR(k)-Eigenschaft beim Einfugen von epsilon-Nichtterminalen
Вычисление инвариантных соотношений в программах над полями данных
Инвариантные пространства и алгебры на римановых симметрических многообразиях
Исследование инвариантных классов, связанных с функциональными системами
Итеративные методы анализа процедурных программ
Методы и средства статического анализа семантических свойств программ
Поиск инвариантных соотношений в программах над свободными алгебрами данных
Поиск инвариантных соотношений в программах над свободными алгебрами данных