|
СТ |
Абстрактная модель компилятора как результат алгебраической семантики языка программирования |
2004 |
Замулин А. В. |
|
|
|
Программирование |
29.10.2004 |
|
СТ |
Отчет о международной конференции "Перспективы систем информатики" |
2004 |
Замулин А. В. |
|
|
|
Программирование |
29.03.2004 |
|
СТ |
Формальная семантика выражений и операторов языка Java |
2003 |
Замулин А. В. |
|
|
|
Программирование |
29.11.2003 |
|
СТ |
Алгебраическая модель императивной программы |
2003 |
Замулин А. В. |
|
|
|
Труды Первой Всероссийской научной конференции "Методы и средства обработки информации" |
21.09.2003 |
|
СТ |
Формальная модель Java-программы, основаанная на машинах абстрактных состояний |
2003 |
Замулин А. В. |
|
|
|
Программирование |
19.09.2003 |
|
СТ |
Отчет о Международной конференции "Перспективы систем информатики" |
2002 |
Замулин А. В. |
|
|
|
Программирование |
03.04.2002 |
|
СТ |
Императивная спецификация динамических систем |
2000 |
Замулин А. В. |
|
|
|
Системная информатика |
05.04.2001 |
|
СТ |
Отчет о конференции "Перспективы систем информатики" |
2000 |
Замулин А. В. |
|
|
|
Программирование |
13.11.2000 |
|
М |
Формальные методы спецификации программ |
1999 |
Замулин А. В. |
|
|
НГУ |
Учебное пособие |
13.10.2000 |
|
СТ |
Алгебраическая модель совокупности типов объектов с неявным состоянием |
2000 |
Замулин А. В. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
21.07.2000 |
|
СТ |
Механизм для формального описания динамических систем |
1999 |
Замулин А. В. |
|
|
|
Программирование |
29.11.1999 |
|
СТ |
Динамические системы с неявным состоянием |
1999 |
Годель М. -К., Хури К., Замулин А. В. |
|
|
|
Программирование |
28.10.1999 |
|
СТ |
Информационное сообщение: Третья международная конференция памяти академика А.П.Ершова "Перспективы систем информатики" |
1998 |
Замулин А. В. |
|
|
|
Программирование |
04.12.1998 |
|
СТ |
Структурированные алгебраические спецификации |
1997 |
Замулин А. В. |
|
|
|
Системная информатика |
10.04.1998 |
|
П |
Отношения между типами данных |
1986 |
Замулин А. В. |
|
|
ВЦ СО АН СССР |
22169 |
23.01.1997 |
|
СТ |
Системы программирования баз данных и знаний. Язык DBPL |
1995 |
Замулин А. В. |
|
|
|
Технология программирования |
14.06.1995 |
|
СТ |
Программирование баз данных в языке АТЛАНТ |
1989 |
Замулин А. В. |
|
|
|
Прикладная информатика |
26.05.1995 |
|
П |
Язык спецификаций баз данных РУСЛАН (примеры спецификаций) |
1994 |
Замулин А. В. |
|
|
ИСИ СО РАН |
22167 |
20.07.1994 |
|
П |
Язык спецификаций баз данных РУСЛАН (предварительное сообщение) |
1994 |
Замулин А. В. |
|
|
ИСИ СО РАН |
22180 |
06.07.1994 |
|
СТ |
Поиск информации в реальном масштабе времени |
1970 |
Замулин А. В., Богданова Г. С. |
|
|
|
Автоматизация научных исследований: Тез. докл./Всесоюз. конф. |
27.04.1993 |
|
М |
Информационно-поисковая система "КАДР" |
1972 |
Замулин А. В., Котельникова В. Г., Чилингарова Т. П. |
|
|
ВЦ СО АН СССР |
|
27.04.1993 |
|
СТ |
Некоторые аспекты диалогового поиска |
1973 |
Замулин А. В. |
|
|
|
Научн -техническая информация, сер.2. Информационные процессы и системы |
27.04.1993 |
|
СТ |
Язык манипулирования поиском данных ЛИРС-1 |
1973 |
Замулин А. В. |
|
|
ВЦ СО АН СССР |
Вычислительная техника |
27.04.1993 |
|
СТ |
Эволюция информационно-поисковых систем |
1973 |
Замулин А. В. |
|
|
|
Высокопроизводительные вычислительные системы: Тез. докл. |
27.04.1993 |
|
СТ |
Организация информационно-поисковой системы об его назначения |
1973 |
Замулин А. В. |
|
|
|
Системное программирование: Материалы Всесоюз. симп.Ч.1 |
27.04.1993 |
|
А |
Программное обеспечение информационно-поисковой системы об его назначения |
1973 |
Замулин А. В. |
|
|
|
|
27.04.1993 |
|
А |
Интегральная языковая среда для описания и реализации баз данных различных моделей |
1986 |
Замулин А. В. |
|
|
|
|
27.04.1993 |
|
СТ |
О методологии построения систем управления данными |
1974 |
Замулин А. В. |
|
|
|
Системное и теоретическое программирование: Тез. докл./3 Всесоюз. симп., Кишинев. Т.2 |
27.04.1993 |
|
СТ |
Языковые вопросы построения информационно-поисковых систем |
1974 |
Замулин А. В. |
|
|
|
Вопросы обучения языкам программирования |
27.04.1993 |
|
СТ |
Трансляция выражений в информационно-поисковой системе ВЕГА |
1974 |
Замулин А. В., Котельникова В. Г. |
|
|
|
Системное и теоретическое программирование |
27.04.1993 |
|
СТ |
О языке программирования, ориентированном на работу с базами данных |
1975 |
Замулин А. В. |
|
|
|
Программирование |
27.04.1993 |
|
СТ |
Архитектура информационно-поисковой системы об его назначения ВЕГА |
1975 |
Замулин А. В., Богданова Г. С., Бородин О. В., Котельникова В. Г., Переломов А. В., Пищик Б. Н., Сорокин В. В. |
|
|
|
Управляю ие системы и машины |
27.04.1993 |
|
СТ |
Информационно-поисковая система об его назначения ВЕГА |
1975 |
Замулин А. В., Богданова Г. С., Бородин О. В., Котельникова В. Г., Переломов Е. Н., Пищик Б. Н., Сорокин В. В. |
|
|
|
Развитие программного обеспечения БЭСМ-6 |
27.04.1993 |
|
СТ |
Общая архитектура СУБД БОЯЗ-6 |
1978 |
Замулин А. В., Носков С. Н., Тарасюк В. А. |
|
|
|
Тезисы конф. молодых ученых и специалистов ИТМ и ВТ АН СССР |
27.04.1993 |
|
СТ |
Организация средств физического уровня СУБД БОЯЗ-6 |
1978 |
Замулин А. В., Носков С. Н., Тарасюк В. А. |
|
|
|
Тезисы конф. молодых ученых и специалистов ИТМ и ВТ АН СССР |
27.04.1993 |
|
СТ |
БОЯЗ- язык программирования, ориентированный на работу с базами данных |
1978 |
Замулин А. В. |
|
|
|
Алгоритмы и организация решения экономических задач |
27.04.1993 |
|
СТ |
Сопряжение систем программирования с базой данных в центре коллективного пользования |
1978 |
Замулин А. В., Сорокин В. В., Папст Р. Э. |
|
|
|
Материалы конференции ВСС и ЦКП-78 |
27.04.1993 |
|
СТ |
Автономные системы управления базами данных в центре коллективного пользования |
1978 |
Замулин А. В., Кораблев В. И., Котельникова В. Г., Пищик Б. Н. |
|
|
|
Материалы конференции ВСС и ЦКП-78 |
27.04.1993 |
|
СТ |
Построение СУБД на основе ориентированного языка программирования |
1978 |
Замулин А. В. |
|
|
|
Перспективы развития в системном и теоретическом программировании |
27.04.1993 |
|
СТ |
Обеспечение в алгоритмическом языке непроцедурных возможностей работы с базами данных |
1979 |
Замулин А. В., Пищик Б. Н. |
|
|
|
Алгоритмы и организация решения экономических задач |
27.04.1993 |
|
СТ |
Система управления базами данных БОЯЗ-6: архитектура и возможности |
1980 |
Замулин А. В., Котельникова В. Г., Кораблев В. И., Пищик Б. Н. |
|
|
|
Банки данных: Тез. докл./Первая Всесоюз. конф., Тбилиси, 1980, секция 3 |
27.04.1993 |
|
М |
Системное моделирование. Методические указания к лабораторным работам для студентов V курса фак-та АСУ спец.0647 дн.отд-ния/НЭТИ |
1979 |
Замулин А. В., Зачепа Г. Г., Лаптев В. Н., Хабаров В. И. |
|
|
|
|
27.04.1993 |
|
М |
Программирование для ЭВМ. Метод. указания к выполнению дом. задания и варианты задания для студентов 1 курса фак-та АСУ спец. 0647 дн. отд-ния/НЭТИ |
1980 |
Замулин А. В., Хиценко В. П. |
|
|
|
|
27.04.1993 |
|
СТ |
Универсальная система управления базами данных для ЭВМ БЭСМ-6 |
1981 |
Замулин А. В., Котельникова В. Г., Кораблев В. И., Пищик Б. Н., Тарасюк В. А. |
|
|
|
Управляю ие системы и машины |
27.04.1993 |
|
СТ |
Построение информационных систем на основе ориентированного языка программирования |
1981 |
Замулин А. В. |
|
|
|
Управляю ие системы и машины |
27.04.1993 |
|
СТ |
Конструирование базы данных на основе концепции абстрактных типов данных |
1981 |
Замулин А. В., Скопин И. Н. |
|
|
|
Управляю ие системы и машины |
27.04.1993 |
|
СТ |
О природе и классификации типов данных |
1983 |
Замулин А. В., Скопин И. Н. |
|
|
|
Системное и теоретическое программирование: Тез. докл./IV Всесоюз. симп., Кишинев |
27.04.1993 |
|
СТ |
Взаимодействие СУБД с ОС и СП |
1983 |
Замулин А. В., Филиппов В. И. |
|
|
|
Системное и теоретическое программирование: Тез. докл./IV Всесоюз. симп., Кишинев |
27.04.1993 |
|
СТ |
Построение системы управления базами данных как задача прикладного программирования |
1983 |
Замулин А. В. |
|
|
|
Банки данных: тез. докл./2 Всесоюз. конф., Киев, 1983, секция 2 |
27.04.1993 |
|
П |
Принципы построения модулей баз данных |
1982 |
Замулин А. В., Скопин И. Н. |
|
|
ВЦ СО АН СССР |
|
27.04.1993 |
