Архив
Редакционно-издательская деятельность
Рецензии, аннотации, рефераты
Реферат, 09.04.1969
статьи Я.М. Барздиня "Complexity of programs which recognize whether natural numbers not exceeding n belong to a recursively enumerable set".
Реферат, 13.05.1969
статьи О.Б. Лупанова "On the question of realization of symmetric functions of the algebra of logic by contact schemes".
Реферат, 04.05.1970
статьи Н.В. Петри "Complexity of algorithms and their operation time".
Реферат, 26.02.1970
статьи Е. Орловской "Automatic theorem proving in a certain class of formulae of predicate calculus".
Реферат, 26.06.1970
статьи Dapp K. "Uber die Homogenisierbarkeit von Rechenprogrammen".
Реферат, 18.05.1971
статьи П.Я. Даниленко и В.В. Уманского "A certain algorithm for optimal choice of logical operations in the design of digital systems".
Реферат, 24.08.1961
статьи А.М. Богомолова "Две логические схемы компарационного метода кодообразования"; в сб. "Научно-техническая конференция молодых специалистов Всесоюзного НИИ гидротехники", М.-Л., Госэнергоиздат, 1959, стр. 88-91.
Рецензия, 27.06.1983
на учебное пособие В.Н. Касьянова "Методы оптимизации программ".
Замечания, А.П. Ершов->В. А. Евстигнеев, 26.08.1981
сделанные при чтении рукописи В.А. Евстигнеева "Теория графов в программировании".
Рецензия, 08.04.1986
на книгу "Решение задач на ЭППЛовском Паскале". /Рукописный и машинописный варианты./
Рецензия, 21.01.1965
на статью В.Л. Эпштейна "О применении теории графов для описания и анализа потоков информации в управляющих системах". Заключение - публикация статьи в каком бы то ни было научном журнале нецелесообразна.

1 2 3 4 5
По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016