Типы в языках программирования: пер. с англ.

Типы в языках программирования: пер. с англ.

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Пирс Б. Бенджамин
Ամփոփում:	Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Լեզու:	ռուսերեն
Հրապարակվել է:	Москва, Лямбда пресс, 2012
Խորագրեր:	Языки программирования математический аппарат бестиповые системы арифметические выражения лямбда-исчисление типизированные системы простые расширения подтипы рекурсивные типы полиморфизм системы высших порядков
Ձևաչափ:	Գիրք
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212025

Նմանատիպ նյութեր

Язык программирования учебное пособие
‌: Потапов И. И.
Հրապարակվել է: (Хабаровск, ДВГУПС, 2019)

Данные в языках программирования. Абстракция и типология: [сборник статей]; пер. с англ.; Типы и абстракция данных в языках программирования
Հրապարակվել է: (Москва, Мир, 1982)

Python 3. Самое необходимое
‌: Прохоренок Н. А. Николай Анатольевич
Հրապարակվել է: (Санкт-Петербург, БХВ-Петербург, 2016)

Изучаем Java: пер. с англ.
‌: Сьерра К. Кэти
Հրապարակվել է: (Москва, Эксмо, 2016)

Программируем на Python: [пособие для начинающих]; пер. с англ.
‌: Доусон М. Майкл
Հրապարակվել է: (Санкт-Петербург, Питер, 2015)

Язык программирования Бейсик для микроЭВМ
‌: Корчак А. Е.
Հրապարակվել է: (Москва, Изд во МНИИПУ, 1988)

Проблемно-ориентированный язык программирования ТЕСТ: [монография]
Հրապարակվել է: (Кишинев, Штиинца, 1978)

Основы программирования на языках C и C ++: Учебный курс
‌: Ашарина И. В. Ирина Владимировна
Հրապարակվել է: (Москва, Горячая линия-Телеком, 2002)

Язык программирования Java: пер. с англ.
‌: Арнольд К. Кен
Հրապարակվել է: (Санкт-Петербург, Питер, 1997)

Язык программирования Поляр: описание, использование, реализация
‌: Марчук А. Г. Александр Гурьевич
Հրապարակվել է: (Новосибирск, Изд-во ВЦ СО АН СССР, 1986)

От фортрана - к PL/1. Основы языка PL/1
‌: Безбородов Ю. М. Юрий Михайлович
Հրապարակվել է: (Москва, Наука, 1984)

Языки программирования: учебное пособие
‌: Голицына О. Л. Ольга Леонидовна
Հրապարակվել է: (Москва, Форум, 2008)

Сравнительный курс языка PL/I (на основе алгола-60)
‌: Безбородов Ю. М. Юрий Михайлович
Հրապարակվել է: (Москва, Наука, 1980)

Язык программирования Ruby: пер. с англ.
‌: Флэнаган Д. Дэвид
Հրապարակվել է: (СПб., Питер, 2011)

Язык программирования Turbo C++: учебное пособие
‌: Намиот Д. Е. Дмитрий Евгеньевич
Հրապարակվել է: (Москва, Изд-во Московского ун-та, 1991)

Язык программирования Си: справочник; пер. с англ.
‌: Болски М. И.
Հրապարակվել է: (Москва, Радио и связь, 1988)

Технология программирования на C++. Начальный курс: учебное пособие
‌: Литвиненко Н. А. Николай Аркадьевич
Հրապարակվել է: (СПб., БХВ-Петербург, 2005)

Языки программирования: учебник
‌: Баженова И. Ю. Ирина Юрьевна
Հրապարակվել է: (Москва, Академия, 2012)

Язык Ассемблера для IBM PC и программирования: пер. с англ.
‌: Абель П. Питер
Հրապարակվել է: (Москва, Высшая школа, 1992)

C#: сборник рецептов
‌: Агуров П. В. Павел Владимирович
Հրապարակվել է: (Санкт-Петербург, БХВ-Петербург, 2007)

Программирование на языке Си: учебное пособие для вузов
‌: Подбельский В. В. Вадим Валериевич
Հրապարակվել է: (Москва, Финансы и статистика, 2009)

Универсальные коллекции языка С# учебное пособие
‌: Зайцев М. Г.
Հրապարակվել է: (Новосибирск, НГТУ, 2022)

Дифференциальные уравнения и системы дифференциальных уравнений учебно-методическое пособие для студентов физико-математического факультета
‌: Крум Е. В.
Հրապարակվել է: (Кызыл, ТувГУ, 2018)

Средства повышения устойчивости моделей объектов на основе симуляции системы типов; Информационные технологии в науке, управлении, социальной сфере и медицине; Ч. 2
‌: Вольфенгаген В. Э.
Հրապարակվել է: (2017)

Фортран и мониторная система
Հրապարակվել է: (Москва, Статистика, 1970)

Этюды на языках QBasic, QuickBasic и Basic Compiler
‌: Очков В. Ф. Валерий Федорович
Հրապարակվել է: (Москва, Финансы и статистика, 1995)

Язык программирования Perl 5: учебное пособие
‌: Шохирев М. В. Михаил Васильевич
Հրապարակվել է: (Москва, БИНОМ. Лаборатория знаний, 2013)

Предметно-ориентированные языки программирования: пер. с англ.
‌: Фаулер М. Мартин
Հրապարակվել է: (Москва, Вильямс, 2011)

Теория и практика языков программирования: учебник
‌: Орлов С. А. Сергей Александрович
Հրապարակվել է: (Санкт-Петербург, Питер, 2013)

Основы программирования в примерах на языке PASCAL учебное пособие
‌: Демидов Д. В.
Հրապարակվել է: (Москва, НИЯУ МИФИ, 2010)

Как устроен PYTHON. Гид для разработчиков, программистов и интересующихся: пер. с англ.
‌: Харрисон М. Мэтт
Հրապարակվել է: (Санкт-Петербург, Питер, 2019)

Python Scripting for Computational Science
‌: Langtangen H. P. Nans Petter
Հրապարակվել է: (Berlin, Springer, 2008)

Java 2: наиболее полное руководство: пер. с англ.
‌: Ноутон П. Патрик
Հրապարակվել է: (СПб., БХВ-Петербург, 2008)

Java. Новое поколение разработки. Техники Java 7 и многоязычное программирование: пер. с англ.
‌: Эванс Б. Бенджамин
Հրապարակվել է: (Санкт-Петербург, Питер, 2014)

Основные классы Java учебное пособие
‌: Ляликова В. Г.
Հրապարակվել է: (Воронеж, ВГУ, 2020)

Основы программирования на С#: учебное пособие
‌: Биллиг В. А. Владимир Арнольдович
Հրապարակվել է: (Москва, Интернет-Университет Информационных Технологий, 2009)

Программное обеспечение языка ГИМАП: материалы по программному обеспечению ЭВМ
Հրապարակվել է: (Минск, Изд-во Ин-та технической кибернетики, 1988)

Связь разноязыковых модулей в ОС ЕС
‌: Лаврищева Е. М. Екатерина Михайловна
Հրապարակվել է: (Москва, Финансы и статистика, 1982)

Определение языков программирования интерпретирующими автоматами: пер. с англ.
‌: Оллонгрен А.
Հրապարակվել է: (Москва, Мир, 1977)

Сборник задач по математике для поступающих в вузы: учебное пособие
Հրապարակվել է: (СПб., Питер, 2007)