Архив
Всесоюзные конференции, семинары, симпозиумы, совещания, съезды, школы-семинары
Всесоюзная школа по смешанным вычислениям
Доклады
Доклад, 06.10.1983(?)
"Поливариантные смешанные вычисления для анализаторных программ".
Доклад, 28.04.1984
"Смешанные вычисления как инструментальное средство".
Доклад, 09.10.1983
"Семантика функциональных спецификаций и смешанные вычисления".
Доклад, 09.10.1983(?)
"Использование структурно-вычислительного определения семантики для трансляции".
Доклад, 09.10.1983(?)
"Роль теоретической модели базового языка".
Доклад
"Преобразования доказательств как преобразования программ" (2-й вариант).
Доклад
"Преобразования доказательств как преобразования программ" (1-й вариант).
Доклад
"Вопросы корректности смешанных вычислений на примере языка ИНКОЛ".
Доклад
"Архитектурные особенности М-РТК".
Доклад
"Смешанные вычисления в техническом комплексе разработки программного обеспечения микро-ЭВМ на объектно-ориентированных языках".
Доклад
"Смешанные вычисления и проверка правильности программ".
Доклад
"О сущности смешанных вычислений".
Доклад
"Алгебра смешанного выполнения программ".

По порядку | По алфавиту | По дате

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