Вычислительные методы и программирование : сборник работ Факультета вычислительной математики и кибернетики МГУ. Вып. 38 : Численные методы в механике сплошных сред / под ред. В. М. Пасконова, Г. С. Рослякова. - М. : МГУ, 1983. - 184 с. : ил. - Книги и методические пособия.

Шифры: 518 - В94

Экземпляры: Всего: 1, из них: аб-1

Абрамов С. А.
Элементы программирования / С. А. Абрамов. - М. : Наука, 1982. - 94 с. - Книги и методические пособия.

Шифры: 681.3 - А16

Экземпляры: Всего: 1, из них: аб-1

Лингер, Р.
Теория и практика структурного программирования / Р. Лингер ; пер. с англ. - М. : Мир, 1982. - 406 с. - Книги и методические пособия.

Шифры: 681.3 - Л59

Экземпляры: Всего: 33, из них: аб-33

Гласс Р.
Руководство по надежному программированию / Р. Гласс ; пер. с англ. - М. : Финансы и статистика, 1982. - 256 с. - Книги и методические пособия.

Шифры: 681.3 - Г 52

Экземпляры: Всего: 4, из них: аб-4

Разработка пакетов прикладных программ : сборник статей / отв. ред.: В. М. Матросов, О. Г. Диваков. - Новосибирск : Наука, 1982. - 248 с. : ил. - Книги и методические пособия.

Шифры: 681.3 - Р17

Экземпляры: Всего: 3, из них: аб-3

Риндфлайш, Д.
Отладка программ в системах 360/370 на основе дампов памяти операционной системы / Д. Риндфлайш ; пер. с англ. Н. М. Сауха ; под ред. А. Е. Костина. - М. : Машиностроение, 1982. - 143 с. - Книги и методические пособия.

Шифры: 681.3 - Р51

Экземпляры: Всего: 2, из них: аб-2

Мейер, Б.
Методы программирования : в 2 т. Т. 2 / Б. Мейер, К. Бодэун ; пер. с фр. Ю. А. Первина ; под ред. А. П. Ершова. - М. : Мир, 1982. - 368 с. : ил. - Книги и методические пособия.

Шифры: 681.3 - М45

Экземпляры: Всего: 9, из них: аб-8, абнк-1

Мейер, Б.
Методы программирования : в 2 т. Т. 1 / Б. Мейер, К. Бодуэн ; пер. с фр. Ю. А. Первина ; под ред. А. П. Ершова. - М. : Мир, 1982. - 356 с. : ил. - Книги и методические пособия.

Шифры: 681.3 - М45

Экземпляры: Всего: 8, из них: аб-7, абнк-1

Андерсон Р.
Доказательство правильности программ / Р. Андерсон ; пер. с англ. ; под ред. Д. Б. Подшивалова. - М. : Мир, 1982. - 164 с. - Книги и методические пособия.

Шифры: 681.3 - А65

Экземпляры: Всего: 1, из них: аб-1

Хромов, В. И.
Введение в программирование для систем телеобработки данных / В. И. Хромов, С. А. Ульянов. - М. : Финансы и статистика, 1982. - 176 с. : ил. - Книги и методические пособия.

Шифры: 681.3 - Х94

Экземпляры: Всего: 2, из них: аб-2

Характеристики качества программного обеспечения / Б. Боэм [и др.] ; пер. с англ. Е. К. Масловского. - М. : Мир, 1981. - 206 с. - Книги и методические пособия.

Шифры: 681.3 - Х20

Экземпляры: Всего: 10, из них: аб-10

Вильдфлуш, О. А.
Устройства инвариантного преобразования изображений для ЭВМ : дисс. на соиск. учёной степени канд. техн. наук : 05.13.05 / О. А. Вильдфлуш. - Мн. : МРТИ, 1981. - 227 с. - Диссертации и авторефераты диссертаций.

Шифры: 681.3 - В46

Экземпляры: Всего: 1, из них: чз науч-1

Ван Тассел Д.
Стиль, разработка, эффективность, отладка и испытание программ / Ван Тассел Д. ; пер. с англ. Е. К. Масловского, В. А. Прониной ; под ред. Э. А. Трахтенгерца. - М. : Мир, 1981. - 319 с. : ил. - Книги и методические пособия.

Шифры: 681.3 - В17

Экземпляры: Всего: 4, из них: аб-4

Зайцева, Ж. Н.
Программирование в ОС ЕС на базе языка Ассемблера / Ж. Н. Зайцева. - М. : Финансы и статистика, 1981. - 319 с. - Книги и методические пособия.

Шифры: 681.3 - З-17

Экземпляры: Всего: 8, из них: аб-7, абнк-1

Холстед, М. Х.
Начала науки о программах / М. Х. Холстед ; пер. с англ. В. М. Юфы. - М. : Финансы и статистика, 1981. - 128 с. : граф. - Книги и методические пособия.

Шифры: 681.3 - Х73

Экземпляры: Всего: 3, из них: аб-3

Дисциплина: Метрология, стандартизация и сертификация (в информационных технологиях)

Тейер, Т.
Надёжность программного обеспечения / Т. Тейер ; пер. с англ. - М. : Мир, 1981. - 323 с. - Книги и методические пособия.

Шифры: 681.3 - Т29

Экземпляры: Всего: 14, из них: аб-14

Гантер, Р.
Методы управления проектированием программного обеспечения / Р. Гантер ; пер. с англ. ; пер. с англ. под ред. Е. К. Масловского. - М. : Мир, 1981. - 388 с. : ил. - Книги и методические пособия.

Шифры: 681.3 - Г19

Экземпляры: Всего: 7, из них: аб-7

Хьюз, Ч. Е.
Методы программирования: курс на основе Фортрана / Ч. Е. Хьюз, Ч. Пфлигер, Л. Роуз ; пер. с англ. Ю. В. Ступина ; под ред. Ю. М. Баяковского. - М. : Мир, 1981. - 331 с. - (Материальное обеспечение ЭВМ). - Книги и методические пособия.

Шифры: 681.3 - Х98

Экземпляры: Всего: 6, из них: аб-6

Методы параллельного микропрограммирования / П. А. Анишев [и др.] ; под ред. О. Л. Бандман. - Новосибирск : Наука, 1981. - 180 с. : ил. - Книги и методические пособия.

Шифры: 681.3 - М54

Экземпляры: Всего: 4, из них: аб-4

Турский, В. М.
Методология программирования / В. М. Турский ; пер. с англ. Н. А. Черемных, И. В. Шитовой ; под ред. А. П. Ершова. - М. : Мир, 1981. - 265 с. : ил. - (Математическое обеспечение ЭВМ). - Книги и методические пособия.

Шифры: 681.3 - Т88

Экземпляры: Всего: 2, из них: аб-2