Електронний каталог
Класифікатори
рек...
рекурсивні програми, рекурсивные программы
Документи:
Андерсон, Роберт
Доказательство правильности программ [Текст] : Пер. с англ. / Р. Андерсон ; Под ред. Д.Б. Подшивалова. — М. : Мир, 1982. — 168 с.
Вирт, Никлаус
Алгоритмы + структуры данных = программы [Текст] : Пер. с англ. / Н. Вирт ; Под ред. Д.Б. Подшивалова ; пер.Л.Ю. Иоффе. — М. : Мир, 1985. — 406 с. — (Математическое обеспечение ЭВМ).
Вирт, Никлаус
Алгоритмы и структуры данных [Текст] : Пер с англ. / Н. Вирт. — М. : Мир, 1989. — 360 с. — ISBN 5-03-001045-9.
Хювёнен, Эро
Мир Лиспа [Текст] : В 2-х т.: Пер. с финск. Т. 1 : Введение в язык Лисп и функциональное программирование / Э. Хювёнен, Й. Сеппянен. — М. : Мир, 1990. — 447 с. — ISBN 5-03-001935-9.
Інформаційно-пошукова система
'УФД/Бібліотека'