- Шнитман В.З. Проблемы организации взаимодействия сетей, построенных на базе протоколов IPv4 и IPv6. Сб. тезисов докладов Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", г.Новороссийск, 2000г., стр. 16-17.
- Захаров В.А., Незнанов И.В. Операторные модели взаимодействующих процессов. Математические вопросы кибернетики, М: Физматлит, выпуск 9, 2000, с. 127-160.
- Захаров В.А. Общие методы построения разрешающих алгоритмов для эквивалентности пропозициональных операторных программ. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 25-28.
- Захаров В.А., Соколова К.А. О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 29-31.
- Захаров В.А. О проблеме эквивалентности для схем программ с операторами засылки констант. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 153-154.
- И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Использование конечных автоматов для тестирования программ. Программирование, №2, 2000, стр.12-28.
- В.А. Семенов, П.Б. Крылов, С.В. Морозов, О.А. Тарлапан Объектно-ориентированная архитектура для приложений математического моделирования и научной визуализации. Журнал «Программирование». Том: 26. Номер: 2. Издательство: МАИК «Наука/Интерпериодика», 2000. Стр. 29-40.
- А.Л. Ластовецкий, А.Я. Калинов, И.Н. Ледовских, Д.М. Арапов, М.А. Посыпкин. Язык и система программирования для высокопроизводительных параллельных вычислений на неоднородных сетях.
Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 5-25.
- В.П. Иванников. Предисловие.
Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 4.
- С.С. Гайсарян, М.В. Домрачев, В.Ф. Еч, О.И. Самоваров, А.И. Аветисян. Параллельное программирование в среде Java для систем с распределенной памятью. Объектные модели параллельного выполнения.
Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 26-38.
- И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко. Формальные спецификации в технологиях обратной инженерии и верификации программ.
Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 39-54.
- Н.Н. Мансуров. Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения.
Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 55-76.
- А. А. Жданов, С. В. Арсеньев, В.А. Половников. Об одной методологии автономного адаптивного управления.
Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 77-99.
- В.П. Иванников, К.В. Дышлевой, С.Г. Манжелей, Л.Б. Соловская, А.Б. Шебуняев. Распределенные объектно-ориентированные системы.
Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 100-121.
- В.А. Семенов, П.Б. Крылов, С.В. Морозов, М.Г. Роминов, О.А. Тарлапан. Объектно-ориентированная методология разработки интегрированных приложений моделирования и визуализации.
Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 122-137.
- Н.Н. Кузюрин, В.А. Захаров, А.Н. Холодов, Л.В. Шабанов, А.В. Шокуров. Эффективные алгоритмы и их программные реализации.
Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 138-148.
Вернуться к списку всех публикаций 
