Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 4
Отмеченные записи: 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.
Подробнее
Абельсон, Харольд.
Структура и интерпретация компьютерных программ / Харольд Абельсон, Джеральд Джей Сассман при участии Джули Сассман ; [пер. с англ. Г. К. Бронникова]. - 2-е изд. - Москва : Добросвет : КДУ, [2010]. - 608 с. : ил. - Библиогр. : с. 558-565.. - ISBN 9785982277084
Парал. тит. л. на англ. Текст на рус., англ.
Рубрики: программирование--теория--монографии
Кл.слова (ненормированные):
программный синтаксис -- программирования теория -- программный код -- абстракций построение -- модульность (программирование) -- метаязыковая абстракция -- регистровые машины (вычисления) -- вычислительных машин теория -- языки программирования -- Лисп (языки программирования)
Доп.точки доступа:
Сассман, Джеральд Джей
Сассман, Джули
Бронников, Георгий \пер.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Абельсон, Харольд.
Структура и интерпретация компьютерных программ / Харольд Абельсон, Джеральд Джей Сассман при участии Джули Сассман ; [пер. с англ. Г. К. Бронникова]. - 2-е изд. - Москва : Добросвет : КДУ, [2010]. - 608 с. : ил. - Библиогр. : с. 558-565.. - ISBN 9785982277084
Парал. тит. л. на англ. Текст на рус., англ.
| УДК |
Рубрики: программирование--теория--монографии
Кл.слова (ненормированные):
программный синтаксис -- программирования теория -- программный код -- абстракций построение -- модульность (программирование) -- метаязыковая абстракция -- регистровые машины (вычисления) -- вычислительных машин теория -- языки программирования -- Лисп (языки программирования)
Доп.точки доступа:
Сассман, Джеральд Джей
Сассман, Джули
Бронников, Георгий \пер.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
3.
Подробнее
Котов, Вадим Евгеньевич.
Введение в теорию схем программ / В. Е. Котов ; отв. ред. А. П. Ершов ; Академия наук СССР, Сибирское отделение, Вычислительный центр. - Новосибирск : Наука, 1978. - 257 c., включ. обл. : ил. - Библиогр. : с. 249-254
Рубрики: программирование--теория--монографии
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- алгоритмов теория -- автоматов теория -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Ершов, Андрей Петрович \ред.\
Академия наук СССР. Сибирское отделение; Вычислительный центр
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Котов, Вадим Евгеньевич.
Введение в теорию схем программ / В. Е. Котов ; отв. ред. А. П. Ершов ; Академия наук СССР, Сибирское отделение, Вычислительный центр. - Новосибирск : Наука, 1978. - 257 c., включ. обл. : ил. - Библиогр. : с. 249-254
| УДК |
Рубрики: программирование--теория--монографии
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- алгоритмов теория -- автоматов теория -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Ершов, Андрей Петрович \ред.\
Академия наук СССР. Сибирское отделение; Вычислительный центр
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
4.
Подробнее
Абельсон, Харольд.
Структура и интерпретация компьютерных программ / Харольд Абельсон, Джеральд Джей Сассман при участии Джули Сассман ; [пер. Г. К. Бронникова]. - 2-е изд. - Москва : Добросвет : КДУ, [2012]. - 608 с. : ил. - Библиогр. : с. 558-565.. - ISBN 9785982278296
Парал. тит. л. на англ. яз. Текст на рус., англ.
Рубрики: программирование--теория--научные издания
компьютерные программы--структура и интерпретация--научные издания
Кл.слова (ненормированные):
программный синтаксис -- программирования теория -- программный код -- абстракции (программирование) -- модульность (программирование) -- метаязыковая абстракция -- регистровые машины -- вычислительных машин теория -- логическое программирование -- Лисп (язык программирования)
Доп.точки доступа:
Сассман, Джеральд Джей
Сассман, Джули
Бронников, Георгий \пер.\
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Абонемент научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Абонемент научной литературы (1)
Абельсон, Харольд.
Структура и интерпретация компьютерных программ / Харольд Абельсон, Джеральд Джей Сассман при участии Джули Сассман ; [пер. Г. К. Бронникова]. - 2-е изд. - Москва : Добросвет : КДУ, [2012]. - 608 с. : ил. - Библиогр. : с. 558-565.. - ISBN 9785982278296
Парал. тит. л. на англ. яз. Текст на рус., англ.
| УДК |
Рубрики: программирование--теория--научные издания
компьютерные программы--структура и интерпретация--научные издания
Кл.слова (ненормированные):
программный синтаксис -- программирования теория -- программный код -- абстракции (программирование) -- модульность (программирование) -- метаязыковая абстракция -- регистровые машины -- вычислительных машин теория -- логическое программирование -- Лисп (язык программирования)
Доп.точки доступа:
Сассман, Джеральд Джей
Сассман, Джули
Бронников, Георгий \пер.\
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Абонемент научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Абонемент научной литературы (1)
Страница 1, Результатов: 4