Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Isomorphisms of Types:: From Delta-Calculus to Information Retrieval and Language Design

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Isomorphisms of Types:: From Delta-Calculus to Information Retrieval and Language Design Roberto Di Cosmo
Libristo-code: 11540143
Uitgeverij Springer Verlag GmbH, november 1994
This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that tur... Volledige beschrijving
Het boek is helaas niet beschikbaar :(
Vul je e-mailadres in en we nemen contact met je op zodra het boek weer beschikbaar is.

Klanten kochten ook

Histoire de la Mongolie Tome 2 BAABAR / Boek Gebonden (paperback)
common.buy 64.03 €
Sfide incontrate dagli insegnanti nella pratica dell'alfabetizzazione Aurineide P. de Matos / Boek Gebonden (paperback)
common.buy 31.86 €
Familiengerichte unter 2 Euro Bettina Matthaei / Boek Gebonden (paperback)
common.buy 10.75 €
Politica nucleare indiana: prospettiva sudasiatica Shantaram Badgujar / Boek Gebonden (paperback)
common.buy 31.86 €
Zimowa Księga Ludmiły Anna Bichalska / Boek Gebonden (paperback)
common.buy 9.24 €
El Loto carmesí JOHN ARCUDI / Boek Gebonden (paperback)
common.buy 20.30 €
Locutions et proverbes d'autrefois Lagane / Boek Gebonden (paperback)
common.buy 8.33 €
Intervenç?o e Apoio ? Leitura Rodolfo Casupanan / Boek Gebonden (paperback)
common.buy 23.92 €
EL MONTSENY DESAPAREGUT PUJOL I MAS / Boek Gebonden (harde band)
common.buy 44.93 €
Pokémon Gold a Silver 9 Hidenori Kusaka / Boek Gebonden (paperback)
common.buy 8.03 €
Po prostu spokój. Jak dobrze żyć po stoicku Paulina Felicja Seidler / Boek Gebonden (paperback)
common.buy 11.45 €
El Nino 44 = The Child 44 Tom Rob Smith / Boek Gebonden (paperback)
common.buy 18.89 €
United Nations and Intelligence A. Fritsch / Boek Gebonden (paperback)
common.buy 16.08 €
Einsterns Schwester - Erstlesen - Bayern - 1. Jahrgangsstufe Roland Bauer / Boek Gebonden (paperback)
common.buy 28.34 €
Fix Food Claudia Boss-Teichmann / Boek Gebonden (paperback)
common.buy 13.46 €
Blockpartei Und Agrarrevolution Von Oben Theresia Bauer / Boek Gebonden (harde band)
common.buy 93.08 €
Erinnerungen eines Deutschen Offiziers 1848 bis 1871, 2 Tle. Julius Hartmann / Boek Gebonden (paperback)
common.buy 52.77 €
Au Palais de Justice. Nine Plates Lithographed Mary Guillon / Boek Gebonden (paperback)
common.buy 14.06 €
Sus Suenos Pueden Salvarle La Vida Mancini / Boek Gebonden (paperback)
common.buy 17.38 €
50 heimische Bäume entdecken & bestimmen Carola von Kessel / Spel/speelgoed Speelgoed
common.buy 9.04 €
Květiny pro Lauru Táňa Keleová-Vasilk / Boek Gebonden (harde band)
common.buy 10.65 €
Lenguajes y persuasión : nuevas creaciones narrativas CALDEVILLA DOMINGUEZ / Boek Gebonden (paperback)
common.buy 34.57 €
Handstandtraining Lucie Beyer / Boek Gebonden (paperback)
common.buy 14.37 €
Los consejos de garantía estatutaria Marc Carrillo / Boek Gebonden (paperback)
common.buy 17.68 €

This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human­ centered information retrieval in software libraries. By means of a deep study of the syntax of the now widely known typed A-ca1culus, it is possible to identify some simple equations between types that on one hand allow to improve the design of the ML language, and on the other hand provide the basis for building radically new information retrieval systems for functional software libraries. We present in this book both the theoretical aspects of these researches and a fully functional implementation of some of their applications in such a way to provide interesting material both for the theoretician looking for proofs and for the practitioner interested in implementation details. In order to make it possible for these different types of readers to use this book effectively, some special signs are used to designate material that is particularly technical or applied or that represents a digression. When the symbol appears at the beginning of a section or a subsection, it warns that the material contained in such section is particularly technical with respect to the general level of the chapter or section where it is located. This material is generally reserved to theoreticians and does not need to be read by the casual reader.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Isomorphisms of Types:: From Delta-Calculus to Information Retrieval and Language Design
Auteur Roberto Di Cosmo
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 1994
Aantal pagina's 235
EAN 9780817637637
ISBN 081763763X
Libristo-code 11540143
Uitgeverij Springer Verlag GmbH
Gewicht 545

Categorieën

Wiskunde en wetenschap > Wiskunde > Toegepaste wiskunde
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
Informatica en informatietechnologie > Informatica
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Stochastic Programming I.M. Stancu-Minasian / Boek Gebonden (harde band)
common.buy 102.33 €
Mathematical Problems Of Statistical Mechanics Ya G. Sinai / Boek Gebonden (harde band)
common.buy 139.93 €
101 Questions and Answers on Confucianism, Daoism, and Shinto John Renard / Boek Gebonden (paperback)
common.buy 15.67 €
The Storm of the Century Al Roker / Boek Gebonden (paperback)
common.buy 23.21 €
Relacion de Michoacan (1539-1541) and the Politics of Representation in Colonial Mexico Angélica Jimena Afanador-pujol / Boek Gebonden (paperback)
common.buy 39.00 €
I Never Fancied Him Anyway Claudia Carroll / Boek Gebonden (paperback)
common.buy 12.26 €
The Skeleton in the Closet Lawrence Fischman / Boek Gebonden (paperback)
common.buy 9.54 €
The Vicious Vet: An Agatha Raisin Mystery M C Beaton / Boek Gebonden (paperback)
common.buy 14.17 €
San Ysidro and the Tijuana River Valley Barbara Zaragoza / Boek Gebonden (paperback)
common.buy 21.91 €
The Activist Cancer Patient: How to Take Charge of Your Treatment Beverly Zakarian / Boek Gebonden (harde band)
common.buy 22.21 €
Dead Man's Creek Chris Hammer / Boek Gebonden (paperback)
common.buy 11.05 €
R All-in-One For Dummies Schmuller / Boek Gebonden (paperback)
common.buy 32.46 €
Goddesses Never Age: The Secret Prescription for Radiance, Vitality, and Well-Being Christiane Northrup / Boek Gebonden (paperback)
common.buy 16.38 €
TOP
Winter Turning (Wings of Fire Graphic Novel #7) Tui T. Sutherland / Boek Gebonden (paperback)
common.buy 10.55 €
Doomed: Sacco, Vanzetti & the End of the American Dream Ouisie Shapiro / Boek Gebonden (harde band)
common.buy 17.18 €
Way Walkers J Leigh / Boek Gebonden (paperback)
common.buy 16.58 €
Baltimore Anonym / Boek Gebonden (paperback)
common.buy 11.65 €
Cambridge Handbook of the Law of the Sharing Economy Nestor M. Davidson / Boek Gebonden (harde band)
common.buy 222.37 €
Utilitarianism John Stuart Mill John Stuart Mill / Boek Gebonden (paperback)
common.buy 14.97 €
Go, Go, Pirate Boat Nick Sharratt / Boek Leporello (harmonicaboek)
common.buy 7.63 €
Fundamentals, 2nd Edition Chaplain Keith Evans / Boek Gebonden (paperback)
common.buy 9.34 €
Slide & Peek: Music Maestro Yoyo / Boek Gebonden (harde band)
common.buy 6.83 €
Skulls & Anatomy James Kale / Boek Gebonden (paperback)
common.buy 20.20 €
Guy Stuff Feelings: Everything You Need to Know about Your Emotions Cara Natterson / Boek Gebonden (paperback)
common.buy 10.55 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?