Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Typed Lambda Calculi and Applications

Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Libristo kód: 05274455
Nakladateľstvo Springer, Berlin, november 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Celý popis
? points 125 b
51.59 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Top
Angielski w tłumaczeniach Idiomy Andy Edwins / Kniha Brožovaná
common.buy 13.22 €
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Kniha Brožovaná
common.buy 53.00 €
L'Irritabilite Dans La Serie Animale Courtade-D / Kniha Brožovaná
common.buy 15.64 €
COMPACT BOX PLATINUM 2021 ADRENALYN 2020-2021 / Kniha binding.
common.buy 10.79 €
Tradition et dissidence Goytisolo Kniha Brožovaná
common.buy 22.91 €
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Kniha Brožovaná
common.buy 13.01 €
Baroque : sculptures européennes (1600-1750) Sismann / Kniha Brožovaná
common.buy 42.50 €
Destinations. Italy unknown / Kniha Brožovaná
common.buy 38.66 €
Ben et les habiletés sociales : Le harcèlement LEMARIE / Kniha Brožovaná
common.buy 19.48 €
Ukrajinské leporelo Andrej Bán / Kniha Pevná
common.buy 23.72 €
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Audiokniha MP3
common.buy 2.41 €
Čierna labuť, biela vrana Richard Müller / Kniha binding.
common.buy 29.37 €
Pour rien au monde Ken Follett / Kniha Brožovaná
common.buy 17.15 €
Vychytralý plán Susanna Craig / Kniha Pevná
common.buy 9.58 €
Ours(les) Steve Bloom / Kniha Brožovaná
common.buy 17.26 €
Panická porucha Dana Kamarádová / Kniha Brožovaná
common.buy 15.24 €
Ich - ein anderer Imre Kertesz / Kniha Brožovaná
common.buy 6.96 €
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-kniha Adobe ePub DRM
common.buy 80.16 €
Zola: Therese Raquin Emile Zola / Kniha Brožovaná
common.buy 36.34 €
Affenbande / Hra/Hračka Hra
common.buy 6.75 €
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Kniha Brožovaná
common.buy 11.70 €
Pripravujeme
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Kniha Pevná
common.buy 23.62 €
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Kniha Brožovaná
common.buy 33.21 €
Rationales Management Gonde Dittmer / Kniha Brožovaná
common.buy 56.53 €

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculiand Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Typed Lambda Calculi and Applications
Autor Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1995
Počet strán 452
EAN 9783540590484
ISBN 354059048X
Libristo kód 05274455
Nakladateľstvo Springer, Berlin
Váha 594
Rozmery 156 x 234 x 23

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Designing the City of People 4.0 Dario Costi / Kniha Brožovaná
common.buy 143.77 €
Quality of Communication-Based Systems Günter Hommel / Kniha Brožovaná
common.buy 102.78 €
The Malleus Maleficarum James Sprenger / Kniha Brožovaná
common.buy 14.73 €
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Kniha Pevná
common.buy 22.61 €
Dancing at Halftime Carol Spindel / Kniha Brožovaná
common.buy 38.76 €
PRIZE ESSAYS HARRIET MARTINEAU / Kniha Pevná
common.buy 37.25 €
Santa Claus and the Scepter of Christmas Holt Clarke / Kniha Pevná
common.buy 22.20 €
Children's Book of Music DK / Kniha Pevná
common.buy 18.06 €
Tenacious D: The Official Coloring Book Juan Riera / Kniha Brožovaná
common.buy 15.94 €
Theft by Finding David Sedaris / Audio Audio CD
common.buy 25.33 €
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Kniha Brožovaná
common.buy 36.34 €
The Importance of Music to Girls Lavinia Greenlaw / Kniha Brožovaná
common.buy 13.42 €
In the Shadows of Paris Claude Izner / Kniha Brožovaná
common.buy 17.56 €
At Last Edward St Aubyn / Kniha Brožovaná
common.buy 16.15 €
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Kniha Pevná
common.buy 23.52 €
Vector to Destiny George W. Kohn / Kniha Brožovaná
common.buy 15.34 €
Love Me, Love My Wife Charles Erlandson / Kniha Brožovaná
common.buy 8.57 €
Sherlock: A Scandal in Belgravia Part 2 Steven Moffat / Kniha Brožovaná
common.buy 11.10 €
The the Wintermen III: At the End of the World Brit Griffin / Kniha Brožovaná
common.buy 14.73 €
The Girl from the Stars James J. Caterino / Kniha Brožovaná
common.buy 10.59 €
Lonely Planet Pocket Barcelona Lonely planet eng / Kniha Brožovaná
common.buy 17.36 €
Pripravujeme
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Kniha Pevná
common.buy 128.73 €
PRF in Restorative dentistry and Endodontics Tony Jose Anil Tomer / Kniha Brožovaná
common.buy 48.86 €
Freedom and the Subject of Theory Colin Davis / Kniha Pevná
common.buy 100.15 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?