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

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

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



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






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


2012, том 19, номер 6  


Наследcтвенные свойства модульных сетей
В. А. Башкин
9
Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри
Д. А. Зайцев
21
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
И. С. Ануреев
34
Как разработать простое средство верификации систем реального времени
Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, И. В. Коннов, В. В. Подымов
45
Дедуктивная верификация протокола скользящего окна
Д. А. Шкляев, В. А. Непомнящий
57
Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения
М. Х. Ахин, В. М. Ицыксон
69
Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов
А. В. Колчин, А. А. Летичевский, В. С. Песчаненко, П. Д. Дробинцев, В. П. Котляров
79
Yaroslavl International Conference on Discrete Geometry (dedicated to the centenary of A. D. Alexandrov)
N. Dolbilin, H. Edelsbrunner, A. Ivanov, O. Musin, M. Nevskii
92
Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ
А. И. Антонов, В. А. Бондаренко
101
О некоторых следствиях теоремы о трансверсалях
В. Л. Дольников
107
О некоторых задачах локализации в триангуляциях Делоне
Н. Ф. Дышкант
112
Continuous Flattening of a Regular Tetrahedron with Explicit Mappings
Jin-ichi Itoh, Chie Nara
127
Совершенные призмоиды и гипотеза о минимальном числе граней центрально-симметричных многогранников
М. А. Козачок
137
A Uniform Asymptotical Upper Bound for the Variance of a Random Polytope in a Simple Polytope
A. Magazinov
148
Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов
О. Р. Мусин, А. Ю. Ухалов, Г. Эдельсбруннер, О. П. Якимова
152
Многочлены объема для некоторых многогранников в пространствах постоянной кривизны
Д. И. Сабитов, И. Х. Сабитов
161
Новое доказательство формулы Эйлера
М. И. Штогрин
170
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019