Теория схем программ

Теория схем программ

Bibliographic Details
Main Author:	Котов В. Е. Вадим Евгеньевич
Other Authors:	Сабельфельд В. К. Виктор Карлович
Language:	Russian
Published:	Москва, Наука, 1991
Subjects:	ЭВМ программы блок-схемы программирование языки программирования
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=60344

Similar Items

Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ - 6
by: Вельбицкий И. В. Игорь Вячеславович
Published: (Москва, Статистика, 1980)

Программирование на языке БЕЙСИК: пер. с англ.
by: Уорт Т. Томас
Published: (Москва, Машиностроение, 1981)

Программирование для математиков: учебное пособие
by: Кушниренко А. Г. Анатолий Георгиевич
Published: (Москва, Наука, 1988)

Основы информатики и вычислительной техники: пробное учебное пособие
Published: (Свердловск, Изд-во Урал. ун-та, 1989)

Программирование на языке ассемблера для микроЭВМ: пер. с англ.
by: Элфринг Г .Ч. Гэри Чарлз
Published: (Москва, Радио и связь, 1987)

Использование Турбо - Пролога: пер. с англ.
by: Ин Цин Маун Цин Маун
Published: (Москва, Мир, 1993)

Работаем на языке Си
by: Потоцкий В. К. Виталий Константинович
Published: (Москва, Малип, 1992)

Использование абстракций и спецификаций при разработке программ: пер. с англ.
by: Лисков Б. Барбара
Published: (Москва, Мир, 1989)

Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции
by: Трахтенгерц Э. А. Эдуард Анатольевич
Published: (Москва, Наука, 1981)

C++ изнутри: пер. с англ.
by: Вайнер Р. Ричард
Published: (Киев, ДиаСофт, 1993)

Программирование, отладка и решение задач на ЭВМ единой серии. Язык Фортран: учебное пособие
Published: (Ленинград, Энергоатомиздат, 1988)

Справочник по программированию на языке Бейсик для профессиональных ЭВМ
Published: (Москва, Машиностроение, 1992)

Доказательство правильности программ: пер. с англ.
by: Андерсон Р. Роберт
Published: (Москва, Мир, 1982)

Программирование, отладка и решение задач на ЭВМ единой серии. Язык ПЛ/1: учебное пособие
Published: (Ленинград, Энергоатомиздат, 1989)

Язык Ассемблера для IBM PC и программирования: пер. с англ.
by: Абель П. Питер
Published: (Москва, Высшая школа, 1992)

Введение в теорию схем программ
by: Котов В. Е. Вадим Евгеньевич
Published: (Новосибирск, Наука, 1978)

C++ под рукой: пер. с англ.
by: Лукас П. Пол
Published: (Киев, ДиаСофт, 1993)

Как не надо программировать на C++: 111 нерабочих и 3 рабочих программы, или Почему 2+2= 5986: пер. с англ.
by: Уэллин С. Стив
Published: (СПб., Питер, 2004)

Алгоритм определения пути в BPEL-процессе; Современные техника и технологии; Т. 2
by: Озерова И. Г. Ирина Геннадьевна
Published: (2007)

Применение персональных ЭВМ и программирование на языке Бейсик
by: Дьяконов В. П. Владимир Павлович
Published: (Москва, Радио и связь, 1989)

Компилятор языка Си для микроЭВМ: пер. с англ.
by: Хендрикс Д. Джеймс
Published: (Москва, Радио и связь, 1989)

Язык Си. Введение для программистов: пер. с англ.
by: Берри Р. Роберт
Published: (Москва, Финансы и статистика, 1988)

Программирование на языках Си и Си+: учебное пособие
by: Скляров В. А. Валерий Анатольевич
Published: (Москва, Высшая школа, 1999)

Повышение качества программ на основе автоматизированных методов
by: Саркисян А. А. Анушаван Артаваздович
Published: (Москва, Радио и связь, 1991)

Мобильность программ и особенности реализаций языка Си
by: Стариков Ю. А.
Published: (Москва, Память, 1992)

PDP-11 и VAX-11; Архитектура ЭВМ и программирование на языке ассемблера: пер. с англ.
by: Лин В. Вэн
Published: (Москва, Радио и связь, 1989)

Векторизация программ: теория, методы, реализация: пер. с англ., нем.
Published: (Москва, Мир, 1991)

Программирование на языке фортран
by: Салтыков А. И. Альберт Иванович
Published: (Москва, Наука, 1976)

Программирование на ПЛ/ОС ЕС
Published: (Москва, Статистика, 1979)

Программирование в среде Си для ПЭВМ ЕС
by: Романовская Л. М. Лорина Михайловна
Published: (Москва, Финансы и статистика, 1992)

Практикум по программированию на языке Бейсик: учебное пособие
by: Светозарова Г. И. Галина Ивановна
Published: (Москва, Наука, 1988)

Программирование микропроцессора 8088: пер. с англ.
by: Дао Л. Ленни
Published: (Москва, Мир, 1988)

Теория и практика С+: пер. с англ.
by: Шилдт Г. Герберт
Published: (Санкт-Петербург, BHV-Санкт-Петербург, 1996)

Прикладные методы верификации программ
by: Непомнящий В. А. Валерий Александрович
Published: (Москва, Радио и связь, 1988 )

Алгоритмический язык: задачи и решения: учебное пособие
by: Ускова О. Ф. Ольга Федоровна
Published: (Воронеж, Изд-во Воронеж. ун-та, 1989)

Системы производства программ
by: Чернаков Э. П.
Published: (Ленинград, Изд-во ВИКИ, 1979)

Ассемблерный препроцессор SALUT_TK; Схемотехника; № 11
by: Коровин А.
Published: (2004)

Введение в систему программирования ОС РВ/В
by: Бирюков В. В. Виктор Васильевич
Published: (Москва, Финансы и статистика, 1986)

Программирование на алгоритмическом языке Паскаль для микроЭВМ: учебное пособие
by: Бутомо И. Д. Игорь Дмитриевич
Published: (Ленинград, Изд-во ЛГУ, 1985)

Кн. 1; Архитектура и программирование микро-ЭВМ
Published: (1984)