Функциональное программирование. Применение и реализация, пер. с англ.
| Prif Awdur: | Хендерсон П. |
|---|---|
| Cyhoeddwyd: |
Москва, Мир, 1983
|
| Cyfres: | Математическое обеспечение ЭВМ |
| Pynciau: | |
| Fformat: | Llyfr |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=304102 |
Eitemau Tebyg
Доказательство правильности программ пер. с англ.
gan: Андерсон Р. Роберт
Cyhoeddwyd: (Москва, Мир, 1982)
gan: Андерсон Р. Роберт
Cyhoeddwyd: (Москва, Мир, 1982)
Трехмерное подмножество языка ГИМАП материалы по математическому обеспечению ЭВМ
Cyhoeddwyd: (Минск, Изд-во Ин-та технической кибернетики АН БССР, 1987)
Cyhoeddwyd: (Минск, Изд-во Ин-та технической кибернетики АН БССР, 1987)
Вып. 93: Системное и теоретическое программирование
Cyhoeddwyd: (1987)
Cyhoeddwyd: (1987)
Общесистемное математическое обеспечение ЭВМ третьего поколения для обработки данных
gan: Зайцев Н. Г. Николай Георгиевич
Cyhoeddwyd: (Москва, Статистика, 1980)
gan: Зайцев Н. Г. Николай Георгиевич
Cyhoeddwyd: (Москва, Статистика, 1980)
Операционная система реального времени ЭВМ СМ-4 учебное пособие
gan: Зацепин Н. Г. Николай Григорьевич
Cyhoeddwyd: (Рига, Изд-во МИПКСНХ, 1984)
gan: Зацепин Н. Г. Николай Григорьевич
Cyhoeddwyd: (Рига, Изд-во МИПКСНХ, 1984)
Математическое обеспечение и автоматизация проектирования ЭВМ труды института
Cyhoeddwyd: (Москва, Изд-во ИНЭУМ, 1981)
Cyhoeddwyd: (Москва, Изд-во ИНЭУМ, 1981)
Функциональное и логическое программирование. Ч. 1 учебное пособие
Cyhoeddwyd: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2010)
Cyhoeddwyd: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2010)
Прикладная математика и математическое обеспечение ЭВМ [тематический сборник]
Cyhoeddwyd: (Москва, Изд-во МЭИ, 1975)
Cyhoeddwyd: (Москва, Изд-во МЭИ, 1975)
Функциональное программирование учебник и практикум для вузов
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2023)
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2023)
Функциональное программирование учебник и практикум для вузов
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2022)
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2022)
Функциональное программирование учебник и практикум для вузов
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2025)
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2025)
Функциональное программирование учебник и практикум для вузов
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2024)
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2024)
Функциональное программирование учебник и практикум для вузов
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2021)
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2021)
Лабораторный практикум по математическому обеспечению ЭВМ. Ч. 3 : Операционные системы учебное пособие для вузов
gan: Буза М. К. Михаил Константинович
Cyhoeddwyd: (Минск, Вышэйшая школа, 1984)
gan: Буза М. К. Михаил Константинович
Cyhoeddwyd: (Минск, Вышэйшая школа, 1984)
Функциональное программирование на языке Haskell
gan: Душкин Р. В.
Cyhoeddwyd: (Москва, ДМК Пресс, 2008)
gan: Душкин Р. В.
Cyhoeddwyd: (Москва, ДМК Пресс, 2008)
Лабораторный практикум по математическому обеспечению ЭВМ учебное пособие для студентов вузов
gan: Буза М. К. Михаил Константинович
Cyhoeddwyd: (Минск, Вышэйшая школа, 1983)
gan: Буза М. К. Михаил Константинович
Cyhoeddwyd: (Минск, Вышэйшая школа, 1983)
Математическое обеспечение ЭВМ, комплексов и сетей сборник научных трудов
Cyhoeddwyd: (Москва, Изд-во МЭИ, 1986)
Cyhoeddwyd: (Москва, Изд-во МЭИ, 1986)
Прикладная математика и математическое обеспечение ЭВМ межвузовский сборник научных трудов
Cyhoeddwyd: (Москва, Изд-во МИРЭА, 1982)
Cyhoeddwyd: (Москва, Изд-во МИРЭА, 1982)
Алгебра и дискретная математика. Теоретические основы математического обеспечения ЭВМ сборник научных трудов (межвузовский)
Cyhoeddwyd: (Рига, Изд-во ЛГУ, 1986)
Cyhoeddwyd: (Рига, Изд-во ЛГУ, 1986)
Функциональное и логическое программирование учебное пособие
gan: Озерова И. Г. Ирина Геннадьевна
Cyhoeddwyd: (Томск, Изд-во ТПУ, 2005)
gan: Озерова И. Г. Ирина Геннадьевна
Cyhoeddwyd: (Томск, Изд-во ТПУ, 2005)
Программирование на ПЛ/ОС ЕС
Cyhoeddwyd: (Москва, Статистика, 1979)
Cyhoeddwyd: (Москва, Статистика, 1979)
Программирование. Функциональный подход учебник и практикум для вузов
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2022)
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2022)
Программирование. Функциональный подход учебник и практикум для вузов
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2023)
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2023)
Программирование. Функциональный подход учебник и практикум для вузов
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2025)
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2025)
Программирование. Функциональный подход учебник и практикум для вузов
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2021)
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2021)
Программирование. Функциональный подход учебник и практикум для вузов
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2024)
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2024)
Программирование. Функциональный подход учебник и практикум для вузов
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2023)
gan: Зыков С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Юрайт, 2023)
Т. 1: Введение в язык Лисп и функциональное программирование
Cyhoeddwyd: (1990)
Cyhoeddwyd: (1990)
Профессиональное программирование. Системный подход
gan: Одинцов И. О. Игорь Олегович
Cyhoeddwyd: (СПб., БХВ-Петербург, 2004)
gan: Одинцов И. О. Игорь Олегович
Cyhoeddwyd: (СПб., БХВ-Петербург, 2004)
Ч. 2 : Прикладное программирование
Cyhoeddwyd: (1995)
Cyhoeddwyd: (1995)
Функциональное и логическое программирование учебное пособие
gan: Ездаков А. Л. Андрей Леонидович
Cyhoeddwyd: (Москва, БИНОМ. Лаборатория знаний, 2009)
gan: Ездаков А. Л. Андрей Леонидович
Cyhoeddwyd: (Москва, БИНОМ. Лаборатория знаний, 2009)
Квантовые вычисления и функциональное программирование
gan: Душкин Р. В. Роман Викторович
Cyhoeddwyd: (Москва, ДМК Пресс, 2015)
gan: Душкин Р. В. Роман Викторович
Cyhoeddwyd: (Москва, ДМК Пресс, 2015)
Математическое обеспечение ЭВМ типа М-20 (программы решения краевых задач термоупругости)
Cyhoeddwyd: (Свердловск, [Б. и.], 1977)
Cyhoeddwyd: (Свердловск, [Б. и.], 1977)
Функциональное программирование учебник и практикум для академического бакалавриата
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2018)
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2018)
Диалог на языке бейсик для мини- и микроЭВМ
gan: Кетков Ю. Л. Юлий Лазаревич
Cyhoeddwyd: (Москва, Наука, 1988)
gan: Кетков Ю. Л. Юлий Лазаревич
Cyhoeddwyd: (Москва, Наука, 1988)
Переворот в сознании: дети, компьютеры и плодотворные идеи пер. с англ.
gan: Пейперт С. Сеймур
Cyhoeddwyd: (Москва, Педагогика, 1989)
gan: Пейперт С. Сеймур
Cyhoeddwyd: (Москва, Педагогика, 1989)
Просто и ясно о Borland C+ пер. с англ.
gan: Бабэ Б. Бруно
Cyhoeddwyd: (Москва, Бином, 1995)
gan: Бабэ Б. Бруно
Cyhoeddwyd: (Москва, Бином, 1995)
Программирование на языке паскаль
gan: Семашко Г. Л. Галина Львовна
Cyhoeddwyd: (Москва, Наука, 1988)
gan: Семашко Г. Л. Галина Львовна
Cyhoeddwyd: (Москва, Наука, 1988)
Программирование, отладка и решение задач на ЭВМ единой серии. Язык Фортран учебное пособие
Cyhoeddwyd: (Ленинград, Энергоатомиздат, 1988)
Cyhoeddwyd: (Ленинград, Энергоатомиздат, 1988)
Программирование, отладка и решение задач на ЭВМ единой серии. Язык ПЛ/1 учебное пособие
Cyhoeddwyd: (Ленинград, Энергоатомиздат, 1989)
Cyhoeddwyd: (Ленинград, Энергоатомиздат, 1989)
Eitemau Tebyg
-
Доказательство правильности программ пер. с англ.
gan: Андерсон Р. Роберт
Cyhoeddwyd: (Москва, Мир, 1982) -
Трехмерное подмножество языка ГИМАП материалы по математическому обеспечению ЭВМ
Cyhoeddwyd: (Минск, Изд-во Ин-та технической кибернетики АН БССР, 1987) -
Вып. 93: Системное и теоретическое программирование
Cyhoeddwyd: (1987) -
Общесистемное математическое обеспечение ЭВМ третьего поколения для обработки данных
gan: Зайцев Н. Г. Николай Георгиевич
Cyhoeddwyd: (Москва, Статистика, 1980) -
Операционная система реального времени ЭВМ СМ-4 учебное пособие
gan: Зацепин Н. Г. Николай Григорьевич
Cyhoeddwyd: (Рига, Изд-во МИПКСНХ, 1984)