adicionar à lista de desejos
Isomorphisms Of Types eBook
From ?-Calculus To Information Retrieval And Language Design
language: english
Publisher:
BIRKHAUSER BOSTON, December of 2012 ‧
see product details
59,61€
10% OFF
CARD
Ym1adWRsaE9USE5hWkVOMVFtZFBSSGxTZW5Kb1NrWTRLMlZZUWxWUlEwWkplRWR2Um14U1NrUTJUbEpXVDFaQlRVMHlRWGRzZUU1NmNHcG5kV0pCTVZGcVkyUndZMDVMWmtaSVkzSnlPRTVxV2pjd2JXRmlTMmxwYlRZeVpYRXhjbXRYUzJWU2NUTlZVVGxhY1dwUFQzTnlMMnAxVFhCbVVTODBXbTgwT1RSeksxaExZbkV6WlVaMFluTm9abU5JWVdkSVNYaG1TR0pGVURFeVkwSkNTbmhOTWxFM1N6VTFhVzlZUjJkMFRYSk1OMlZYWlZsQ05WZFlOWGxDU0Vjdk5Dc3ZUbmhtTXpOVmIzUXpSMGhHVVdGYWEyUnBhSEZrU2l0dlduQnhMemsxYWxOUU1GUmpRekl6YzBKRVRrTnJUR0Z0UVRWR1ZuQmFZV2hDWm05UVJWUTNLM0ZDUkhsSFQweE1iR0puYlhSNWQxbDRTWFZYVGtNNU1FSTJTR3gyVWsxcWJqUjJTbGx1UzJkaFpWUTJlRWhQWldsQlFUbDRObTlsVldSSFdtRnpkbmRXVTBkUlZFTlJaRlJJU1VaV1NuZDJSVmxVY0dwQ1VVbEZlakk1WlZCV00zTkJURmxwV0ZnMk9VeDFlWGhpWm13MVVVaERaSEZKVDFkaVRuTk9aekZ3TlVScWFIbGlSV3B3Ym1WVGFYTlRaV1J3WkcxT0syVTRhelpFY0VGVlNXbGpTWEZKUjJrelNsTkpSMVpPY25odVlWQlhiR05EVWtsck1tSlBSbXQwZURaWVNURkZMMHMzZUc5RmVYZHBNakpTY2psSlYxaHNSbW8wZHpWemFUSm5Tak5LWjBnNWVIVjRVM2Q0Y2tGSVdrUnVXRlJJVjJkTmNIUTBOR3hHYm1WMVVYTkJSM05KU0VoNGQwZHVOVTEwUWxkMUwyRndVbVp6TTJOUmFtRklRbFJDUkZCSk9HVXpkWFZJVTNwd01ERnVlRXRUWVVOSVFVbFpVMDkxY2pabmR6WjRWM2R5WVdZMWJpOVBjRVJrUTBSQldGSlRVbkpEYUc1RVEwaEVlSGhuYlUxQ04zbFNXR0ZrUzFwUlRIaDBRVVZDVlU4eFlWSlJieTl3V0dWQlNsbGlUMVJSTlZoeU5HaDNTakJuU2pSM1dXOVhXU3R5VjBod05WYzVVSGxXV0c5eFJVVXplREpFWkRBNU9VODFNVGhZVVdkbVlXWXpZbTUyU1ZodVJqVlZXWEJxZWpKVWRXRjZRMnBMU1ZaM1pHWTBiRUUyUlRacGQzcFJTSGx6T1VGQ2RHUmlSRXc0UFE9PTpTU1JpZDE1MXoyY3pxbUF4R1dyNW5BPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781461225720 |
| Publisher: | BIRKHAUSER BOSTON |
| Release Date: | December of 2012 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Progress In Theoretical Computer Science |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9781461225720 |
BOOKS FROM THE SAME COLLECTION
-
Interpolating Cubic Splines10%Birkhauser Boston Inc101,38€ 10% CARDfree shipping
-
H-Infinity Control For Distributed Parameter Systems10%Birkhauser Boston Inc94,62€ 10% CARDfree shipping