ПРОГРАММИРОВАНИЕ, 2013, No 1, с. 82-84
Авторский указатель статей, опубликованных в 2Ü12 году
Абрамов С.А., Боголюбская A.A., Ростовцев В.А. Семинар но компьютерной алгебре в 2011 2011 гг. № 2, 3 10
Абрамов С.А., Хмельнов Д.Е. Знаменатели рациональных решений линейных разностных систем произвольного порядка. № 2, 45 54 (84 91)1
Авторский указатель работ, опубликованных в 2011 г. № 1. 79 81
Бахтин A.B. см. Брюно А.Д.
Боголюбская A.A. см. Абрамов С.А.
Боженкова E.H. Методы композиции при построении характеризационных формул для моделей с непрерывным временем. № 6, 32 44 (304 314)
Брюно А.Д., Бахтин А.Б. Разрешение алгебраической сингулярности алгоритмами степенной геометрии. № 2, 11 28 (57 72)
Васенин В.А., Кривчиков М.А. Статическая формальная семантика стандарта EMCA-335. № 4, 3 16 (183 188)
Васильев С.А. см. Илюшин А.И. Вебстер К. см. Вольф Т.
Вирбицкайте И.Б. Восьмая международная Ершовская конференция но информатике (ПСГГ11). № 5, 3 17
Витяев Е.Е., Демин A.B., Пономарев Д.К.
Вероятностное обобщение формальных понятий. № 5, 18 34 (219 230)
1В скобках указаны номера страниц в издании журнала па английском языке.
Вольф Т., Шрюфер Э., Вебстер К. Решение больших систем линейных алгебраических уравнений, возникающих в теории интегрируемых неабелевых лорановских ОДУ. № 2, 29 44 (73 83)
Галимуллин Р.Ф. см. Шабалина Н.В.
Ганжа Е.И. О преобразованиях Лапласа и Ди-ни многомерных уравнений с разложимым главным символом. № 3, 57 64 (150 155)
Гаранина H.O. Экспоненциальное улучшение временной сложности проверки моделей для мультиагентных систем с абсолютной памятью. № 6, 20 31 (294 303)
Горбенко A.A., Попов В.Ю. Программирование модульных реконфигурируемых роботов. № 1,21 33 (13 23)
Демин A.B. см. Витяев Е.Е.
Джекобсон А., Хуан Ш., Кайко-Мэтсон М., МакМэхон П., Сейсур Э.
Semât взгляд на три года вперед. № 1, 5 20 (1-12)
Дорофеева М.Ю. см. Эль-Факи К. Евтушенко Н.В. см. Эль-Факи К. Ермолович A.B. см. Соколов P.A. Зеленов C.B. см. Костычев Е.А.
Зинин М.В. Пакет BiBasis для вычисления булевых инволютивных базисов и базисов Гребне-ра в системах компьютерной алгебры REDUCE и Maeaulay2. № 2, 55 67 (92 101)
Илюшин А.И., Оленин М.А., Васильев С.А. Решение проблемы параллельных
СЕМИНАР ПО КОМПЬЮТЕ]
вычислений на основе понятий «пространство-время». № 4, 40-54 (189-200)
Кайко-Мэтсон М. см. Джекобсон А.
Каленкова A.A. Алгоритм автоматической оптимизации потоков работ. № 1, 61-78 (43-56)
Калиниченко Л.А. Эффективная поддержка баз данных с онтологическими зависимостями: реляционные языки вместо дискрептивных логик. № 6, 45-62 (315-326)
Капцов О.В. О проблеме классификации Гур-са. № 2, 68-71 (102-104)
Ключников И.Г., Романенко С.А. Суперкомпиляция высшего уровня как путь к метаси-стемному переходу. № 5, 35-53 (231-244)
Коваленко Н.С., Павлов П.А. Алгоритм построения оптимальной компоновки одинаково распределенных систем. № 3, 3^10 (143-149)
Когаловский М.Р. Системы доступа к данным, основанные на онтологиях. № 4, 55-77 (167-182)
Коротков А.Е. Новый алгоритм разделения узла для R-дерева, основанный на двойной сортировке. № 3, 11-23 (109-118)
Костычев Е.А., Омельченко В.А., Зеле-
нов C.B. Нацеленная генерация данных для тестирования приложений над базами данных. № 6, 63-73 (327-336)
Кривчиков М.А. см. Васенин В.А.
МакМэхон П. см. Джекобсон А.
Мандрыкин М.У. см. Швед П.Е.
Мандрыкин М.У., Мутилин B.C., Новиков Е.М., Хорошилов A.B., Швед П.Е. Использование драйверов устройств операционной системы Linux для сравнения инструментов статической верификации. № 5, 54-71 (245-256)
Мутилин B.C. см. Мандрыкин М.У.
Мутилин B.C. см. Швед П.Е.
Новиков Е.М. см. Мандрыкин М.У.
:ОЙ АЛГЕБРЕ В 2010-2011 гг. 83
Оленин М.А. см. Илюшин А.И.
Омельченко В.А. см. Костычев Е.А.
Павлов П.А. см. Коваленко И.С.
Пономарев Д.К. см. Витяев Е.Е.
Пономаренко A.B., Рубанов В.В. Обратная совместимость программных интерфейсов: шаги к автоматической верификации. № 5, 72-88 (257267)
Попов В.Ю. см. Горбенко А.А
Прокопеня А.Н. Нормализация гамильтониана в ограниченной задаче многих тел методами компьютерной алгебры. № 3, 65-78 (156-182)
Романенко С.А. см. Ключников И.Г.
Ростовцев В.А. см. Абрамов С.А.
Рубанов В.В. см. Пономаренко A.B.
Сапожников A.B. Автоматизация построения моделей нормального поведения программ. № 4, 29-39 (210-218)
Сейсур Э. см. Джекобсон А.
Силаков Д.В. Использование виртуализации для защиты адресного пространства приложений в недостоверной среде. № 1, 34-48 (24-33)
Соколов P.A., Ермолович A.B. Фоновая оптимизация в системе динамической двоичной трансляции. № 3, 45-56 (119-126)
Факка Ф.М. см. Фрид Михаэль А.Х.
Фенсель А. см. Фрид Михаэль А.Х.
Фенсель Д. см. Фрид Михаэль А.Х. Фрид Михаэль А.Х., Фенсель А., Факка Ф.М., Фенсель Д. Информационные системы для улучшения социальных коммуникаций на конференциях: сенсорный подход. № 6, 3-19 (281-293)
Хорошилов A.B. см. Мандрыкин М.У. Хмельнов Д.Е. см. Абрамов С.А. Хуан Ш. см. Джекобсон А.
Чупилко М.М. Разработка тестовых систем для многомодульных моделей аппаратуры. № 1, 49-60 (34-42)
Шабалина Н.В., Галимуллин Р.Ф. К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами. № 3, 36-44 (127-133)
Швед П.Е. см. Мандрыкин М.У.
Швед П.Е., Мутилин B.C., Мандрыкин М.У. Опыт развития инструмента статис-
тической верификации BLAST. № 3, 24-35 (134142)
Шемякова Е.С. Преобразования Лапласа как единственные вырожденные преобразования Дарбу первого порядка. № 2, 72-76 (105-108)
Шрюфер Э. см. Вольф Т.
Эль-Факи К., Евтушенко Н.В., Дорофеева М.Ю. Использование свойств мутационных аппаратов для минимизации проверяющих тестов. № 4, 17-28 (201-209)
Для дальнейшего прочтения статьи необходимо приобрести полный текст. Статьи высылаются в формате PDF на указанную при оплате почту. Время доставки составляет менее 10 минут. Стоимость одной статьи — 150 рублей.