Наука программирования: пер. с англ.

Наука программирования: пер. с англ.

Chi tiết về thư mục
Tác giả chính:	Грис Д. Дэвид
Ngôn ngữ:	Tiếng Nga
Được phát hành:	Москва, Мир, 1984
Những chủ đề:	программирование цифровые вычислительные машины высказывания предикаты языки семантика программы построение
Định dạng:	Sách
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=68125

Những quyển sách tương tự

Содержательная семантика модальной логики
Bằng: Ивлев Ю. В. Юрий Васильевич
Được phát hành: (Москва, Изд-во МГУ, 1985)

Конструирование компиляторов для цифровых вычислительных машин: пер. с английского
Bằng: Грис Д. Дэвид
Được phát hành: (Москва, Мир, 1975)

Дисциплина программирования: пер. с англ.
Bằng: Дейкстра Э. В.
Được phát hành: (Москва, Мир, 1978)

Введение в математическую логику: пер. с англ.
Bằng: Мендельсон Э. Эллиот
Được phát hành: (Москва, Наука, 1984)

Введение в математическую логику: пер. с англ.
Bằng: Мендельсон Э. Эллиот
Được phát hành: (Москва, Наука, 1976)

Дискретная математика: учебник для вузов
Bằng: Соболева Т. С. Татьяна Сергеевна
Được phát hành: (Москва, Академия, 2006)

Т. 1: Основные алгоритмы; Искусство программирования для ЭВМ
Được phát hành: (1976)

Т. 2: Получисленные алгоритмы; Искусство программирования для ЭВМ
Được phát hành: (1977)

Введение в метаматематику: пер. с англ.
Bằng: Клини С. К. Стефен К.
Được phát hành: (Москва, Изд-во иностранной литературы, 1957)

Т. 3: Сортировка и поиск; Искусство программирования для ЭВМ
Được phát hành: (1978)

Программирование на фортране: Фортран 66 и Фортран 77: пер. с англ.
Bằng: Колдербэнк В. Д. Валери
Được phát hành: (Москва, Радио и связь, 1986)

Математическая логика: учебное пособие
Bằng: Лавров И. А. Игорь Андреевич
Được phát hành: (Москва, Академия, 2006)

Операционные системы: Прагматический подход: пер. с англ.
Bằng: Катцан Г. Гарри
Được phát hành: (Москва, Мир, 1976)

Языки программирования: разработка и реализация; пер. с англ.
Bằng: Пратт Т. У. Теренс У.
Được phát hành: (Москва, Мир, 1979)

Форматы файлов Windows: пер. с англ.
Bằng: Сван Т. Том
Được phát hành: (Москва, Бином, 1995)

Основы программирования на Алголе
Bằng: Абрамов С. А. Сергей Александрович
Được phát hành: (Москва, Наука, 1982)

Т. 6; Вычислительные науки
Được phát hành: (1991)

Т. 4; Вычислительные науки
Được phát hành: (1990)

Дискретная математика: учебник для вузов
Bằng: Соболева Т. С. Татьяна Сергеевна
Được phát hành: (Москва, Академия, 2014)

Характеристики качества программного обеспечения: пер. с англ.
Được phát hành: (Москва, Мир, 1981)

Практическое руководство по программированию: пер. с англ.
Được phát hành: (Москва, Радио и связь, 1986)

Методы рекурсивного программирования
Bằng: Бердж В. Вильям
Được phát hành: (Москва, Машиностроение, 1983)

Концептуальное программирование
Bằng: Тыугу Э. Х. Энн Харальдович
Được phát hành: (Москва, Наука, 1984)

Логические основы цифровых машин и программирования: учебное пособие для вузов
Bằng: Папернов А. А. Абрам Александрович
Được phát hành: (Москва, Наука, 1968)

Программа, понимающая естественный язык: пер. с англ.
Bằng: Виноград Т. Терри
Được phát hành: (Москва, Мир, 1976)

Элементы математической логики
Bằng: Марков А. А. Андрей Андреевич
Được phát hành: (Москва, Изд-во МГУ, 1984)

Обработка данных, построение трансляторов, вопросы программирования: сборник статей
Được phát hành: (Таллин, Изд-во ТПИ, 1983)

Математическая логика учебно-методическое пособие по укрупненной группе специальностей и направлений подготовки 44.03.05 – педагогическое образование с двумя профилями подготовки (профили: «математика и физика», «математика и информатика»)
Bằng: Друшляк А. И.
Được phát hành: (Севастополь, СевГУ, 2024)

Элементы математической логики
Bằng: Новиков П. С. Петр Сергеевич
Được phát hành: (Москва, Наука, 1973)

Правила программирования С and С+: пер. с англ.
Bằng: Голуб А. И. Ален И.
Được phát hành: (Москва, Бином, 1996)

Лекции по математической логике: учебное пособие
Bằng: Мощенский В. А. Владимир Андреевич
Được phát hành: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Программирование на стандартном КОБОЛе: перевод с анлийского
Bằng: Маджинис Дж.
Được phát hành: (Москва, Мир, 1979)

Основы программирования: учебное пособие
Bằng: Ашинянц Р. А.
Được phát hành: (Москва, Изд-во ВЗМИ, 1988)

Программирование на языке Пролог
Bằng: Клоксин У. Уильям
Được phát hành: (Москва, Мир, 1987)

Искусство тестирования программ: пер. с англ.
Bằng: Майерс Г. Гленфорд Дж
Được phát hành: (Москва, Финансы и статистика, 1982)

Справочник пользователя аналоговых и аналого-цифровых вычислительных систем
Bằng: Шор И. Я. Илья Яковлевич
Được phát hành: (Кишинев, Штиинца, 1986)

Универсальные языки программирования. Семантический подход
Bằng: Калинин А. Г. Андрей Геннадьевич
Được phát hành: (Москва, Радио и связь, 1991)

Вып. 120 : Логические методы в программировании; Вычислительные системы
Được phát hành: (1987)

Сборник задач по программированию на алгоритмических языках: учебное пособие для втузов
Bằng: Бухтияров А. М. Алексей Михайлович
Được phát hành: (Москва, Наука, 1978)

Сборник задач по программированию на алгоритмических языках: учебное пособие для втузов
Bằng: Бухтияров А. М. Алексей Михайлович
Được phát hành: (Москва, Наука, 1974)