RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Именной указатель, 2017, том 24

B D K L M N R S T V Y Z
А Б В Г Д Е Ж З И К Л М Н П С Т У Ц Ч Ш Щ Э Полный список
I. V. Maryasov, V. A. Nepomniaschy, D. A. Kondratyev
Invariant elimination of definite iterations over arrays in C programs verification
Модел. и анализ информ. систем, 2017, том 24:6,  743–754
M. Mazzara, см. D. de Carvalho
Модел. и анализ информ. систем, 2017, том 24:6,  704–717
B. Mingela, см. D. de Carvalho
Модел. и анализ информ. систем, 2017, том 24:6,  704–717
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019