2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Spatial Ecological-Economic Analysis for Wetland Management: Modelling and Scenario Evaluation of Land Use
Автор:
Jeroen C. J. M. Bergh
, Автор:
Aat Barendregt
, Автор:
Alison J. Gilbert
Категория:
Экономика
Размер книги: 12.74 Mb
The lambda calculus: its syntax and semantics
Автор:
Hendrik Pieter Barendregt
Размер книги: 12.85 Mb
The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
Автор:
H.P. Barendregt
Размер книги: 3.81 Mb
The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
Автор:
H.P. Barendregt
Размер книги: 12.73 Mb
Barendregt H. Lambda-ischislenie (Mir, 1985) (ru)(L)(T)(304s).djvu
Автор:
Размер книги: 6.37 Mb
Barendregt H. Lambda-ischislenie (Mir, 1985) (ru)(L)(304s).djvu
Автор:
Размер книги: 5.03 Mb
Introduction to Lambda calculus
Автор:
Barendregt H.
, Автор:
Barendsen E.
Категория:
Computer science
,
Computability
Размер книги: 251 Kb
Lambda Calculi with Types
Автор:
Barendregt H.
Размер книги: 952 Kb
Introduction to Lambda Calculus
Автор:
Barendregt H.
, Автор:
Barendsen E.
Размер книги: 578 Kb
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Автор:
Henk Barendregt
, Автор:
Tobias Nipkow
Размер книги: 2.98 Mb
