«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
«Математическое обеспечение ЭВМ» (серия)

«Математическое обеспечение ЭВМ» 2.4M

-

(1974)

  ◄  СМЕНИТЬ  ►  |▼ О СТРАНИЦЕ ▼
▼ ОЦИФРОВЩИКИ ▼|  ◄  СМЕНИТЬ  ►  
Серия книг издательств «Мир» и «Финансы и статистика».
:
Dmitry7, Hephaestus Hephaestus, pohorsky, qulinxao, Валерий Киселев, Ильгиз Каримов, Михаил...


* Algoritmicheskiy_yazyk_Algol_60.(1982).[djv-fax].zip
* Barron_D.__Assemblery_i_zagruzchiki.(1974).[djv-fax].zip
* Barron_D.__Rekursivnye_metody_v_programmirovanii.(1974).[djv-fax].zip
* Barron_D.__Vvedenie_v_yazyki_programmirovaniya.(1980).[djv-fax].zip
* Baurn_S.__Operacionnaya_sistema_UNIX.(1986).[djv-fax].zip
* Berri_R...__Yazyk_SI.(1988).[djv-fax].zip
* Brauh_V.__Programmirovanie_v_Fortrane_77_dlya_injenerov.(1987).[djv-fax].zip
* Braun_P.Dj.__Vvedenie_v_operacionnuyu_sistemu_UNIX.(1987).[djv-fax].zip
* Braun_P.Dj.__Vvedenie_v_operacionnuyu_sistemu_UNIX.(1987).[pdf].zip
* Dal_U...__Strukturnoe_programmirovanie.(1975).[djv-fax].zip
* Dannye_v_yazykah_programmirovaniya._Sb.(1982).[djv-fax].zip
* Dannye_v_yazykah_programmirovaniya._Sb.(1982).[pdf].zip
* Dening_V...__Dialogovye_sistemy_''chelovek-EVM''.(1984).[djv-fax].zip
* Deykstra_E.__Disciplina_programmirovaniya.(1978).[djv-fax].zip
* Djadd_D.R.__Rabota_s_faylami.(1975).[djv-fax].zip
* Erbs_H.-E...__Vvedenie_v_programmirovanie_na_yazyke_Paskal'.(1989).[djv-fax].zip
* Eshli_R...__Yazyk_upravleniya_zadaniyami.(1981).[djv-fax].zip
* Foks_Dj.__Programmnoe_obespechenie_i_ego_razrabotka.(1985).[fb2-ocr].zip
* Foks_Dj.__Programmnoe_obespechenie_i_ego_razrabotka.(1985).[rtf-ocr].zip
* Foster_Dj.__Avtomaticheskiy_sintaksicheskiy_analiz.(1975).[djv-fax].zip
* Foster_Dj.__Obrabotka_spiskov.(1974).[pdf].zip
* Grisuold_R...__Yazyk_programmirovaniya_Snobol-4.(1980).[djv-fax].zip
* Grogono_P.__Programmirovanie_na_yazyki_Paskal'.(1982).[djv-fax].zip
* Grund_F.__Programmirovanie_na_yazyke_Fortran_IV.(1976).[djv-fax].zip
* H'yuz_Ch...__Metody_programmirovaniya.(1981).[djv-fax].zip
* Hambi_E.__Programmirovanie_tablic_resheniy.(1976).[djv-fax].zip
* Henderson_P.__Funkcional'noe_programmirovanie.(1983).[djv-fax].zip
* Henli_Dj.__Avtomaticheskaya_biblioteka_i_informacionnye_sistemy.(1974).[djv-fax].zip
* Higman_B.__Sravnitel'noe_izuchenie_yazykov_programmirovaniya.(1974).[djv-fax].zip
* Holl_P.__Vychislitel'nye_struktury.(1978).[djv-fax].zip
* Katcan_G.__Yazyk_Fortran_77.(1982).[djv-fax].zip
* Kempbel-Kelli_M.__Vvedenie_v_makrosy.(1978).[djv-fax].zip
* Keylingert_P.__Elementy_operacionnyh_sistem.(1985).[djv-fax].zip
* Keylingert_P.__Elementy_operacionnyh_sistem.(1985).[pdf-fax].zip
* Kloksin_U...__Programmirovanie_na_yazyke_Prolog.(1987).[djv-fax].zip
* Kolin_A.__Vvedenie_v_operacionnye_sistemy.(1975).[djv-fax].zip
* Kristian_K.__Rukovodstvo_po_programmirovaniyu_na_yazyke_Modula-2.(1989).[djv-fax].zip
* Logicheskoe_programmirovanie._Sb.(1988).[djv-fax].zip
* Matematicheskaya_logika_v_programmirovanii._Sb.(1991).[djv-fax].zip
* Maurer_U.__Vvedenie_v_programmirovanie_na_yazyke_LISP.(1976).[djv-fax].zip
* Metkalf_M...__Opisanie_yazyka_programmirovaniya_Fortran_90.(1995).[djv-fax].zip
* Metkalf_M.__Optimizaciya_v_Fortrane.(1985).[djv-fax].zip
* Ollongren_A.__Opredelenie_yazykov_programmirovaniya_.(1977).[djv-fax].zip
* Peresmotrennoe_soobschenie_ob_Algole_68.(1979).[djv-fax].zip
* Peygan_F.__Prakticheskoe_rukovodstvo_po_Algolu_68.(1979).[djv-fax].zip
* Singer_M.__Mini-EVM_PDP-11.(1984).[djv-fax].zip
* Spivak_M.__Voshititel'nyy_TeX.(1993).[djv-fax].zip
* Trebovaniya_i_specifikacii_v_razrabotke_programm._Sb.(1984).[djv-fax].zip
* Turskiy_V.__Metodologiya_programmirovaniya.(1981).[djv-fax].zip
* Vayngarten_F.__Translyaciya_yazykov_programmirovaniya.(1977).[djv-fax].zip
* Vegner_P.__Programmirovanie_na_yazyke_Ada.(1983).[djv-fax].zip
* Vektorizaciya_programm._Sb.(1991).[djv-fax].zip
* Virt_N.__Algoritmy+struktury_dannyh=programmy.(1985).[djv-fax].zip
* Virt_N.__Algoritmy+struktury_dannyh=programmy.(1985).[pdf].zip
* Virt_N.__Programmirovanie_na_yazyke_Modula-2.(1987).[djv-fax].zip
* Virt_N.__Sistematicheskoe_programmirovanie._Vvedenie.(1977).[djv-fax].zip
* Yensen_K...__Paskal'.(1989).[djv-fax].zip

* Алгоритмический язык Алгол 60: Модифицированное сообщение. (1982)
* Баррон Д. Ассемблеры и загрузчики. (1974)
* Баррон Д. Введение в языки программирования. (1980)
* Баррон Д. Рекурсивные методы в программировании. (1974)
* Баурн С. Операционная система UNIX. (1986)
* Берри Р., Микинз Б. Языки Си: Введение для программистов. (1988)
* Браун П.Дж. Введение в операционную систему UNIX. (1987)
* Браун П.Дж. Макропроцессоры и мобильность программного обеспечения. (1977)
* Браух В. Программирование на Фортране 77 для инженеров. (1987)
* Вайнгартен Ф.У. Трансляция языков программирования. (1977)
* Вегнер П. Программирование на языке АДА. (1983)
* Векторизация программ: теория, методы, реализация. Сборник статей. (1991)
* Вирт Н. Алгоритмы + структуры данных - программы. (1985)
* Вирт Н. Программирование на языке модула-2. (1987)
* Вирт Н. Систематическое программирование. Введение. (1977)
* Грисуолд Р., Поудж Дж., Полонски И. Язык программирования Снобол-4. (1980)
* Грогоно П. Программирование на языке Паскаль. (1982)
* Грунд Ф. Программирование на языке Фортран IV. (1976)
* Дал У.И., Дейкстра Э., Хоор К. Структурное программирование. (1975)
* Данные в языках программирования: Абстракция и типология. (1982) Сборник
* Дейкстра Э.В. Дисциплина программирования. (1978)
* Денинг В., Эссиг Г., Маас С. Диалоговые системы «Человек - ЭВМ»: Адаптация к требованиям пользователя. (1984)
* Джадд Д.Р. Работа с файлами. (1975)
* Йенсен К., Вирт Н. Паскаль: руководство для пользователя. (1989)
* Катцан Г., мл. Язык Фортран 77. (1982)
* Кейлингерт П. Элементы операционных систем: введение для пользователей. (1985)
* Клоксин У., Меллиш К. Программирование на языке пролог. (1987)
* Коддингтон Л. Ускоренный курс КОБОЛа. (1974)
* Колин А. Введение в операционные системы. (1975)
* Кристиан К. Руководство по программированию на языке модула-2. (1989)
* Кэмпбел-Келли М. Введение в Макросы. (1978)
* Логическое программирование. (1988) Сборник
* Математическая логика в программировании. (1991)
* Маурер У. Введение в программирование на языке ЛИСП. (1976)
* Меткалф М. Оптимизация в Фортране. (1985)
* Меткалф М., Рид Дж. Описание языка программирования Фортран 90. (1995)
* Оллонгрен А. Определение языков программирования интерпретирующими автоматами. (1977)
* Пейган Ф.Дж. Практическое руководство по Алголу 68. (1979)
* Пересмотренное сообщение об Алголе 68. (1979)
* Сингер М. Мини-ЭВМ РDР-11. Программирование на языке ассемблера и организация машины. (1984)
* Спивак М. Восхитительный TeX: Руководство по комфортному изготовлению научных публикаций в пакете AMS-TeX. (1993)
* Требования и спецификации в разработке программ: Сборник статей. (1984)
* Турский В.М. Методология программирования. (1981)
* Фокс Дж. Программное обеспечение и его разработка. (1985)
* Фостер Дж. Автоматический синтаксический анализ. (1975)
* Фостер Дж. Обработка списков. (1974)
* Хамби Э. Программирование таблиц решений. (1976)
* Хендерсон П. Функциональное программирование: Применение и реализация. (1983)
* Хенли Дж. Автоматизированная библиотека и информационные системы. (1974)
* Хигман Б. Сравнительное изучение языков программирования. (1974)
* Хигман Б. Введение в программирование для вычислительных машин. (1978)
* Холл Патрик Э.В. Вычислительные структуры: Введение в нечисленное программирование. (1978)
* Хьюз Ч.Е., Пфлигер Ч.П., Роуз Л.Л. Методы программирования: курс на основе Фортрана. (1981)
* Эрбс Х.-Э., Штольц О. Введение в программирование на языке Паскаль. (1989)
* Эшли Р., Фернандес Д. Язык управления заданиями. (1981)

  • Алгоритмический язык Алгол 60. Модифицированное сообщение. [Djv- 1.1M] Русский текст подготовил к публикации А.Ф. Рар под редакцией А.П. Ершова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1982. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора (5).
      Добавление (9).
      Введение (11).
      Описание эталонного языка (13).
      1. Структура языка (13).
      2. Основные символы, идентификаторы, числа и строки. Основные понятия (16).
      3. Выражения (21).
      4. Операторы (31).
      5. Описания (45).
      Приложение 1. Подмножества (53).
      Приложение 2. Охватывающий блок (54).
      Алфавитный указатель (66).
      Список литературы (71).
ИЗ ИЗДАНИЯ: Новое описание известного языка программирования Алгол 60, в котором учтены поправки и дополнения, принятые Международной федерацией по обработке информации (ИФИП). При подготовке этого издания было использовано более раннее описание этого языка (Москва: Издательство «Мир», 1965).
Для программистов, математиков, для всех, кто преподает и изучает языки программирования.
  • Баррон Д. Ассемблеры и загрузчики. (1969) [Djv- 1.3M] Перевод с английского И.Л. Любимской. Под редакцией Э.З. Любимского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1974. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • ОГЛАВЛЕНИЕ:
      Предисловие (5).
      1. Почему и как (7).
      2. Точка зрения пользователя (12).
      3. Таблицы символов (24).
      4. Двупросмотровые ассемблеры (31).
      5. Загрузчики и редакторы связей (50).
      6. Однопросмотровые ассемблеры (61).
      7. Макроассемблеры (64).
      8. Метаассемблеры (71).
      Список литературы (73).
      Список псевдоопераций (75).
      Список использованных сокращений названий операций (76).
      Предметный указатель (77).
ИЗ ИЗДАНИЯ: Ассемблеры и загрузчики - важное звено в системе математического обеспечения вычислительных машин, хотя в научной литературе им уделялось мало внимания по сравнению с более сложными и эффектными компиляторами с языков программирования высокого уровня.
Ассемблеры - наиболее эффективное, а подчас и единственное средство автоматизации программирования в тех случаях, для которых еще нет проблемно-ориентированных языков и компиляторов. Удобство применения ассемблеров резко повысилось с внедрением макропроцессоров.
Книга представляет интерес и как учебное пособие по ассемблерам, и как простое введение в автоматизацию программирования. Она будет полезна студентам и аспирантам, специализирующимся по программированию на ЭВМ.
  • Баррон Д. Введение в языки программирования. (1977) [Djv- 2.0M] Перевод с английского В.А. Серебрякова. Под редакцией Ю.М. Баяковского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1980. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      1. Языки и программы (9).
      2. Объекты, имена и значения (21).
      3. Выражения и операторы (44).
      4. Функции и процедуры (66).
      5. Массивы и структуры (103).
      6. Строки (136).
      7. Ввод - вывод (147).
      8. Структура программы (165).
      9. Принципы разработки языка (171).
      10. Рекомендации по дальнейшему чтению (178).
      11. Упражнения (182).
ИЗ ИЗДАНИЯ: Цель книги Д. Баррона, хорошо знакомого читателям по двум его книгам из серии «Математическое обеспечение ЭВМ», - помочь разобраться в существующем многообразии языков программирования. Общие принципы их построения иллюстрируются примерами из таких известных языков, как АЛГОЛ-60, ФОРТРАН, АЛГОЛ-68, ПЛ/1, АПЛ. В доступной и интересной форме, но вместе с тем достаточно аккуратно, рассматриваются основные понятия языков программирования, значительное внимание уделяется вводу-выводу и общей структуре программ.
Книга полезна как специалистам по программированию, так и аспирантам и студентам, изучающим программирование.
  • Баррон Д. Рекурсивные методы в программировании. (1969) [Djv- 1.4M] Перевод с английского В.В. Мартынюка. Под редакцией Э.З. Любимского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1974. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода и переводчика (5).
      Предисловие (6).
      1. Основные понятия рекурсии (7).
      2. Примеры и приложения (21).
      3. Средства реализации рекурсии (46).
      4. Рекурсия и итерация (66).
      Приложение. Обработка списков (75).
      Список литературы (79).
ИЗ ИЗДАНИЯ: В книге излагаются рекурсивные методы программирования и демонстрируются возможности рекурсивного описания алгоритмов. Эти методы получают все более широкое распространение в практике программирования, и возможность их применения учитывается при разработке языков программирования и вычислительных машин. В книге показаны перспективы использования рекурсивных методов. Их удобство и эффективность демонстрируются на различных примерах.
Книга будет полезна студентам, аспирантам и специалистам, занимающимся разработкой и подготовкой алгоритмов решения задач на вычислительных машинах.
  • Баурн С. Операционная система UNIX. (1983) [Djv-18.3M] Монография. Перевод с английского Н.Б. Дерябина и О.А. Савицкой под редакцией Ю.М. Банковского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1986. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: qulinxao, z2015
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (6).
      Глава 1. Введение (10).
      Глава 2. Начальные сведения (17).
      Глава 3. Редактирование файлов (45).
      Глава 5. Язык программирования С (104).
      Глава 6. Программирование в системе UNIX (154).
      Глава 7. Подготовка документов (190).
      Глава 8. Средства обработки данных (244).
      Приложения (300).
      Литература (448).
      Предметный указатель (450).
ИЗ ИЗДАНИЯ: Описание одной из самых распространенных зарубежных операционных систем и языка С., данное известным американским специалистом. Книга отличается практической направленностью, материал хорошо систематизирован и доступен для первоначального ознакомления. Она интересна и с теоретической точки зрения как описание образца удачной операционной системы.
Для программистов, работающих на СМ-4, для преподавателей вузов, аспирантов и студентов.
  • Берри Р... Язык Си: введение для программистов. (A Book on C) [Djv- 2.5M] Авторы: Р. Берри, Б. Микинз. Перевод с английского Д.Б. Подшивалова.
    (Москва: Издательство «Финансы и статистика», 1988. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • ОГЛАВЛЕНИЕ:
      Предисловие к русскому изданию (5).
      1. Структура программы (12).
      2. Функции (22).
      3. Вывод и ввод (32).
      4. Принятие решений (44).
      5. Циклы (51).
      6. Операции (59).
      7. Массивы (67).
      8. Стиль программирования (77).
      Приложение 1. Транслятор RatC (86).
      Приложение 2. Текст транслятора RatC (97).
      Приложение 3. Анализ стиля программ на Си (153).
      Приложение 4. Символы экрана (163).
      Приложение 5. Справочная информация (164).
      Приложение 6. Синтаксические диаграммы языка Си (174).
      Литература (190).
ИЗ ИЗДАНИЯ: Книга английских авторов ориентирована на читателя, знакомого с языком Си либо имеющего опыт программирования на других языках. Содержит обширный справочный раздел, включающий описание синтаксиса и стандартных функций языка.
Для широкого круга программистов, желающих изучить язык Си.
  • Браун П.Дж. Введение в операционную систему UNIX. (Starting with UNIX) [Djv- 6.8M] [Pdf-11.4M] Перевод с английского Ю.В. Ступина под редакцией Ю.М. Банковского и Н.Б. Дерябина.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1987. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Pdf: Валерий Киселев, 2013; Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      От редакторов перевода (5).
      Предисловие (7).
      Часть I. ИДЕИ И КОНЦЕПЦИИ (10).
      Глава 1. Введение (10).
      Глава 2. Разделение ЭВМ между пользователями (21).
      Глава 3. Файлы (31).
      Глава 4. Структура файла (39).
      Глава 5. Ввод и оболочка (56).
      Часть II. ПРИЛОЖЕНИЕ ИДЕЙ (68).
      Глава 6. Пример сеанса (68).
      Глава 7. Команды и оболочки (93).
      Глава 8. Редактирование (125).
      Глава 9. Документация и связь (159).
      Глава 10. Ошибки (176).
      Глава 11. Подготовка документов (188).
      Глава 12. Программирование (226).
      Глава 13. Заключительный обзор (243).
      Приложение А. Примеры сеансов работы за терминалом (258).
      Приложение В. Список команд (266).
      Литература (276).
      Указатель (277).
ИЗ ИЗДАНИЯ: Книга американского специалиста, содержащая описание основных возможностей операционной системы UNIX, которая приобрела большую популярность среди пользователей ЭВМ. В настоящее время эта система имеется на ЭВМ серии СМ-4, ведутся работы по переносу ее на другие ЭВМ.
Для программистов разной квалификации.
  • Браух В. Программирование на Фортране 77 для инженеров. (1985) [Djv- 8.7M] Перевод с немецкого И.Т. Коробицына под редакцией В.Н. Соболева. Учебное пособие.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1987. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      Предисловие ко второму изданию (8).
      1. Введение (9).
      2. Структура и принцип действия вычислительной машины (11).
      3. Разработка программы (28).
      4. Логическая схема программы (33).
      5. Элементы Фортрана (63).
      6. Массивы. Обработка текста (109).
      7. Подпрограммы. Операторы спецификаций (134).
      8. Обработка наборов данных (158).
      9. Тестирование программ (167).
      Приложение (171).
      Решение задач (172).
      Литература (192).
      Список примеров (193).
      Предметный указатель (196).
ИЗ ИЗДАНИЯ: Небольшая книга известного специалиста (ФРГ), представляющая собой методически отработанное Учебное пособие по языку Фортран 77. Этот язык программирования реализован на отечественных ЭВМ, он выгодно отличается от более ранних версий (таких, как Фортран IV, Фортран ЕС ЭВМ).
Для всех желающих самостоятельно изучить программирование на Фортране 77.
  • Вайнгартен Ф. Трансляция языков программирования. (1973) [Djv- 7.7M] Перевод с английского Л.В. Ухова. Под редакцией В.В. Мартынюка.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1977. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (8).
      1. Предварительные определения (11).
      2. Трансляция арифметических выражений (28).
      3. Формальные модели грамматик (38).
      4. Свойства формальных грамматик (56).
      5. Структура двоичных деревьев трансляции (79).
      6. Грамматический разбор сверху вниз (95).
      7. Грамматический разбор снизу вверх (109).
      8. Грамматический разбор слева направо (119).
      9. Ограниченные грамматики (139).
      10. Контекстно-ограниченные грамматики (151).
      11. Грамматики предшествования (165).
      Список литературы (182).
      Предметный указатель (185).
ИЗ ИЗДАНИЯ: В монографии устанавливается естественная связь между математической лингвистикой и методами трансляции современных языков программирования. Проводится последовательный алгоритмический подход к рассматриваемым конструкциям, что позволяет приблизить элементы теории языков к потребностям практики. Изложение сопровождается многочисленными задачами для самостоятельного решения.
Книга полезна широкому кругу программистов и может служить ценным пособием для студентов и аспирантов, изучающих системное программирование.
  • Вегнер П. Программирование на языке Ада. (1980) [Djv- 6.3M] Перевод с английского Ю.Ю. Галимова и Э.М. Киуру под редакцией В.Ш. Кауфмана.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1983. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      Глава 1. Обзор языка Ада (15).
      Глава 2. Основные черты языка (63).
      Глава 3. Описание данных (99).
      Глава 4. Модульность и структура программы (155).
      Глава 5. Задачи (194).
      Приложение. Сводка синтаксических правил (230).
ИЗ ИЗДАНИЯ: Введение в новый язык программирования Ада, ориентированный на современную технологию программирования. Он содержит выразительные средства, ранее не встречавшиеся в языках такого класса, - абстрактные типы данных, пакеты, управление видимостью и др. Книга богато снабжена характерными примерами, показывающими возможности этого языка.
Для программистов, для всех, кто преподает и изучает программирование.
  • Векторизация программ: теория, методы, реализация. Сборник статей. [Djv-11.7M] Перевод с английского и немецкого под редакцией Г.Д. Чинина. Научное издание.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1991. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • СОДЕРЖАНИЕ:
      Предисловие (5).
      Д. Падуа, М. Вольф. Оптимизация в компиляторах для суперкомпьютеров. Перевод Евстигнеева В.А. (7).
      М. Вольф. Перестановка циклов. Перевод Спрогиса С.В. (48).
      К. Хаммер, Г. Рэбель. Генерация кода для частично векторизуемых циклов в векторизующем компиляторе Pascal-XT. Перевод Спрогиса С.В. (66).
      Р. Аллен, К. Кеннеди. Автоматическая трансляция Фортран-программ в векторную форму. Перевод Евстигнеева В.А. (77).
      Дж. Ферранте, К. Оттенштейн, Дж. Уоррен. Граф программных зависимостей и его применение в оптимизации. Перевод Евстигнеева В.А. (141).
      М. Вольф. Векторная оптимизация в сравнении с векторизацией. Перевод Спрогиса С.В. (183).
      К. Хаммер. Паскаль-компилятор для векторного процессора. Перевод Логиновой О.А. (192).
      Т. Мак, К. Хьюзон, Д. Дейвис Б. Лежур, М. Вольф. KAP/ST-100: Фортран-транслятор для присоединенного процессора ST-100. Перевод Спрогиса С.В. (202).
      К. Хьюзон Т. Мак, Д. Дейвис, М. Вольф, Б. Лежур. КАР/205: усовершенствованный векторизатор типа текст - текст для суперкомпьютера Cyber 205. Перевод Спрогиса С.В. (217).
      Д. Дейвис, К. Хьюзон, Т. Мак, Б. Лежур, М. Вольф. KAP/S-1: усовершенствованный векторизатор типа текст - текст для суперкомпьютера S-1 Mark IIa. Перевод Спрогиса С.В. (236).
      В.А. Евстигнеев, С.В. Спрогис. Векторизация программ (обзор) (246).
ИЗ ИЗДАНИЯ: Сборник статей зарубежных специалистов, содержащий новые результаты в области построения систем программирования для векторных супер-ЭВМ. В него включены работы по анализу зависимостей в программах, по векторизации и оптимизации преобразований, по применению теории графов для представления программ и создания векторизующих компиляторов. Среди авторов статей - известные специалисты: М. Вольф, К. Оттенштейн, Р. Аллен (США), К. Хаммер (ФРГ).
Для математиков-прикладников, разработчиков программного обеспечения, аспирантов и студентов вузов.
  • Вирт Н. Алгоритмы + структуры данных = программы. (1976) [Djv-12.0M] Перевод с английского Л.Ю. Иоффе под редакцией Д.Б. Подшивалова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1985. - Серия «Математическое обеспечение ЭВМ»)
    Скан, OCR, обработка, формат Djv: ???, предоставил: Михаил, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      1. Фундаментальные структуры данных (14).
      2. Сортировка (74).
      3. Рекурсивные алгоритмы (150).
      4. Динамические информационные структуры (189).
      5. Структура языков и трансляторы (319).
      Упражнения (390).
      Литература (392).
      Приложение А (393).
      Приложение В (394).
ИЗ ИЗДАНИЯ: Монография известного швейцарского специалиста по системному программированию, знакомого советским читателям по переводу его книги «Систематическое программирование. Введением (Москва: Издательство «Мир», 1977). Она содержит описание и анализ основных алгоритмов, методов построения программ. Книгу можно использовать и как руководство по применению языка Паскаль в задачах математического обеспечения ЭВМ.
Для научных работников, преподавателей, аспирантов и студентов, специализирующихся по математическому обеспечению ЭВМ.
  • Вирт Н. Программирование на языке Модула-2. (1985) [Djv- 3.5M] Перевод с английского В.А. Серебрякова и В.М. Ходукина под редакцией В.М. Курочкина.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1987. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      Предисловие к третьему изданию (9).
      Часть 1 (10).
      Часть 2 (53).
      Часть 3 (71).
      Часть 4 (89).
      Часть 5 (133).
      Сообщение о языке программирования Модула-2 (151).
      Приложение 1. Синтаксис Модулы-2 (183).
      Приложение 2. Стандартные вспомогательные модули (189).
      Приложение 3. Таблица литер кода ASCII (201).
      Приложение 4. Синтаксические диаграммы Модулы-2 (202).
      Предметный указатель (214).
ИЗ ИЗДАНИЯ: Книга известного швейцарского специалиста по системному программированию, знакомого советским читателям по переводам его книг «Введение в системное программирование» (Москва: Издательство «Мир», 1977) и «Алгоритмы + структуры данных = программы» (Москва: Издательство «Мир», 1985) Язык Модула-2 является преемником известного языка Паскаль и ориентирован на однопроцессорные малые ЭВМ. Книга сочетает в себе достоинства учебного пособия и справочного руководства по этому языку.
Для системных программистов, для специалистов, работающих с языком Модула-2.
  • Вирт Н. Систематическое программирование. Введение. (1973) [Djv- 2.6M] Перевод с английского Вик. С. Штаркмана. Под редакцией Ю.М. Баяковского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1977. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Hephaestus Hephaestus, 2022
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода.
      Предисловие.
      1. Введение.
      2. Основные понятия.
      3. Структура вычислительных машин.
      4. Средства и системы программирования.
      5. Некоторые примеры простых программ.
      6. Конечность программ.
      7. Последовательная нотация и языки программирования.
      8. Типы данных.
      9. Программы, основанные на рекуррентныx соотношениях.
      10. Файловая структура данных.
      11. Массив как структура данных.
      12. Подпрограммы, процедуры и функции (105).
      13. Преобразование представлений чисел (117).
      14. Обработка текстов с использованием массивов и файлов (124).
      15. Пошаговая разработка программ (139).
      Приложение А. Язык программирования Паскаль (169).
      Приложение В. Литеры в коде ASCII (177).
      Указатель (179).
ИЗ ИЗДАНИЯ: ...
  • Грисуолд Р... Язык программирования Снобол-4. (1971) [Djv- 2.1M] Авторы: Р. Грисуолд, Дж. Поудж, И. Полонски. Перевод с английского В.А. Галатенко под редакцией Ю.М. Баяковского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1980. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      От авторов (9).
      Глава 1. Введение в язык программирования Снобол-4 (11).
      Глава 2. Сопоставление с образцом (35).
      Глава 3. Примитивные функции, предикаты и операции (86).
      Глава 4. Функции, определяемые программистом (103).
      Глава 5. Массивы, таблицы и определяемые типы данных (124).
      Глава 6. Ключевые слова, имена и код (139).
      Глава 7. Типы данных (151).
      Глава 8. Трассировка (151).
      Глава 9. Ввод и вывод (177).
      Глава 10. Обработка программ, написанных на Сноболе-4 (185).
      Глава 11. Тонкости программирования и управление памятью (206).
      Приложение А. Синтаксис языка Снобол-4 (213).
      Приложение Б. Версии 2 и 3 Снобола-4 (219).
      Приложение В. Образцы программ (221).
      Приложение Г. Решения к упражнениям (244).
      Список литературы (255).
      Предметный указатель (257).
ИЗ ИЗДАНИЯ: Язык программирования Снобол-4, реализованный на большинстве зарубежных машин, отличается чрезвычайно широкой сферой применений и имеет общеобразовательное значение. Этот язык содержит ряд средств и понятий, никак не отраженных в других языках программирования. Настоящая монография является первой работой на русском языке, содержащей обстоятельное и полное описание самого языка и некоторых сторон его реализации.
Книга адресована специалистам разной квалификации по системному и прикладному программированию и может быть рекомендована в качестве учебного пособия для студентов и аспирантов.
  • Грогоно П. Программирование на языке Паскаль. (1980) [Djv- 3.9M] Перевод с английского Л.Е. Карпова под редакцией Д.Б. Подшивалова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1982. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      От редактора перевода (5).
      Предисловие к пересмотренному изданию (9).
      Предисловие к первому изданию (11).
      Глава 1. Принципы программирования (13).
      Глава 2. Данные, выражения и присваивания (31).
      Глава 3. Условия и циклы (67).
      Глава 4. Процедуры и функции (91).
      Глава 5. Переменные типы (134).
      Глава 6. Сложные типы (163).
      Глава 7. Файлы (206).
      Глава 8. Динамические структуры данных (236).
      Глава 9. Дополнительные возможности языка (274).
      Глава 10. Разработка программы (289).
      Литература для дальнейшего чтения (326).
      Приложение А. Словарь языка Паскаль (337).
      Приложение Б. Синтаксис языка Паскаль (340).
      Приложение В. Реализация языка Паскаль (350).
      Приложение Г. Стандарты программирования (363).
      Предметный указатель (370).
ИЗ ИЗДАНИЯ: В книге канадского автора содержится исчерпывающее описание (от подготовки программы до отладки) языка программирования Паскаль, который получил широкое распространение. Он используется как язык для обучения программированию, для записи алгоритмов в монографиях и журналах. Паскаль послужил основой для создания ряда новых эффективных языков, в частности языка Ада. Паскаль реализован на отечественных машинах (БЭСМ-6, ЕС ЭВМ).
Книга необходима всем, кто занимается программированием.
  • Грунд Ф. Программирование на языке Фортран IV. (1972) [Djv- 7.6M] Перевод с немецкого И.Т. Коробицына и В.Н. Соболева. Под редакцией В.Н. Соболева.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1976. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ СОДЕРЖАНИЕ:
      Предисловие редактора перевода (5).
      Предисловие к русскому изданию (7).
      1. Введение (9).
      2. Основы языка (14).
      3. Арифметические выражения и операторы присваивания (19).
      4. Операторы перехода и логические операторы (47).
      5. Оператор описания размерностей массивов. Оператор цикла (65).
      6. Операторы ввода и вывода. Операторы формата (88).
      7. Функции и подпрограммы (129).
      Приложение (163).
      Список литературы (177).
      Предметный указатель (179).
ИЗ ИЗДАНИЯ: Книга содержит лаконичное, и полное изложение алгоритмического языка Фортран IV. Подробно рассмотрены все элементы и конструкции языка, вопросы рационального распределения памяти, использования операторов и организации общих блоков. Особое внимание уделено построению фортрановских программ. Большое количество примеров способствует быстрому усвоению особенностей языка.
Книга предназначена для первоначального и вместе с тем глубокого изучения Фортрана. Она может быть использована в качестве учебного пособия студентами вузов, слушателями курсов повышения квалификации по программированию и самостоятельно изучающими язык.
  • Дал У... Структурное программирование. (1972) [Djv- 5.2M] Авторы: У. Дал, Э. Лейкстра, К. Хоор. Перевод с английского С.Д. Зеленецкого, В.В. Мартынюка и Л.В. Ухова. Под редакцией Э.З. Любимского и В.В. Мартынюка.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1975. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие к русскому переводу (5).
      Предисловие (6).
      I. Заметки по структурному программированию. Э. Дейкстра (7).
      II. О структурной организации данных. К. Хоор (98).
      III. Иерархические структуры программ. У.-И. Дал, К. Хоор (198).
ИЗ ИЗДАНИЯ: Монография известных специалистов по программированию включает в себя три раздела. В первом обобщен опыт программирования на примерах решения ряда миниатюрных задач по программированию. Во втором последовательно рассматриваются данные различной степени сложности. Эта тематика весьма актуальна, поскольку в практике программирования приходится иметь дело со все более сложными структурами данных. Третий раздел посвящен систематическому изложению иерархических принципов в программировании и имеет непосредственное отношение к языкам моделирования.
Книга наглядно отражает существо рассматриваемых вопросов и предлагаемых идей и методов. Она представляет большой интерес для программистов всех специализаций.
  • Данные в языках программирования: Абстракция и типология. [Djv- 8.7M] [Pdf-15.2M] Сборник статей. Перевод с английского под редакцией В.Н. Агафонова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1982. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат: ???, предоставил: Валерий Киселев, 2013; Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • СОДЕРЖАНИЕ:
      Предисловие (5).
      Д. Парнас. Метод спецификации модулей программного обеспечения (с примерами). Перевод В.С. Нумерова (9).
      Д. Скотт. Теория решеток, типы данных и семантика. Перевод В.Ю. Сазонова (25).
      Ч. Хоар. Доказательство правильности представления данных. Перевод М.И. Дехтяря (54).
      Дж. Эрли. Структуры данных реляционного уровня для языков программирования. Перевод В.С. Нумерова (68).
      Б. Лисков, С. Зиллес. Методы спецификации, используемые для абстракции данных. Перевод М.И. Дехтяря (91).
      В. Вульф, Р. Лондон, М. Шоу. Введение в построение и верификацию программ на языке Альфард. Перевод М.И. Дехтяря (123).
      Л. Тамир, У. Уэидж. Типы данных как объекты. Перевод В.Ю. Сазонова (154).
      В. Бросгол. Дискуссионные вопросы из области типов данных и контроля типов. Перевод В.Н. Агафонова (170).
      Д. Леман, М. Смит,. Типы данных, Перевод М.К. Валиева (196).
      А. Демерс, Дж. Донахью, Р. Тейтельбаум, Дж. Уильямс. Инкапсулированные типы данных и полиморфные процедуры. Перевод В.Н. Агафонова (214).
      X. Эриг, Х.-Й. Креовски, П. Падавиц. Алгебраическая реализация абстрактных типов данных: понятие, синтаксис, семантика и корректность. Перевод М.К. Валиева (243).
      В.Н. Агафонов. Типы и абстракция данных в языках программирования (обзор) (265).
ИЗ ИЗДАНИЯ: Сборник посвящен новому направлению в системном и теоретическом программировании - разработке языковых средств абстракции данных, позволяющих хорошо структурировать программы, и исследованию понятия типа данных в программировании. В числе авторов - известные специалисты, основатели этого направления - Ч. Хоар, Д. Скотт (Великобритания), Д. Парнас (США) и др.
Для программистов и математиков, интересующихся методологией, языковыми и математическими основами программирования.
  • Дейкстра Э. Дисциплина программирования. (1976) [Djv- 4.5M] Перевод с английского И.X. Зусман, В.В. Мартынюка и Л.В. Ухова. Под редакцией Э.З. Любимского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1978. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (8).
      От автора (9).
      0. Абстракция исполнения (17).
      1. Роль языков программирования (24).
      2. Состояния и их характеристика (27).
      3. Характеристика семантики (34).
      4. Семантическая характеристика языка программирования (45).
      5. Две теоремы (62).
      6. О проектировании правильно завершаемых конструкций (66).
      7. Пересмотренный алгоритм Евклида (70).
      8. Формальное рассмотрение нескольких небольших примеров (77).
      9. Когда недетерминированность ограничена (104).
      10. Размышления па тему: «Область действия переменных» (111).
      11. Векторные переменные (131).
      12. Теорема о линейном просмотре (145).
      13. Задача о следующей перестановке (147).
      14. Задача о голландском национальном флаге (151).
      15. Обновление последовательного файла (158).
      16. Еще раз о задачах слияния (165).
      17. Упражнение, приписываемое Р.У. Хэммингу (172).
      18. Задача поиска по образцу (178).
      19. Представление числа в виде суммы двух квадратов (184).
      20. Задача о наименьшем простом множителе большого числа (187).
      21. Задача о самых удаленных селениях (194).
      22. Задача о кратчайшем покрывающем дереве (199).
      23. Алгоритм Рема выделения классов эквивалентности (208).
      24. Задача о выпуклой оболочке в трехмерном пространстве (217).
      25. Нахождение максимально сильных компонент в ориентированном графе (245).
      26. О руководствах и реализациях (256).
      27. Ретроспективы (265).
ИЗ ИЗДАНИЯ: Книга написана одним из крупнейших зарубежных специалистов в области программирования, известным советскому читателю по переводам его книг на русский язык (например, «Структурное программирование («Мир», 1972). Она посвящена фундаментальным вопросам конструирования корректных и изящных программ для ЭВМ. В ней предлагается методика формального вывода программы из математической постановки задачи. При этом прослеживается развитие алгоритмов вплоть до создания программ. Материал излагается в форме остроумных и поучительных задач по программированию.
Книга представляет значительный интерес для широкого круга программистов.
  • Денинг В... Диалоговые системы «человек - ЭВМ». Адаптация к требованиям пользователя. (1981) [Djv- 5.1M] Авторы: В. Денинг, Г. Эссиг, С. Маас. Перевод с английского Ю.Б. Котова под редакцией В.В. Мартынюка.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1984. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      От редактора перевода и переводчика (5).
      Предисловие (7).
      Глава 1. Введение (9).
      Часть I. ПОЛЬЗОВАТЕЛЬ И ПОНЯТИЕ УДОБСТВА ДЛЯ ПОЛЬЗОВАТЕЛЯ
      Глава 2. Пользователь (16).
      Глава 3. Удобство для пользователя (25).
      Глава 4. Аспекты поведения пользователя (35).
      Часть II. ДИАЛОГ
      Глава 5. Введение в часть II (41).
      Глава 6. Диалог человека с машиной (45).
      Глава 7. Содержание диалога и состояние диалога (52).
      Глава 8. Три уровня абстракции (59).
      Глава 9. Типы диалога (68).
      Часть III. КОНЦЕПЦИЯ ИНТЕРФЕЙСА ЧЕЛОВЕК МАШИНА
      Глава 10. Введение в часть III (75).
      Глава 11. Цели системы (83).
      Глава 12. Концептуальные рекомендации для интерфейсов человек - машина (89).
      Глава 13. Заключительные замечания (101).
      Литература (106).
ИЗ ИЗДАНИЯ: Рассматривается задача создания проблемно-ориентированных диалоговых систем, требующих минимальных затрат труда пользователя на их освоение и автоматически приспосабливающихся к индивидуальному уровню подготовленности пользователя. Детально проанализированы возможности системы «человек ЭВМ», сформулированы ограничения на прикладную диалоговую систему с учетом класса ее пользователей. Авторами (ФРГ) предложена методика реализации диалоговой системы на основе анализа ее целей
Для разработчиков и пользователей диалоговых систем общения с ЭВМ.
  • Джадд Д.Р. Работа с файлами. (1973) [Djv- 1.7M] Перевод с английского Д.А. Корягина и И.Л. Любимской. Под редакцией Э.З. Любимского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1975. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      От редактора перевода (5).
      Предисловие (7).
      1. Введение (9).
      2. Структура файлов (13).
      3. Характеристика запоминающих устройств (26).
      4. Обработка файлов (41).
      5. Представление информации (57).
      6. Создание файлов (65).
      7. Сортировка записей (70).
      8. Рассмотрение системы реального времени (79).
      9. Обеспечение безопасности файлов (87).
      10. Составление программ обработки файлов (96).
      11. Проверка программ, использующих файлы (110).
      12. Языки и пакеты программ (117).
      13. Файлы для информационного поиска (122).
      14. Документация файлов (127).
      15. Теория файлов (132).
      Список литературы (136).
ИЗ ИЗДАНИЯ: Книга входит в серию «Математическое обеспечение ЭВМ», выпускаемую издательством «Мир» с 1974 г., и посвящена принципам организации и методам обработки больших массивов информации. В книге затрагивается практически вся современная проблематика использования файлов. Особый интерес представляют вопросы их защиты, использования файлов в системах, работающих в режиме реального времени, а также принципы построения и методы отладки программ обработки. Проводимые автором исследования не связаны с какой-либо конкретной вычислительной системой, и поэтому их результаты могут быть использованы при создании самых различных систем обработки данных.
Книга заинтересует специалистов любой квалификации, занимающихся математическим обеспечением ЭВМ.
  • Йенсен К... Паскаль: Руководство для пользователя. [Djv- 3.0M] Авторы: К. Йенсен, Н. Вирт. Перевод с английского Д.Б. Подшивалова. Научное издание.
    (Москва: Издательство «Финансы и статистика», 1989. - Серия «Математическое обеспечение ЭВМ»)
    Скан, OCR, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ СОДЕРЖАНИЕ:
      Предисловие к русскому изданию - 5; Введение - 7; Предисловие - 9.
      К. Йенсен, Н. Вирт. РУКОВОДСТВО ДЛЯ ПОЛЬЗОВАТЕЛЯ - 11.
      1. Нотация: лексемы и разделители - 19.
      2. Концепция данных: простые типы данных - 24.
      3. Заголовок программы и раздел описаний - 31.
      4. Концепция действия - 38.
      5. Перечисляемые и диапазонные типы - 60.
      6. Обзор составных типов. Массивы - 65.
      7. Записные типы - 74.
      8. Множественные типы - 85.
      9. Файловые типы - 95.
      10. Ссылочные типы - 103.
      11. Процедуры и функции - 111.
      12. Текстовые файлы. Ввод и вывод - 136.
      Н. Вирт. ОПИСАНИЕ ЯЗЫКА - 149.
      Литература - 212.
      Приложения - 213.
      Предметный указатель - 252.
ИЗ ИЗДАНИЯ: Книга английских авторов содержит полное описание современной версии алгоритмического языка Паскаль, одного из самых популярных языков программирования. Новое издание расширено и переработано в соответствии с принятым стандартом ИСО. Книга может быть использована и как учебник для изучающих Паскаль, и как справочное руководство программиста.
Для специалистов в области информатики.
  • Катцан Г. Язык Фортран 77. (1978) [Djv- 2.7M] Перевод с английского Н.И. Вьюковой и А.О. Лациса под редакцией Ю.М. Банковского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1982. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      1. Введение (11).
      2. Характеристика языка Фортран 77 (23).
      3. Типы данных и константы (33).
      4. Структуры данных (45).
      5. Выражения (50).
      6. Выполнение и классификация инструкций Фортрана (74).
      7. Инструкции описания (78).
      8. Инструкции присваивания (101).
      9. Инструкции управления (105).
      10. Ввод и вывод. Основные понятия (116).
      11. Инструкции ввода и вывода (131).
      12. Спецификация формата (142).
      13. Структура программы (158).
      Литература (172).
      Приложение А. Стандартные функции (173).
      Приложение В. Синтаксис инструкций Фортрана (179).
      Приложение С. Синтаксические диаграммы языка 77 (181).
ИЗ ИЗДАНИЯ: Фортран - один из первых языков программирования. Его различные диалекты обобщены в новом стандарте, включающем современные управляющие структуры, дополнительные типы данных, средств ввода-вывода. Автор книги - американский ученый, известный по переводу его книги «Операционные системы» (М.: Мир, 1976).
Для программистов, разработчиков программного обеспечения, студентов и аспирантов вузов.
  • Кейлингерт П. Элементы операционных систем. Введение для пользователей. (1982) [Djv- 3.7M] [Pdf-34.7M] Перевод с английского Б.Л. Лисса и С.П. Тресковой под редакцией Л.Б. Эфроса.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1982. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv, Pdf: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      От редактора перевода (5).
      Предисловие (7).
      Глава 1. Обзор (13).
      Глава 2. Управление памятью (25).
      Глава 3. Управление процессором (78).
      Глава 4. Управление процессами (111).
      Глава 5. Управление устройствами (159).
      Глава 6. Управление файлами (187).
      Глава 7. Управление системой (220).
      Глава 8. Конфигурации систем (249).
      Приложение 1. Обозначения, используемые в программах (275).
      Приложение 2. Некоторые первоисточники (277).
      Литература (278).
      Предметный указатель (285).
ИЗ ИЗДАНИЯ: Введение в операционные системы ЭВМ, предназначенное для первоначального знакомства с предметом. Изложены на достаточно доступном уровне основные понятия операционных систем, их назначение, принципы работы. Основное внимание уделено проблеме распределения ресурсов, общей для всех операционных систем. Изложение сжатое, материал тщательно подобран.
Для программистов разной квалификации, аспирантов и студентов институтов.
  • Клоксин У... Программирование на языке Пролог. [Djv- 3.2M] Авторы: У. Клоксин, К. Меллиш.
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • ОГЛАВЛЕНИЕ:
      Предисловие редакторов перевода (9).
      Предисловие ко второму изданию (10).
      Предисловие к первому изданию (11).
      Глава 1. Введение (16).
      Глава 2. Более детальное описание (39).
      Глава 3. Использование структур данных (63).
      Глава 4. Возврат и отсечение (84).
      Глава 5. Ввод и вывод (112).
      Глава 6. Встроенные предикаты (130).
      Глава 7. Еще несколько примеров программ (160).
      Глава 8. Отладка пролог-программ (205).
      Глава 9. Использование грамматических правил в Прологе (234).
      Глава 10. Пролог и математическая логика (260).
      Глава 11. Программные проекты на Прологе (286).
      Приложение А. Ответы к некоторым упражнениям (294).
      Приложение В. Программа приведения формул исчисления предикатов к стандартной форме (299).
      Приложение С. Различные версии языка Пролог (305).
      Приложение D. Пролог для ЭВМ DEC system-10 (309).
      Приложение Е. Микро-Пролог (319).
      Приложение F. Система МПролога (324).
      Предметный указатель (335).
ИЗ ИЗДАНИЯ: Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог - базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.
Для программистов и пользователей ЭВМ.
  • Колин А. Введение в операционные системы. (1971) [Djv- 6.6M] Перевод с английского И.Х. Зусман. Под редакцией В.В. Мартынюка.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1975. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • ОГЛАВЛЕНИЕ:
      От редактора перевода (5).
      Из предисловия автора (6).
      1. Введение (7).
      2. Пакетные мониторы (11).
      3. Программы и процессы (16).
      4. Как происходит управление процессами (24).
      5. Виртуальная адресация (31).
      6. Страничная организация (36).
      7. Периферийные устройства (1). Управление (42).
      8. Периферийные устройства (2). Работа устройств, используемых для хранения файлов (48).
      9. Периферийные устройства (3). Устройства с точки зрения пользователя (55).
      10. Системы организации файлов (63).
      11. Операции над файлами и редактирование (72).
      12. Описания заданий (80).
      13. Системы коллективного пользования (88).
      14. Смертельное объятие (96).
      15. Планирование (101).
      16. Учет и контроль (108).
      Список литературы (114).
ИЗ ИЗДАНИЯ: Книга представляет собой авторскую обработку курса лекций для студентов. В ней подробно излагаются принципы построения операционных систем, вводятся понятия параллельных процессов и виртуальной памяти. Большое внимание уделено вопросам организации архива и управления периферийными устройствами. Рассматривается работа операционных систем для ЭВМ с мультипрограммным режимом.
Книга рассчитана на разработчиков и пользователей операционных систем и на студентов, изучающих современное программирование.
  • Кристиан К. Руководство по программированию на языке Модула-2. (A Guide to Modula-2) [Djv-13.6M] Перевод с английского Д.Ю. Аболина, Д.М. Арапова и М.Г. Тонконогова под редакцией А.К. Петренко. Учебное издание.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1989. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Михаил, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (8).
      Часть I. Переход к Модуле-2 (16).
      Глава 1. Модула-2 и Паскаль (17).
      Глава 2. Данные в Модуле-2 (47).
      Глава 3. Управляющие структуры Модулы-2 (94).
      Глава 4. Процедуры (120).
      Глава 5. Массивы (159).
      Часть II. Модули (192).
      Глава 6. Локальные модули (193).
      Глава 7. Модули определений (212).
      Глава 8. Модули реализации (225).
      Глава 9. Общие глобальные модули (241).
      Глава 10. Настольный калькулятор с переменными и присваиваниями (255).
      Часть III. Развитые типы данных (273).
      Глава 11. Перечислимые типы данных (273).
      Глава 12. Множества (289).
      Глава 13. Записи (304).
      Глава 14. Динамические структуры данных (332).
      Глава 15. Переменные процедурного типа (351).
      Глава 16. Ослабление правил строгой типизации (365).
      Глава 17. Работа с аппаратурой (389).
      Глава 18. Сопрограммы (401).
      Глава 19. Драйверы устройств (412).
      Приложения (432).
      Предметный указатель (460).
ИЗ ИЗДАНИЯ: Книга американского специалиста, содержащая описание популярного языка Модула-2, его инструкций, стиля программирования. В ней нашел отражение опыт программирования и опыт преподавания этого языка, что позволяет использовать книгу как Учебное пособие для самостоятельного изучения языка. Наряду с описанием языка и примерами в конце глав дается ряд заданий для изучающих язык самостоятельно.
Для программистов разной квалификации.
  • Кэмпбел-Келли М. Введение в макросы. (1973) [Djv- 6.2M] Перевод с английского Д.А. Корягина и И.Л. Любимской. Под редакцией Э.З. Любимского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1978. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора русского перевода (5).
      Глава 1. Введение (7).
      Глава 2. Усовершенствования (18).
      Глава 3. Приложения (43).
      Глава 4. Макропроцессоры общего назначения (71).
      Глава 5. Макропроцессоры и переносимое программное обеспечение (102).
      Глава 6. Макросы в языках высокого уровня (124).
      Глава 7. Макропроцессоры и компиляторы (142).
      Приложение (145).
      Список литературы (149).
      Предметный указатель (151).
ИЗ ИЗДАНИЯ: Излагаются методы макрогенерации, конечной целью которой можно считать введение новых операций с различным числом операндов. Обеспечиваемая при макрогенерации открытая подстановка подпрограмм способствует ускорению вычислений, так как при этом исчезает необходимость выполнения связывающих команд при входе в программу и выходе из нее. Средства макрогенерации могут включаться в обычные языки автокодов.
Книга написана хорошим языком, содержит много фактического материала и доступна широкому кругу читателей, занимающихся программированием.
  • Логическое программирование. [Djv- 3.5M] Сборник статей. Перевод с английского и французского под редакцией В.Н. Агафонова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1988. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • СОДЕРЖАНИЕ:
      Предисловие (5).
      Дж. Робинсон. Логическое программирование - прошлое, настоящее и будущее. Перевод Агафонова В.И. (7).
      А. Колмероэ, А. Канун, М. ван Канегем. Пролог - теоретические основы и современное развитие. Перевод Хомякова М.В. (27).
      Р. Ковальский. Логическое программирование. Перевод Воронкова А.А. (134).
      Б. Домелки, П. Середи. Практическое использование Пролога. Перевод Борщева В.Б. (167).
      М. Бранохе. Управление памятью в реализациях Пролога. Перевод Веницкого С.Л. (193).
      К. Кларк, У. Маккиман, Ш. Зикель. Спецификация алгоритмов численного интегрирования на языке логических программ. Перевод Воронкова А.А. (211).
      A. Ханссон, С. Хариди, С.-А. Тернлунд. Свойства одного языка логического программирования. Перевод Веницкого С.Л. (230).
      К. Кларк, Ф. Маккейб, С. Грегори. Средства языка IC-PROLOG. Перевод Нумерова В.С. (245).
      Дж. Робинсон, Э. Зиберт. Логлисп: мотивировка, основные возможности и реализация. Перевод Нумерова В.С. (261).
      М. Хагия, Т. Сакуран. Основы логического программирования, базирующиеся на индуктивных определениях. Перевод Воронкова А.А. (276).
      B. Н. Агафонов, В.Б. Борщев, А.А. Воронков. Логическое программирование в широком смысле (обзор) (298).
ИЗ ИЗДАНИЯ: Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник включен специально написанный обзор литературы по логическому программированию. Среди авторов известные зарубежные специалисты: Б. Домелки, П. Середи (ВНР), А. Колмероэ (Франция), Дж. Робинсон (США), Р. Ковальский (Великобритания).
Для математнков-прикладииков, программистов, аспирантов и студентов университетов.
  • Математическая логика в программировании. [Djv- 5.0M] Сборник статей 1980-1988 гг. Перевод с английского под редакцией М.В. Захарьящева и Ю.И. Янова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1991. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • СОДЕРЖАНИЕ:
      Предисловие редакторов перевода (5).
      Дж. Бэкус. Алгебра функциональных программ: мышление функционального уровня, линейные уравнения и обобщенные определения. Перевод Манциводы А.А. (8).
      Дополнение переводчика (54).
      Д.С. Скотт. Области в денотационной семантике. Перевод Воронкова А.А. (56).
      Дж.Р. Хиндли. Комбинаторы и лямбда-исчисления. Краткий обзор. Перевод Найдича Д.Э. (119).
      С.Л. Пейтон Джоунз. Введение в суперкомбинаторы для вполне задержанных вычислений. Перевод Антимирова В.М. (141).
      Ж. Юэ, Д. Оппен. Равенства и правила переписывания. Обзор. Перевод Дегтярева А.И. (176).
      Д. Миллер. Логический анализ модулей в логическом программировании. Перевод Воронкова А.А. (233).
      Дж.А. Гоген, Ж. Мезегер. Модели и равенство в логическом программировании. Перевод Антимирова В.М. (274).
      К.А. Гоуд. Доказательства как описания вычислений. Перевод Воронкова А.А. (311).
      В.М. Антимиров, А.А. Воронков, А.И. Дегтярев, М.В. Захарьящев, В.С. Проценко. Математическая логика в программировании. Обзор (331).
ИЗ ИЗДАНИЯ: Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей - известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж.Р. Хиндли, С.Л. Пейтон Джоунз (Англия).
Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.
  • Маурер У. Введение в программирование на языке ЛИСП. [Djv- 5.4M] Перевод с английского А.К. Петренко. Под редакцией В.М. Михелева.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1976. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      1. Стандартные функции (9).
      2. Построение функций (27).
      3. PROG (57).
      4. Дополнительные возможности ЛИСПа (83).
      Ответы к упражнениям, отмеченным звездочкой (97).
      Список литературы (102).
ИЗ ИЗДАНИЯ: Эта книга является доступным и в то же время строгим описанием языка ЛИСП. Понятия языка ЛИСП сравниваются с аналогичными понятиями языков ФОРТРАН и АЛГОЛ. Многочисленные примеры и упражнения способствуют глубокому усвоению материала. Частично затрагиваются вопросы, связанные с построением транслятора.
Книга может служить хорошим учебным пособием для студентов, занимающихся языками программирования, она будет полезна программистам, впервые знакомящимся с языком ЛИСП.
  • Меткалф М. Оптимизация в Фортране. (1982) [Djv-14.1M] Перевод с английского А.Н. Полюдова и Вик. С. Штаркмана под редакцией Ю.М. Банковского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1985. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      1. Зачем оптимизировать? (9).
      2. Архитектура ЭВМ (18).
      3. Методы компиляции (38).
      4. Аспекты оптимизации (59).
      5. Приемы оптимизации (80).
      6. Неоптимизирующие компиляторы (120).
      7. Оптимизирующие компиляторы (129).
      8. Компиляторы IBM (142).
      9. Компиляторы для машин фирмы CDC 1С4
      10. Мобильность программ на Фортране (177).
      11. Векторные процессоры (194).
      12. Будущий Фортран (217).
      Приложение А. Фортран 77 (234).
      Приложение В. Программа редактирования выдачи (241).
      Литература (253).
      Именной указатель (258).
      Предметный указатель (259).
ИЗ ИЗДАНИЯ: Книга швейцарского системного программиста, дающая систематическое исследование проблемы разработки эффективных программ. В ней обсуждаются современные ЭВМ и их математическое обеспечение, уделено внимание аспектам оптимизации программ и универсальным приемам программирования, включен материал об ЭВМ с векторными процессорами, о новой версии языка Фортран 77.
Для программистов разной квалификации, для всех изучающих программирование.
  • Меткалф М... Описание языка программирования Фортран 90. (Fortran 90) [Djv- 2.1M] Авторы: М. Меткалф, Дж. Рид. Перевод с английского П.А. Горбунова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1995. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ СОДЕРЖАНИЕ:
      Предисловие переводчика (5).
      Предисловие к русскому изданию (7).
      Предисловие (8).
      1. Фортран вчера, сегодня и... завтра (11).
      2. Элементы языка (22).
      3. Выражения и операторы присваивания (46).
      4. Операторы управления (65).
      5. Программные компоненты и процедуры (78).
      6. Массивы (108).
      7. Операторы описания (127).
      8. Встроенные процедуры (152).
      9. Передача данных (178).
      10. Операции над внешними файлами (211).
      11. Нерекомендуемые свойства Фортрана (225).
      Приложение А. Встроенные процедуры (245).
      Приложение В. Операторы Фортрана 90 (250).
      Приложение С. Устаревшие свойства Фортрана (254).
      Приложение D. Термины Фортрана 90 (260).
      Приложение Б. Ответы к упражнениям (272).
      Приложение F. Пример со ссылками и рекурсией (283).
      Предметный указатель (290).
ИЗ ИЗДАНИЯ: Книга известных специалистов в области современного программирования (Швейцария, Великобритания), дающая описание нового стандарта языка программирования Фортран. Новый стандарт вобрал в себя опыт, накопленный при разработке других языков, и вместе с тем сохранил индивидуальность Фортрана. Он полностью обратно совместим с Фортраном 77. Первый автор знаком читателям по его книге «Оптимизация в Фортране» (Москва: Издательство «Мир», 1986).
Для разработчиков системного программного обеспечения, для программистов разной квалификации, для изучающих программирование.
  • Оллонгрен А. Определение языков программирования интерпретирующими автоматами. (1974) [Djv- 6.6M] Перевод с английского А.Л. Александрова. Под редакцией В.Ш. Кауфмана.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1977. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      От редактора перевода (5).
      Предисловие к английскому изданию (7).
      Введение. Цели (11).
      Глава I. Основные понятия (17).
      Глава II. Формальные языки (39).
      Глава III. Разбор (66).
      Глава IV. Структуры данных (98).
      Глава V. Классы структур данных (128).
      Глава VI. Преобразования языка (158).
      Глава VII. Интерпретирующие автоматы. Часть I (180).
      Глава VIII. Интерпретирующие автоматы. Часть II (220).
      Глава IX. Взаимодействующие последовательные процессы (254).
      Список литературы (280).
      Предметный указатель (284).
ИЗ ИЗДАНИЯ: Книга посвящена формальному описанию языков программирования. Подробно рассмотрены средства описания синтаксиса (грамматики Xомского, формулы Бэкуса-Наура), однако основное внимание уделено Венскому методу формального описания семантики языков программирования. Представлен как сам Венский метод, так и ряд его необычных приложений, иллюстрирующих мощь, удобство и точность предлагаемых изобразительных средств.
Книга, безусловно, будет полезна всем, кто занимается системным и теоретическим программированием, разработчикам новых языков программирования и машин, а также аспирантам и студентам соответствующих специальностей.
  • Пейган Ф. Практическое руководство по Алголу 68. (1976) [Djv- 3.4M] Перевод с английского А.Ф. Рара под редакцией А.П. Ершова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1979. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      Глава 1. Основные понятия, конструкты (9).
      Глава 2. Линейные программы (29).
      Глава 3. Циклы и многомерные значения (53).
      Глава 4. Условное исполнение (88).
      Глава 5. Подпрограммы (113).
      Глава 6. Расширенные виды (132).
      Глава 7. Обмен (174).
      Глава 8. Дополнительные средства управления (196).
      Ответы к упражнениям (201).
      Приложение I. Альтернативные представления символов (216).
      Приложение II. Обзор конструкций и приведений (218).
      Избранная литература (222).
      Предметный указатель (русско-английский) (225).
      Предметный указатель (англо-русский) (232).
ИЗ ИЗДАНИЯ: Эта книга - руководство по программированию на алгоритмическом языке Алгол 68. Язык описывается в ней достаточно полно и в то же время на весьма доступном уровне, без излишней формализации. Для чтения не требуется предварительного знакомства с более простыми алгоритмическими языками. Книга ориентирована на применение языка в рамках структурного программирования. В ней четко выделяются разделы, относящиеся, с одной стороны, к задачам числового характера, а с другой - к обработке символьной информации и экономическим применениям.
Книга полезна специалистам в области вычислительной математики, информатики и программирования, а также аспирантам и студентам этих специальностей.
  • Пересмотренное сообщение об Алголе 68. (1975) [Djv-21.9M] Редакторы: А. ван Вейнгаарден, Б. Майу, Дж. Пек, К. Костер, М. Синцов, Ч. Линдси, Л. Меертенс, Р. Фискер. Перевод с английского А.А. Берса. Под редакцией А.П. Ершова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1979. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      ПЕРЕСМОТРЕННОЕ СООБЩЕНИЕ ОБ АЛГОРИТМИЧЕСКОМ ЯЗЫКЕ АЛГОЛ 68.
      Благодарности (11).
      0. Введение (15).
      Часть I. ПРЕДВАРИТЕЛЬНЫЕ ОПРЕДЕЛЕНИЯ
      1. Язык и метаязык (35).
      2. Вычислитель и программа (75).
      Часть II. ОСНОВНЫЕ КОНСТРУКЦИИ
      3. Предложения (111).
      4. Описания, описатели и индикаторы (141).
      5. Основы (167).
      Часть III. КОНТЕКСТНЫЕ ЗАВИСИМОСТИ
      6. Приведение (197).
      7. Виды и среды (213).
      Часть IV. КОНСТРУКЦИИ, НЕ ЗАВИСЯЩИЕ ОТ ИСПОЛНЕНИЯ
      8. Изображения (235).
      9. Знаки и символы (247).
      Часть V. ЯЗЫКОВАЯ ОБСТАНОВКА И ПРИМЕРЫ
      10. Стандартная языковая обстановка (271).
      11. Примеры (455).
      12. Словари (495).
ИЗ ИЗДАНИЯ: Книга представляет собой итог многолетней работы, проведенной Международной федерацией по обработке информации (ИФИП). Она отражает те изменения и усовершенствования в языке Алгол 68, которые произошли за последнее время. В частности, разработан новый подход к описанию языка. В данной книге объединены английский оригинал и его русский перевод, представляющий собой русский вариант Алгола 68. Это создает дополнительные удобства для советских специалистов.
Книга интересна специалистам в области вычислительной математики, программирования и математического обеспечения ЭВМ. Она необходима всем занимающимся программированием на Алголе 68.
  • Сингер М. Мини-ЭВМ PDP-11: Программирование на языке ассемблера и организация машины. (1980) [Djv-14.4M] Перевод с английского А.Ю. Каргашина и А.С. Миркотан под редакцией Ю.М. Банковского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1984. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      1. Введение (11).
      2. Основы (48).
      3. Структура программы (95).
      4. Периферийное оборудование (174).
      Приложение А. ODT (238).
      Приложение Б. Арифметика (248).
      Коды ASCII (259).
      Система команд PDP-11 (260).
      Указатель макрокоманд в ассемблере MACRO-11 (263).
      Предметный указатель (264).
ИЗ ИЗДАНИЯ: Книга американского специалиста представляет собой подробное Учебное пособие по программированию на языке ассемблера для машины PDP-11, послужившей прототипом для отечественных мини-ЭВМ СМ-3, СМ-4 и др. Рассмотрены такие вопросы, как ввод-вывод, механизм прерываний, управление памятью. Книга содержит многочисленные примеры и упражнения.
Для всех, кто работает о мини-ЭВМ.
  • Спивак М. Восхитительный TeX: Руководство по комфортному изготовлению научных публикаций в пакете AMS-TeX. [Djv- 2.2M]
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      От переводчика и редактора (5).
      Предисловие ко второму изданию (7).
      Слова признательности (8).
      Прочь половые признаки (9).
      Введение. О сложных видах набора (10).
      Часть 1. Закуски (15).
      Часть 2. Дежурные блюда (49).
      Часть 3. Напитки и приправы (110).
      Приложения (179).
      Предметный указатель (260).
ИЗ ИЗДАНИЯ: Книга американского специалиста, представляющая собой руководство по издательской системе AMS-TeX, предназначенной для подготовки научных публикаций с большим количеством математических формул. Эта система работает как на больших ЭВМ, так и на персональных компьютерах. Приведенных в книге сведений вполне достаточно для практической подготовки научных статей к публикации. Изложение рассчитано на неподготовленного пользователя и сопровождается большим числом примеров и упражнений.
Для научных работников, самостоятельно готовящих к изданию свои публикации, для специалистов по издательским системам, аспирантов и студентов соответствующих специальностей.
  • Требования и спецификации в разработке программ: Сборник статей. (1984) [Djv- 9.0M] Перевод с английского под редакцией В.Н. Агафонова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1984. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: pohorsky, 2014
    • СОДЕРЖАНИЕ:
      Предисловие (5).
      Д. Тейчроу, Э. Херши. PSL/PSA: автоматизированная методика структурированного документирования и анализа систем обработки информации. Перевод В.С. Нумерова (7).
      Ф. Бауэр, М. Брой, Р. Гнац, В. Хессе, Б. Криг-Брюкнер, X. Партш, П. Пеппер, Г. Весснер. На пути к языку широкого спектра для поддержки спецификации и разработки программ Перевод М.Б. Трахтенброта (28).
      Т. Белл, Д. Бикслер, М. Дайер. Расширяемая система автоматизированной разработки требований к программному обеспечению. Перевод С.Ю. Дедерера (47).
      П. Лауэр, М. Шилдс. Об абстрактной спецификации и формальном анализе свойств параллельных систем. Перевод А.В. Быстрова (77).
      К. Хенинджер. Описание требований к программному обеспечению для сложных систем: новые методы и их применение. Перевод В.С. Нумерова (106).
      Р. Накадзима, М. Хонда, X. Накахара. Иерархическая спецификация и верификация программ: подход, базирующийся на многосортной логике. Перевод М.Б. Трахтенброта (135).
      Дж. Смит, Д. Смит. Принципы концептуального проектирования баз данных. Перевод В.Н. Агафонова (165).
      Д. Массер. Спецификация абстрактных типов данных в системе AFFIRM. Перевод М.Б. Трахтенброта (199).
      Я. Соренсен. Язык спецификаций. Перевод В.С. Нумерова (223).
      Д. Росс. Структурный анализ (SA): язык для передачи понимания. Перевод В.С. Нумерова (240).
      В.Н. Агафонов. Языки и средства спецификации программ (обзор) (285).
ИЗ ИЗДАНИЯ: Сборник посвящен важному этапу разработки программ - определению общих требований к программе и точному описанию задачи, которую она должна решать. Он содержит работы по универсальным языкам спецификаций, языкам описания систем обработки информации, баз данных и методологии разработки спецификаций. Представлены как широко признанные методики, так и новые экспериментальные. В числе авторов - известные специалисты Д. Росс (США), Ф. Баузр (ФРГ) и др.
Для программистов и математиков, интересующихся проблемами программирования.
  • Турский В. Методология программирования. [Djv- 2.1M] Перевод с английского Н.А. Черемных и И.В. Шитовой под редакцией А.П. Ершова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1981. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      Как пользоваться этой книгой (10).
      1. Введение (11).
      2. Основные программные конструкты (16).
      3. Взаимодействие модулей (90).
      4. Проектирование программ (165).
      Список литературы (256).
ИЗ ИЗДАНИЯ: Монография, написанная профессором Варшавского университета, отражает коллективный опыт Рабочей группы по методологии программирования Международной федерации по обработке информации (в группу входили Н. Вирт, У. Дал, Э. Дейкстра, Д. Грис, Ч. Хоар и др.). Она охватывает три круга вопросов: основные программные конструкты, модульная структура программ и проектирование программ.
Для программистов, желающих углубить понимание предмета, для преподавателей, аспирантов и студентов университетов и втузов.
  • Фокс Дж. Программное обеспечение и его разработка. [Fb2- 2.9M] [Rtf- 3.5M] Перевод с английского.
    (Москва: Издательство «Мир», 1985. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат: ???, предоставил: Валерий Киселев, 2013
    • КРАТКОЕ СОДЕРЖАНИЕ:
      Предисловие редактора перевода.
      Предисловие.
      Глава 1. Что такое программное обеспечение?
      Глава 2. Вычислительная машина и способы ее использования.
      Глава 3. Понятие производительности.
      Глава 4. Таксономия программного обеспечения.
      Глава 5. Разработка программного обеспечения.
      Глава 6. Руководство разработкой программного обеспечения.
      Глава 7. Некоторые новые важнейшие принципы вычислительной техники.
      Глава 8. Перспективы.
      Предметный указатель.
ИЗ ИЗДАНИЯ: Автор книги - американский специалист по программированию, один из руководителей фирмы IBM, в своей книге делает попытку изложить общие проблемы создания программного обеспечения, его сопровождения и использования. Особенно подробно рассматриваются все фазы разработки программ разных типов. Изложение ясное, удачно иллюстрировано примерами.
Для программистов разной квалификации и пользователей ЭВМ.
  • Фостер Дж. Автоматический синтаксический анализ. (1970) [Djv- 511k] Перевод с английского В.В. Мартынюка. Под редакцией Э.З. Любимского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1975. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      1. Введение (5).
      2. Контекстно-свободные грамматики (9).
      3. Грамматический разбор (16).
      4. Универсальные методы грамматического разбора (21).
      5. Специальные методы грамматического разбора (35).
      6. Преобразования грамматик (49).
      7. Использование грамматического анализа для компиляции (57).
      Приложение 1. Элементарная обработка списков (63).
      Приложение 2. Алгоритм грамматического разбора сверху вниз (66).
      Список литературы (69).
ИЗ ИЗДАНИЯ: Книга посвящена систематическому рассмотрению методов синтаксического анализа, применяемых при компиляции программ для ЭВМ. Она написана на высоком научном уровне, однако от читателя не требуется предварительных знаний о формальных грамматиках и работе компиляторов, а предполагается только знакомство с основами программирования. Описываемые алгоритмы приведены на несколько модифицированном Алголе.
Последовательное изложение проблем синтаксического анализа языков программирования представляет большой интерес для разработчиков систем программирования. Книга будет полезна также студентам и аспирантам, занимающимся программированием.
  • Фостер Дж. Обработка списков. (1968) [Pdf- 1.4M] Перевод с английского В.В. Мартынюка под редакцией Э.З. Любимского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1974. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат: Валерий Киселев, 2013
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      От издательства (5).
      1. Введение (7).
      2. Представление списков (11).
      3. Операции над списками (21).
      4. Более сложные свойства (32).
      5. Пример обработки списков (40).
      6. Сборка мусора (45).
      7. Некоторые типичные языки обработки списков (55).
      8. Будущее обработки списков (67).
      Список литературы (70).
ИЗ ИЗДАНИЯ: Книга содержит систематическое описание методов обработки списков, необходимых каждому программисту при работе с задачами со сложными данными. В ней описывается применение методов обработки списков в процессе программирования, а также представление списков в машинной памяти. Проводится сравнение некоторых языков программирования, специально предназначенных для обработки списков.
Книга представляет несомненный интерес для широкого круга читателей, занимающихся программированием. Она доступна читателям с небольшими познаниями в программировании и будет полезна специалистам, работающим в области автоматизированных систем управления (АСУ).
  • Хамби Э. Программирование таблиц решений. (1973) [Djv- 3.9M] Перевод с английского С.В. Диева. Под редакцией Э.З. Любимского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1976. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие (5).
      1. Свойства таблиц решений (7).
      2. От таблиц решений к машинным программам (20).
      3. Об общности таблиц решений (27).
      4. Преобразование, гарантирующее лучшее решение (34).
      5. Подробнее о преобразовании ветвей (40).
      6. Методы определения следующей проверки (47).
      7. Компромиссные методы (56).
      8. Некоторые другие факторы (58).
      9. Влияние частот правил решения (63).
      10. Действия (70).
      11. Непроцедурные языки (73).
      12. Заключение (81).
      Список литературы (83).
ИЗ ИЗДАНИЯ: Книга посвящена изложению методов трансляции с одного из непроцедурных языков программирования - с языка таблиц решений. Программы, написанные на этом языке, позволяют удобно описывать сложные ситуации, возникающие при системном анализе. Таблицы решений представляют собой новый перспективный метод программирования, который находит применение при решении многих задач системного анализа.
Книга предназначена для разработчиков АСУ, системных аналитиков и системных программистов, занимающихся разработкой трансляторов. Она может служить учебным пособием для студентов, изучающих методы трансляции.
  • Хендерсон П. Функциональное программирование: Применение и реализация. (1980) [Djv- 5.7M] Перевод с английского Л.Т. Петровой под редакцией А.П. Ершова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1983. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Ильгиз Каримов, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (8).
      Глава 1. Функции и программы (11).
      Глава 2. Строго функциональный язык (23).
      Глава 3. Простые функциональные программы (67).
      Глава 4. Представление и интерпретация программ (99).
      Глава 5. Соответствия между функциональными и императивными программами (130).
      Глава 6. Архитектура машины для функциональных программ (164).
      Глава 7. Недетерминистские примитивы и программы с возвратами (197).
      Глава 8. Вычисления с задержкой - функциональным подход к параллелизму (212).
      Глава 9. Функции высших порядков (240).
      Глава 10. Языки программирования и методы программирования (264).
      Глава 11. Инструментарий функционального программирования (278).
      Глава 12. Основы машинного обеспечения инструментария функционального программирования (303).
      Приложение 1. Ответы к некоторым упражнениям (329).
      Приложение 2. Компилятор для инструментального Лиспа (333).
      Приложение 3. Библиография (336).
      Алфавитный указатель (340).
ИЗ ИЗДАНИЯ: Книга английского специалиста по программированию» обобщающая опыт использования функционального программирования. Обсуждаются особенности функциональных языков и возможности их реализации на современных ЭВМ. Изложение иллюстрируется многочисленными примерами.
Для программистов, математиков-прикладников, для всех, кто преподает и изучает программирование.
  • Хенли Дж. Автоматизированная библиотека и информационные системы. (1972) [Djv- 6.0M] Перевод с английского Д.А. Корягина. Под редакцией В.В. Мартынюка.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1974. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Из предисловия к первому изданию (5).
      Предисловие ко второму изданию (6).
      1. Зачем нужна автоматизированная библиотечная система (7).
      2. Предварительные сведения о вычислительных машинах (10).
      3. Что нужно библиотечной системе (22).
      4. Аппаратное оборудование вычислительной машины (33).
      5. Программное обеспечение и программирование (39).
      6. Структура файлов (48).
      7. Информационный поиск (56).
      8. Некоторые примеры программной реализации (77).
      9. Общие принципы автоматизированной информационной системы (102).
      Приложение А. О бэкусовской нормальной форме (111).
      Приложение Б. Некоторые действующие системы (113).
      Список литературы (115).
ИЗ ИЗДАНИЯ: В книге известного английского специалиста в области системного программирования Дж. Хенли рассматриваются способы использования вычислительных машин в автоматизированных библиотеках и различных поисковых системах. Автор подчеркивает, что поскольку библиотеки принадлежат к сфере обслуживания, то использование вычислительной машины должно быть организовано так, чтобы полностью учитывались запросы и нужды абонентов. В книге приводятся примеры типичных программ, обеспечивающих обработку информации, а также предлагаются критерии оценки эффективности работы библиотеки.
Книга будет полезна как системным программистам, так и библиотечным работникам. Кстати, для последних в одной из глав дается простое изложение общих принципов организации вычислительной машины.
  • Хигман Б. Сравнительное изучение языков программирования. (1969) [Djv- 2.1M] Перевод с английского Л.В. Ухова. Под редакцией В.В. Мартынюка.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1974. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      1. Введение (7).
      2. Общее понятие языка (14).
      3. Рекурсия (27).
      4. Польская запись (33).
      5. Теория имен (36).
      6. Язык и система (49).
      7. Структура формальных языков (55).
      8. Макрогенератор (73).
      9. От машинного кода к Фортрану (85).
      10. Кобол (97).
      11. Алгол (110).
      12. Языки обработки списков (122).
      13. Языки CPL и PL/I (130).
      14. Ввод и вывод (160).
      15. Разное о языках программирования (177).
      Список литературы (197).
ИЗ ИЗДАНИЯ: В книге систематизированы общие принципы, лежащие в основе различных языков программирования. Ее можно рассматривать и как вводный курс при изучении конкретных языков, в частности языков АЛГОЛ, ФОРТРАН и КОБОЛ. Довольно подробно рассматриваются основные понятия и конструкции языков программирования. Изложение материала иллюстрируется большим количеством примеров на самых различных языках.
Книга будет полезна студентам, аспирантам и специалистам, занимающимся математическим обеспечением ЭВМ. Она также представляет значительный интерес для читателей, которые хотят познакомиться со структурой языков в целом и с использованием языков как средства общения.
  • Холл П. Вычислительные структуры. Введение в нечисленное программирование. (1975) [Djv-10.2M] Перевод с английского И.Л. Любимской и Н.Б. Фейгельсон. Под редакцией Э.З. Любимского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1978. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (6).
      Введение (10).
      1. Абстрактные структуры информации и алгоритмов (14).
      2. Машинные структуры: память и управление (37).
      3. Обработка строк (78).
      4. Файлы и таблицы (105).
      5. Сортировка (168).
      Список литературы (207).
ИЗ ИЗДАНИЯ: Книга содержит систематическое изложение основ современных методов обработки данных. В ней подробно изучаются информационные структуры, характерные для нечислового применения ЭВМ, такие, как строки, таблицы и файлы. Описываются соответствующие им абстрактные структуры - графы, деревья, списки, стеки и методы их организации в машинной памяти. Специальная глава посвящена сортировке таблиц во внутренней и внешней памяти. Изложение хорошо продумано и богато иллюстрировано примерами. Каждая глава сопровождается упражнениями.
Книга принесет большую пользу как студентам, изучающим программирование, так и специалистам по АСУ, системному программированию и другим применениям ЭВМ.
  • Хьюз Ч... Методы программирования: курс на основе Фортрана. (1978) [Djv-16.4M] Авторы: Ч. Хьюз, Ч. Пфлигер, Л. Роуз. Перевод с английского Ю.В. Ступина под редакцией Ю.М. Баяковского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1981. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      Глава 0. Предварительные сведения (11).
      Глава 1. Стиль программирования (64).
      Глава 2. Процедуры (115).
      Глава 3. Программирование нечисленных задач (155).
      Глава 4. Ввод/вывод: магнитные ленты и диски (184).
      Глава 5. Структура данных (227).
      Глава 6. Представление данных в машине (265).
      Глава 7. Структура простой ЭВМ (287).
      Глава 8. Эффективное программирование с использованием средств операционной системы (301).
      Приложение 1. Встроенные подпрограммы-функции общего назначения (314).
      Приложение 2. Различия между Фортраном 4 и Фортраном 77 (316).
      Предметный указатель (320).
ИЗ ИЗДАНИЯ: Известные американские авторы ставят своей целью помочь начинающим программистам в совершенствовании техники программирования на языке Фортран IV. Рассмотрены структура языка, методы повышения эффективности программ, ввод/вывод на магнитных лентах и дисках, подпрограммы, неарифметические операции, структуры данных. Приводятся краткие сведения о языке Фортран 77 и управлении заданиями в операционных системах.
Для всех, кто изучает язык Фортран или программирует на нем.
  • Эрбс Х.-Э... Введение в программирование на языке Паскаль. [Djv-13.0M] Авторы: Х.-Э. Эрбс, О. Штольц. Перевод с немецкого В.Г. Бульбы под редакцией В.Н. Соболева. Учебное издание.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1989. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      Предисловие к третьему изданию (9).
      Перед употреблением прочитать (10).
      1. Первый шаг всегда самый трудный (15).
      2. Капля за каплей камень долбит (37).
      3. Правильные решения даются с трудом (61).
      4. Конструирование методом проб (78).
      5. Самому все изобретать не обязательно (97).
      6. Делай все строго по порядку (115).
      7. Сплоченными рядами (137).
      8. Как образуется конгломерат (154).
      9. Куда иголка, туда и нитка (164).
      10. Объединенными усилиями (181).
      11. Кто порядок любит, тому лень искать (204).
      12. Кое-что о цепочках и деревьях (222).
      13. Что еще можно сказать (237).
      14. Паскаль UCSD для персонального компьютера apple II (250).
      Так вот где собака зарыта? (267).
      Коротко о важном ,281
      Где что найти (289).
ИЗ ИЗДАНИЯ: Книга специалистов из ФРГ, посвященная популярному языку программирования Паскаль. Она написана простым языком, содержит большое число примеров, постепенно знакомящих начинающих программистов с приемами программирования на Паскале. В ней много поясняющих иллюстраций и рисунков, помогающих усвоению материала. Перевод сделан с 3-го переработанного издания.
Для всех изучающих и применяющих язык Паскаль.
  • Эшли Р... Язык управления заданиями. (1978) [Djv- 7.2M] Авторы: Р. Эшли, Д. Фернандес. Перевод с английского Т.Н. Михайловой под редакцией Ю.М. Баяковского.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1981. - Серия «Математическое обеспечение ЭВМ»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      К читателю (7).
      Как пользоваться этой книгой (9).
      Глава 1. Основные понятия JCL (11).
      Глава 2. Элементы JCL (32).
      Глава 3. Наборы данных на ленте (49).
      Глава 4. Многошаговое задание (71).
      Глава 5. Дисковые наборы данных (88).
      Глава 6. Дополнительные параметры в JCL-командах (113).
      Глава 7. Реальные применения языка управления заданиями (126).
      Глава 8. Работа с библиотеками (141).
      Приложение А. Почему JCL? (158).
      Приложение Б. Данные и наборы данных (160).
      Глоссарий (164).
      Предметный указатель (168).
ИЗ ИЗДАНИЯ: Первая на русском языке книга по языку управления заданиями систем IBM 360 и 370. В этой книге, принадлежащей американским авторам, подробно изложены понятия языка управления заданиями, содержится много иллюстративных примеров, приводятся контрольные упражнения. Знание языка управления заданиями позволит программистам эффективно и гибко использовать средства ОС ЕС ЭВМ.
Для программистов, работающих с ЕС ЭВМ и студентов, изучающих операционные системы.