Matemática

Isomorphisms Of Types

From ?-Calculus To Information Retrieval And Language Design

de Roberto Dicosmo 

eBook
Bertrand.pt - Isomorphisms Of Types
idioma: Inglês
Editor: BIRKHAUSER BOSTON
Edição: dezembro de 2012
10%
59,61€
Poupe 5,96€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

Isomorphisms of types is a research topic in type theory that has valuable practical applications both for programming language design and for more human-centred information retrieval in software libraries. In this book the author presents the theoretical aspects of this research.

Da mesma coleção

ver +
Interpolating Cubic Splines
20%
portes grátis
20% Cartão Leitor Bertrand
101,38€
Poupe 20,28€
Birkhauser Boston Inc
H-Infinity Control For Distributed Parameter Systems
20%
portes grátis
20% Cartão Leitor Bertrand
94,62€
Poupe 18,92€
Birkhauser Boston Inc
Isomorphisms Of Types
From ?-Calculus To Information Retrieval And Language Design
de Roberto Dicosmo 
ISBN:
9781461225720
Ano de edição:
12-2012
Editor:
BIRKHAUSER BOSTON
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Progress In Theoretical Computer Science
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9781461225720
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.