|
СТ |
Отчет о международной конференции "Перспективы систем информатики" |
2004 |
Замулин А. В. |
|
|
|
Программирование |
29.03.2004 |
|
СТ |
Абстрактная модель компилятора как результат алгебраической семантики языка программирования |
2004 |
Замулин А. В. |
|
|
|
Программирование |
29.10.2004 |
|
СТ |
Формальная семантика выражений и операторов языка Java |
2003 |
Замулин А. В. |
|
|
|
Программирование |
29.11.2003 |
|
СТ |
Формальная модель Java-программы, основаанная на машинах абстрактных состояний |
2003 |
Замулин А. В. |
|
|
|
Программирование |
19.09.2003 |
|
СТ |
Алгебраическая модель императивной программы |
2003 |
Замулин А. В. |
|
|
|
Труды Первой Всероссийской научной конференции "Методы и средства обработки информации" |
21.09.2003 |
|
СТ |
Отчет о Международной конференции "Перспективы систем информатики" |
2002 |
Замулин А. В. |
|
|
|
Программирование |
03.04.2002 |
|
СТ |
Алгебраическая модель совокупности типов объектов с неявным состоянием |
2000 |
Замулин А. В. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
21.07.2000 |
|
СТ |
Императивная спецификация динамических систем |
2000 |
Замулин А. В. |
|
|
|
Системная информатика |
05.04.2001 |
|
СТ |
Отчет о конференции "Перспективы систем информатики" |
2000 |
Замулин А. В. |
|
|
|
Программирование |
13.11.2000 |
|
М |
Формальные методы спецификации программ |
1999 |
Замулин А. В. |
|
|
НГУ |
Учебное пособие |
13.10.2000 |
|
СТ |
Механизм для формального описания динамических систем |
1999 |
Замулин А. В. |
|
|
|
Программирование |
29.11.1999 |
|
СТ |
Динамические системы с неявным состоянием |
1999 |
Годель М. -К., Хури К., Замулин А. В. |
|
|
|
Программирование |
28.10.1999 |
|
СТ |
Информационное сообщение: Третья международная конференция памяти академика А.П.Ершова "Перспективы систем информатики" |
1998 |
Замулин А. В. |
|
|
|
Программирование |
04.12.1998 |
|
СТ |
Структурированные алгебраические спецификации |
1997 |
Замулин А. В. |
|
|
|
Системная информатика |
10.04.1998 |
|
СТ |
Системы программирования баз данных и знаний. Язык DBPL |
1995 |
Замулин А. В. |
|
|
|
Технология программирования |
14.06.1995 |
|
П |
Язык спецификаций баз данных РУСЛАН (предварительное сообщение) |
1994 |
Замулин А. В. |
|
|
ИСИ СО РАН |
22180 |
06.07.1994 |
|
П |
Язык спецификаций баз данных РУСЛАН (примеры спецификаций) |
1994 |
Замулин А. В. |
|
|
ИСИ СО РАН |
22167 |
20.07.1994 |
|
СТ |
Перспективы развития системы баз данных третьего поколения |
1992 |
Замулин А. В. |
|
|
|
Программирование |
10.06.1992 |
|
СТ |
Основные средства современных языков программирования БД |
1991 |
Замулин А. В. |
|
|
|
УСиМ |
30.10.1991 |
|
СТ |
Статистические вычисления в программах |
1991 |
Замулин А. В. |
|
|
|
Смешанные вычисления и преобразование программ |
22.06.1992 |
|
П |
Переспективы систем баз данных третьего поколения. |
1991 |
Замулин А. В. |
|
|
ИСИ СО АН СССР |
|
29.01.1992 |
|
СТ |
Языки программирования баз данных |
1991 |
Замулин А. В. |
|
|
|
V Всесоюзная конференция "системы баз данных и знаний"(Львов) |
09.10.1991 |
|
М |
Системы программирования баз данных и знаний |
1990 |
Замулин А. В. |
|
|
ВЦ СО АН СССР |
|
21.05.1991 |
|
СТ |
Программирование баз данных в языке АТЛАНТ |
1989 |
Замулин А. В. |
|
|
|
Прикладная информатика |
26.05.1995 |
|
П |
Организация системы программирования баз данных АТЛАНТ-СМ |
1989 |
Замулин А. В., Коситов В. А., Кучеров Г. А., Пак Е. В., Рыжков В. Д. |
|
|
ВЦ СО АН СССР |
22175 |
01.03.1989 |
|
П |
Типы данных как структурные объекты |
1988 |
Замулин А. В. |
|
|
ВЦ СО АН СССР |
22176 |
20.01.1988 |
|
О |
Система программирования Атлант (техническкий проект). Часть 2 |
1987 |
Замулин А. В., Копляров А. С., Коситов В. А., Кучеров Г. А., Людвина Н. А., Рыжков В. Д. |
|
- Котов В. Е.
|
ВЦ СО АН СССР |
|
01.04.1993 |
|
О |
Система программирования Атлант (технический проект). Часть 3 |
1987 |
Замулин А. В., Копляров А. С., Коситов В. А., Кучеров Г. А., Людвина Н. А., Рыжков В. Д. |
|
- Котов В. Е.
|
ВЦ СО АН СССР |
|
01.04.1993 |
|
О |
Система программирования Атлант (технический проект). Часть 1 |
1987 |
Замулин А. В., Копляров А. С., Коситов В. А., Кучеров Г. А., Людвина Н. А., Рыжков В. Д. |
|
- Котов В. Е.
|
ВЦ СО АН СССР |
|
01.04.1993 |
|
М |
Типы данных в языках программирования и базах данных |
1987 |
Замулин А. В. |
|
|
ВЦ СО АН СССР |
|
09.09.1987 |
|
П |
Категории типов данных |
1986 |
Замулин А. В. |
|
|
ВЦ СО АН СССР |
22174 |
11.06.1986 |
|
П |
Язык программирования АТЛАНТ (предварительное сообщение) |
1986 |
Замулин А. В. |
|
|
ВЦ СО АН СССР |
22172 |
13.03.1986 |
|
П |
Отношения между типами данных |
1986 |
Замулин А. В. |
|
|
ВЦ СО АН СССР |
22169 |
23.01.1997 |
|
А |
Интегральная языковая среда для описания и реализации баз данных различных моделей |
1986 |
Замулин А. В. |
|
|
|
|
27.04.1993 |
|
П |
Система типов языков программирования |
1984 |
Замулин А. В., Скопин И. Н. |
|
|
ВЦ СО АН СССР |
22171 |
20.10.1984 |
|
П |
Операции над типами |
1984 |
Замулин А. В., Людвина Н. А. |
|
|
ВЦ СО АН СССР |
22170 |
20.10.1984 |
|
П |
Вычисления над типами |
1983 |
Замулин А. В., Скопин И. Н. |
|
|
ВЦ СО АН СССР |
|
27.04.1993 |
|
П |
Об унификации типов данных |
1983 |
Замулин А. В., Скопин И. Н. |
|
|
ВЦ СО АН СССР |
|
27.04.1993 |
|
СТ |
Взаимодействие СУБД с ОС и СП |
1983 |
Замулин А. В., Филиппов В. И. |
|
|
|
Системное и теоретическое программирование: Тез. докл./IV Всесоюз. симп., Кишинев |
27.04.1993 |
|
СТ |
Построение системы управления базами данных как задача прикладного программирования |
1983 |
Замулин А. В. |
|
|
|
Банки данных: тез. докл./2 Всесоюз. конф., Киев, 1983, секция 2 |
27.04.1993 |
|
СТ |
О природе и классификации типов данных |
1983 |
Замулин А. В., Скопин И. Н. |
|
|
|
Системное и теоретическое программирование: Тез. докл./IV Всесоюз. симп., Кишинев |
27.04.1993 |
|
П |
Принципы построения модулей баз данных |
1982 |
Замулин А. В., Скопин И. Н. |
|
|
ВЦ СО АН СССР |
|
27.04.1993 |
|
СТ |
Построение информационных систем на основе ориентированного языка программирования |
1981 |
Замулин А. В. |
|
|
|
Управляю ие системы и машины |
27.04.1993 |
|
СТ |
Конструирование базы данных на основе концепции абстрактных типов данных |
1981 |
Замулин А. В., Скопин И. Н. |
|
|
|
Управляю ие системы и машины |
27.04.1993 |
|
СТ |
Универсальная система управления базами данных для ЭВМ БЭСМ-6 |
1981 |
Замулин А. В., Котельникова В. Г., Кораблев В. И., Пищик Б. Н., Тарасюк В. А. |
|
|
|
Управляю ие системы и машины |
27.04.1993 |
|
М |
Программирование для ЭВМ. Метод. указания к выполнению дом. задания и варианты задания для студентов 1 курса фак-та АСУ спец. 0647 дн. отд-ния/НЭТИ |
1980 |
Замулин А. В., Хиценко В. П. |
|
|
|
|
27.04.1993 |
|
СТ |
Система управления базами данных БОЯЗ-6: архитектура и возможности |
1980 |
Замулин А. В., Котельникова В. Г., Кораблев В. И., Пищик Б. Н. |
|
|
|
Банки данных: Тез. докл./Первая Всесоюз. конф., Тбилиси, 1980, секция 3 |
27.04.1993 |
|
М |
Системное моделирование. Методические указания к лабораторным работам для студентов V курса фак-та АСУ спец.0647 дн.отд-ния/НЭТИ |
1979 |
Замулин А. В., Зачепа Г. Г., Лаптев В. Н., Хабаров В. И. |
|
|
|
|
27.04.1993 |
|
СТ |
Обеспечение в алгоритмическом языке непроцедурных возможностей работы с базами данных |
1979 |
Замулин А. В., Пищик Б. Н. |
|
|
|
Алгоритмы и организация решения экономических задач |
27.04.1993 |
|
СТ |
Общая архитектура СУБД БОЯЗ-6 |
1978 |
Замулин А. В., Носков С. Н., Тарасюк В. А. |
|
|
|
Тезисы конф. молодых ученых и специалистов ИТМ и ВТ АН СССР |
27.04.1993 |
