|
СТ |
CASE-системы и методы спецификации программ |
1993 |
Агафонов В. Н. |
|
|
|
Программные продукты и системы |
21.04.1993 |
|
А |
Анализ, организация и компьютеризация понятийных средств спецификации программ |
1994 |
Агафонов В. Н. |
|
|
|
|
05.10.1999 |
|
М |
Генератор программ ввода данных для ЕС ЭВМ |
1976 |
Агафонов В. Н., Зильбург М. Л., Малиновский Н. Л., Романович И. В., Таранко С. И., Хотяшов Э. Н., Шеметов А. Н. |
|
|
|
|
10.03.1976 |
|
М |
Математические основы обработки информации (Учебное пособие) |
1982 |
Агафонов В. Н. |
|
|
НГУ |
|
16.02.1983 |
|
А |
Надъязыковая методология спецификации программ |
1992 |
Агафонов В. Н. |
|
|
|
|
09.06.1992 |
|
СТ |
Надъязыковая методология спецификации программ |
1993 |
Агафонов В. Н. |
|
|
|
Программирование |
02.03.1994 |
|
СТ |
О семантике переменных в паскалеобразных языках |
1980 |
Агафонов В. Н. |
|
|
|
Теоретические основы компиляции |
16.12.1992 |
|
А |
Об алгоритмах, частоте и случайности |
1969 |
Агафонов В. Н. |
|
|
|
|
24.10.1969 |
|
М |
Сборник упражнений по программированию на языке Паскаль |
1985 |
Поттосин И. В., Агафонов В. Н., Бежанова М. М., Сабельфельд В. К. |
|
|
|
|
30.03.1993 |
|
М |
Синтаксический анализ языков программирования (Учебное пособие) |
1981 |
Агафонов В. Н. |
|
|
НГУ |
|
20.01.1982 |
|
П |
Системы, базирую иеся на знаниях: принципы, подходы, инструментальные средства |
1989 |
Агафонов В. Н. |
|
|
НФ ИТМ и ВТ |
|
06.10.1999 |
|
М |
Сложность алгоритмов и вычислений (спецкурс для студентов НГУ). Часть 2 |
1975 |
Агафонов В. Н. |
|
|
НГУ |
|
30.10.1975 |
|
М |
Спецификация программ: понятийные средства и их организация |
1990 |
Агафонов В. Н. |
|
|
|
|
20.03.1991 |
|
СТ |
Технология разработки экспертной системы (базы знаний) по спецификации программ |
1987 |
Агафонов В. Н. |
|
|
|
Технология разработки экспертных систем |
08.12.1992 |
|
СТ |
Экспертная система ПТО и "автоформализация знаний" |
1986 |
Агафонов В. Н. |
|
|
|
Материалы VIII школы-семинара "Персональные компьютеры и локальные сети" |
12.12.1992 |
|
СТ |
Язык запросов для концептуальных моделей и языков спецификации типа "объект-связь" |
1996 |
Агафонов В. Н. |
|
|
|
Программирование |
21.11.1996 |
