Архив
Всесоюзные конференции, семинары, симпозиумы, совещания, съезды, школы-семинары
Всесоюзная конференция "Проблемы совершенствования синтеза, тестовой верификации и отладки программ"
Тезисы докладов
Тезисы доклада
И.Ю. Иванов "Программный комплекс для редактирования и отладки микропрограмм".
Тезисы доклада
Г.В. Римский, С.В. Чебаков "Об автоматическом синтезе оптимальной цепочки модулей достижения цели при нескольких критериях оптимизации".
Тезисы доклада
С.А. Мартынов (Пенза) "Метод оценки сложности программ, учитывающий стиль программирования".
Тезисы доклада
Я.Э. Пеньям, М.Я. Харф (Таллин) "Задача оптимизации при дедуктивном синтезе программ".
Тезисы доклада
Г.И. Калниньш, Ю.В. Гибин (Калинин) "Технологические аспекты применения и развития средств синтеза программ".

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016