Показ
1 - 1
результатів із
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
результатів із
1
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
1
Типы в языках программирования пер. с англ.
за авторством
Пирс Б. Бенджамин
Опубліковано Москва, Лямбда пресс, 2012
Шифр:
Завантаження...
Розміщений:
Завантаження...
Книга
Завантаження...
Інструменти для пошуку:
Отримати RSS-стрічку
Відправити пошук е-поштою
Назад
Уточнити результати
Сторінка перезавантажиться, коли фільтр буде вибрано або виключено.
Матеріали конференцій
Організація
НИ ТПУ
1 результатів
1
Бібліотека
НТБ
1 результатів
1
Включіть JavaScript.
Формат
Книга
1 результатів
1
Автор
Пирс Б. Бенджамин
1 результатів
1
Hierarchical level
нулевои
1 результатів
1
Рік публікації
від:
до: