|
М |
Обобщённые функции и действия над ними |
1958 |
|
Гельфанд И. М., Шилов Г.Е. |
|
|
|
05.08.1959 |
Доступно
1 из 1
Выдать |
|
|
М |
Введение в теорию случайных процессов |
1958 |
|
Бартлетт М. С. |
|
|
|
18.08.1959 |
Доступно
1 из 1
Выдать |
|
|
М |
Собрание сочинений. Том II: Дескриптивная теория множеств |
1958 |
|
Лузин Н. Н. |
|
АН СССР |
|
19.08.1959 |
Доступно
1 из 1
Выдать |
|
|
М |
Учебник английского языка для 2-го курса педагогических институтов и факультетов иностранных языков |
1958 |
|
Гальперин И. Р., Бараблина Т. А., Калантарова Л. К., Наер В. Л., Петриковская Н. А., Черкасская Е. Б. |
|
|
|
09.09.1959 |
Доступно
1 из 1
Выдать |
|
|
М |
Сообщение об алгоритмическом языке АЛГОЛ 60 |
1960 |
|
|
|
ВЦ АН СССР |
|
25.05.1960 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Линейные неравенства и смежные вопросы |
1959 |
|
|
|
|
|
13.06.1960 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Логика |
1956 |
|
|
- Горский Д. П.
|
Институт философии АН СССР |
|
14.06.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Алгебра. Часть вторая. Учебник для 8-10 классов средней школы. Издание 33 |
1956 |
|
Киселев А. П. |
|
|
|
14.06.1960 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Современная математика для инженеров |
1958 |
|
|
|
|
|
15.06.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Основы теоретической логики |
1947 |
|
Гильберт Д., Аккерман В. |
|
|
|
21.06.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Интеграл Лебега-Стилтьеса |
1959 |
|
Камке Э. |
|
|
|
02.08.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Функциональный анализ в нормированных пространствах |
1959 |
|
Канторович Л. В., Акилов Г. П. |
|
|
|
09.08.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Вариационные методы в математической физике |
1957 |
|
Михлин С. Г. |
|
|
|
10.08.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Теория игр и статистических решений |
1958 |
|
Блекуэлл Д., Гиршик М. А. |
|
|
|
10.08.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Алгоритмы и машинное решение задач |
1960 |
|
Трахтенброт Б. А. |
|
|
|
24.08.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Лексикология современного английского языка |
1959 |
|
Арнольд И. В. |
|
|
|
30.08.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Введение в дескриптивную лингвистику |
1959 |
|
Глисон Г. |
|
|
|
09.09.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Пособие по развитию навыков устной речи |
1959 |
|
Головчинская Л. С., Брандукова М. А., Новикова Л. А. |
|
|
|
09.09.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Английская пунктуация |
1959 |
|
Кобрина Н. А., Малаховский Л. В. |
|
|
|
12.09.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Равносильные преобразования логических схем (В Сборнике научных трудов, № 4) |
1959 |
|
Криницкий Н. А. |
|
МО СССР |
|
21.10.1960 |
Доступно
1 из 1
Выдать |
|
|
А |
Об упрощении дизъюнктивных нормальных форм |
1960 |
|
Журавлев Ю. И. |
|
|
|
29.10.1960 |
Доступно
1 из 1
Выдать |
|
|
М |
Программирование для электронной цифровой машины М-20 (Учебное пособие) |
1960 |
|
|
|
|
|
13.04.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Входной язык системы автоматического программирования (предварительное сообщение) |
1961 |
|
Ершов А. П., Кожухин Г. И., Волошин Ю. М. |
|
ИМ СО АН СССР |
|
11.05.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Программирование для цифровых вычислительных машин |
1960 |
|
Мак-Кпакен Д. Д. |
- Курочкин В. М.
|
|
|
15.05.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Математическая логика |
1961 |
|
Гудстейн Р. Л. |
|
|
|
25.05.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Теория чисел |
1960 |
|
Бухштаб А. А. |
|
|
|
06.06.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Введение в дифференциальную алгебру |
1959 |
|
Капланский И. |
|
|
|
07.06.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Гомологическая алгебра |
1960 |
|
Картан А., Эйленберг С. |
|
|
|
08.06.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Прямая и обратная теоремы |
1959 |
|
Градштейн И. С. |
|
|
|
14.06.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Геометрия помогает арифметике |
1960 |
|
Островский А. И., Кордемский Б. А. |
|
|
|
14.06.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Философские проблемы многозначной логики |
1960 |
|
Зиновьев А. А. |
|
Институт философии АН СССР |
|
20.06.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Об измерении величин |
1960 |
|
Лебег А. |
|
|
|
24.06.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Аналитическая геометрия. Т. 2. |
1949 |
|
Делоне Б. Н., Райков Д. А. |
|
|
|
05.07.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Математическая статистика |
1960 |
|
ван дер Варден Б. Л. |
|
|
|
01.08.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Пространства основных и обобщённых функций |
1958 |
|
Гельфанд И. М., Шилов Г.Е. |
|
|
|
08.08.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Собрание сочинений. Том III: Работы по различным вопросам математики |
1959 |
|
Лузин Н. Н. |
|
АН СССР |
|
09.08.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Метод статистических испытаний |
1961 |
|
Бусленко Н. П., Шрейдер Ю. А. |
|
|
|
02.09.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Библиография по автоматическому программированию |
1961 |
|
Волошин Ю. М. |
- Ершов А. П.
|
ИМ СО АН СССР |
|
02.09.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Пособие по переводу с английского языка на русский |
1960 |
|
Комиссаров В. Н., Рецкер Я. И., Тархов В. И. |
|
|
|
11.09.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Упражнения по грамматике современного английского языка |
1960 |
|
Крутиков Ю. А., Кузьмина И. С., Рабинович Х. В. |
|
|
|
11.09.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Выбор слов |
1960 |
|
Коллинз В. Г. |
|
|
|
11.09.1961 |
Доступно
1 из 1
Выдать |
|
|
М |
Обыкновенные дифференциальные уравнения |
1961 |
|
Понтрягин Л. С. |
|
|
|
10.10.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
Выдать |
|
|
СТ |
Subroutines in SAKO |
1961 |
|
Ssoro P. |
|
|
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
Выдать |
|
|
СТ |
Трансляция SAKO |
1961 |
|
Свяневич М., Савицкий С. |
|
|
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
Выдать |
|
