Отображение
1 - 1
результаты of
1
Пропуск в контексте
VuFind
Язык
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Все поля
Заглавие
Автор
Предмет
ISBN/ISSN
Метка
Идентификатор
Найти
Расширенный поиск
Страница перезагрузится после удаления фильтра.
Сбросить фильтры
Применяемые фильтры:
Предлагаемые темы:
Удалить фильтр
бестиповые системы
Страница перезагрузится после удаления фильтра.
Сбросить фильтры
Показать фильтры (1)
Предлагаемые темы:
Удалить фильтр
бестиповые системы
Результаты поиска
Результаты поиска
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Языки программирования
1
арифметические выражения
1
бестиповые системы
лямбда-исчисление
1
математический аппарат
1
подтипы
1
полиморфизм
1
простые расширения
1
рекурсивные типы
1
системы высших порядков
1
типизированные системы
1
Отображение
1 - 1
результаты of
1
Уточнить результаты
Сортировка
Релевантность
Нижняя дата
Верхняя дата
Шифр
Автор
Заглавие
1
Типы в языках программирования пер. с англ.
по
Пирс Б. Бенджамин
Опубликовано Москва, Лямбда пресс, 2012
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Книга
Загрузка...
Инструменты поиска:
RSS-поток
Отправить результаты поиска по Email
Назад
Уточнить результаты
Страница будет перезагружена при выборе или исключении фильтра.
Материалы конференции
Институт
НИ ТПУ
1 результатов
1
Библиотека
НТБ
1 результатов
1
Включите JavaScript.
Формат
Книга
1 результатов
1
Автор
Пирс Б. Бенджамин
1 результатов
1
Иерархический уровень
нулевои
1 результатов
1
Дата издания
от:
по: