Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
Котов, Вадим Евгеньевич.
Теория схем программ / В. Е. Котов, В. К. Сабельфельд. - Москва : Наука, 1991. - 248 c. : ил., схем. - Библиогр. : с. 239-245.. - ISBN 5020139742
Рубрики: программирование--теория
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- алгоритмов теория -- автоматов теория -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Сабельфельд, Виктор Карлович
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Котов, Вадим Евгеньевич.
Теория схем программ / В. Е. Котов, В. К. Сабельфельд. - Москва : Наука, 1991. - 248 c. : ил., схем. - Библиогр. : с. 239-245.. - ISBN 5020139742
| УДК |
Рубрики: программирование--теория
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- алгоритмов теория -- автоматов теория -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Сабельфельд, Виктор Карлович
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
2.
Подробнее
Котов, Вадим Евгеньевич.
Введение в теорию схем программ / В. Е. Котов ; отв. ред. А. П. Ершов ; Академия наук СССР, Сибирское отделение, Вычислительный центр. - Новосибирск : Наука, 1978. - 257 c., включ. обл. : ил. - Библиогр. : с. 249-254
Рубрики: программирование--теория--монографии
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- алгоритмов теория -- автоматов теория -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Ершов, Андрей Петрович \ред.\
Академия наук СССР. Сибирское отделение; Вычислительный центр
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Котов, Вадим Евгеньевич.
Введение в теорию схем программ / В. Е. Котов ; отв. ред. А. П. Ершов ; Академия наук СССР, Сибирское отделение, Вычислительный центр. - Новосибирск : Наука, 1978. - 257 c., включ. обл. : ил. - Библиогр. : с. 249-254
| УДК |
Рубрики: программирование--теория--монографии
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- алгоритмов теория -- автоматов теория -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Ершов, Андрей Петрович \ред.\
Академия наук СССР. Сибирское отделение; Вычислительный центр
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Страница 1, Результатов: 2