Вы здесь

Издания

Вид Название Год Том Автор Редакторы Колл. автор Источник Дата поступления Количество экземпляров На руках
А Неразрешимость проблемы полноты в теории автоматов 1964 Кратко М. И. 06.05.1964 Доступно
1 из 1
Выдать
М Признаки делимости 1963 Воробьев Н.Н. 24.03.1964 Доступно
1 из 1
Выдать
М Что такое расстояние? 1963 Шрейдер Ю. А. 21.03.1964 Доступно
1 из 1
Выдать
СБ Mathematical Theory of Automata/ Proc. of the Symposium, New York, April, 1962 1962 XII 29.11.1963 Доступно
1 из 1
Выдать
А Выполнение некоторых видов аналитических (буквенных) выкладок на электронных вычислительных машинах 1963 Петрова Л. Т. 20.11.1963 Доступно
1 из 1
Выдать
М Простая гамма. Устройство музыкальной школы 1963 Шилов Г.Е. 06.11.1963 Доступно
1 из 1
Выдать
А О некоторых методах анализа операторных схем 1963 Мартынюк В. В. 06.06.1963 Доступно
1 из 1
Выдать
СБ Symbolic Languages in Data Processing/ Proc. of the Symposium organized by the International Computation Centre, Rome, March, 1962 1962 20.04.1963 Доступно
1 из 1
Выдать
А О некоторых алгебраических вопросах, связанных с программированием 1963 Глебов Н. И. 19.03.1963 Доступно
1 из 1
Выдать
СБ Annual Review in Automatic Programming, Vol. 3 1963
  1. Goodman R.
11.03.1963 Доступно
1 из 1
Выдать
СБ Annual Review in Automatic Programming, Vol. 2 1961
  1. Goodman R.
30.11.1962 Доступно
1 из 1
Выдать
А О логических структурах и математическом обслуживании малых цифровых автоматических машин 1963 Жоголев Е. А. 18.11.1962 Доступно
1 из 1
Выдать
А Методика построения систем испытательных программ для электронных цифровых машин 1962 Миронов Г. А. 26.10.1962 Доступно
1 из 1
Выдать
СБ Annual Review in Automatic Programming, Vol. 1/ Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, April 1959 1960
  1. Goodman R.
30.11.1961 Доступно
1 из 1
Выдать
СТ On languages generated by same types of algorithms 1961 Culik K. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ Автоматическое программирование вычислений и анализ линейных электрических сетей при помощи физических графов 1961 Возняцкий Г. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ Communication Automatic Programming of Computation and Analysis of Electrical Network by means of Physical Graphs 1961 Wozniacki H. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ Arithmetic Formulae and the use of Subroutines in SAKO 1961 Mazurkiewicz A. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ Symbolic Modificators' Code 1961 Greniewski M. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ A Contribution to the Translation of Arithmetical Operators (Assignment Statemants) into the Machine Language of the Computer M-3 1961 Kalmar L. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ SAKO - An Automatic Coding System 1961 Lukaszewicz L. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ Subroutines in SAKO 1961 Ssoro P. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ SAKO - Система автоматического кодирования 1961 Лукашевич Л. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ Арифметические формулы и употребление подпрограмм в SAKO 1961 Мазуркевич А. В. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ Translation of Arithmetic Formulae 1961 Borowiec J. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ SAKO - Translation 1961 Swianiewicz J., Sawicki S. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ Трансляция SAKO 1961 Свяневич М., Савицкий С. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СТ Входной язык системы автоматизации программирования 1961 Ершов А. П., Кожухин Г. И., Волошин Ю. М. Conference of Automatic Programming Methods 30.11.1961 Доступно
1 из 1
Выдать
СБ Рабочая конференция по методам автоматического программирования. Conference of Automatic Programming Methods (Программа и доклады на русском и английском языках) 1961 30.11.1961 Доступно
1 из 1
Выдать
М Библиография по автоматическому программированию 1961 Волошин Ю. М.
  1. Ершов А. П.
ИМ СО АН СССР 02.09.1961 Доступно
1 из 1
Выдать
М Программирование для цифровых вычислительных машин 1960 Мак-Кпакен Д. Д.
  1. Курочкин В. М.
15.05.1961 Доступно
1 из 1
Выдать
М Программирование для электронной цифровой машины М-20 (Учебное пособие) 1960 13.04.1961 Доступно
1 из 1
Выдать
А Об упрощении дизъюнктивных нормальных форм 1960 Журавлев Ю. И. 29.10.1960 Доступно
1 из 1
Выдать
М Алгоритмы и машинное решение задач 1960 Трахтенброт Б. А. 24.08.1960 Доступно
1 из 1
Выдать
А Способ стабилизации и улучшения качества динамических систем с помощью нелинейных корректирующих устройств типа "ключ" 1958 Емельянов С. В. 20.03.1958 Доступно
1 из 1
Выдать
А Метод сеток для одной системы уравнений в частных производных 1957 Лебедев В. Н. 08.09.1957 Доступно
1 из 1
Выдать
А О некоторых задачах динамики полёта к Луне 1957 Егоров В.А. 09.06.1957 Доступно
1 из 1
Выдать
М Краткий курс математических машин. Часть 1: Малые счётные машины и математические приборы (Учебное пособие) 1952 Делоне Б. Н. 23.08.1955 Доступно
1 из 1
Выдать