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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.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.69 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Angielski w tłumaczeniach Idiomy Andy Edwins / Kniha Brožovaná
common.buy 12.43 €
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Kniha Brožovaná
common.buy 53.11 €
Čierna labuť, biela vrana Richard Müller / Kniha binding.
common.buy 39.85 €
Einfache Strategieentwicklung fur Mittelstand und Kleinunternehmen Bruno Hartmann / Kniha Brožovaná
common.buy 9.10 €
Pour rien au monde Ken Follett / Kniha Brožovaná
common.buy 17.09 €
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-kniha Adobe ePub DRM
common.buy 81.24 €
Paulino y la joven muerte Miguel Veyrat / Kniha Brožovaná
common.buy 23.87 €
La Fuente Escondida. El Cuento Para Reencontrarte / Your Hidden Inner Spring Tirado / Kniha Brožovaná
common.buy 12.03 €
La técnica Alexander: Las posturas del bienestar CHANCE JEREMY / Kniha Brožovaná
common.buy 12.43 €
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Kniha Brožovaná
common.buy 13.04 €
Vychytralý plán Susanna Craig / Kniha Pevná
common.buy 9.91 €
Ich - ein anderer Imre Kertesz / Kniha Brožovaná
common.buy 6.87 €
Ukrajinské leporelo Andrej Bán / Kniha Pevná
common.buy 23.77 €
Ben et les habiletés sociales : Le harcèlement LEMARIE / Kniha Brožovaná
common.buy 19.32 €
Destinations. Italy unknown / Kniha Brožovaná
common.buy 38.44 €
Panická porucha Dana Kamarádová / Kniha Brožovaná
common.buy 15.17 €
Zola: Therese Raquin Emile Zola / Kniha Brožovaná
common.buy 36.41 €
Bez bahna lotos nevykvete Thich Nhat Hanh / Kniha Brožovaná
common.buy 9.10 €
Padni komu padni Viliam Šimunek / Kniha Pevná
common.buy 9.30 €
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Kniha Brožovaná
common.buy 33.28 €
50 Tecnicas de Mindfullness Para La Ansiedad, La Depresion, El Estres Y El Dolor Donald Altman / Kniha Brožovaná
common.buy 15.47 €
Pripravujeme
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Kniha Pevná
common.buy 23.67 €
Top
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Kniha Brožovaná
common.buy 11.73 €
Top Pripravujeme
Modrá krev v protinacistickém odboji Zdeněk Hazdra / Kniha Pevná
common.buy 10.92 €

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ť

Quality of Communication-Based Systems Günter Hommel / Kniha Brožovaná
common.buy 102.99 €
Designing the City of People 4.0 Dario Costi / Kniha Brožovaná
common.buy 144.07 €
The Malleus Maleficarum James Sprenger / Kniha Brožovaná
common.buy 14.76 €
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Kniha Pevná
common.buy 22.65 €
PRIZE ESSAYS HARRIET MARTINEAU / Kniha Pevná
common.buy 37.32 €
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Kniha Pevná
common.buy 23.46 €
Freedom and the Subject of Theory Colin Davis / Kniha Pevná
common.buy 100.36 €
Plc Logics and Hmi Screens for 4-20 Ma Sensors Automation: A Pratical Approach to Quantities Measurement and Monitoring Using Iec 61131 - 3 Ladder Log Rosario Cirrito / Kniha Brožovaná
common.buy 14.96 €
Oath of Deception JENNIFER ANNE DAVIS / Kniha Pevná
common.buy 23.87 €
Rumble Volume 4: Soul Without Pity John Arcudi / Kniha Brožovaná
common.buy 13.45 €
Pripravujeme
Marvel Platinum: The Definitive Avengers Redux Stan Lee / Kniha Brožovaná
common.buy 19.11 €
One. Hunter B Kirkpatrick / Kniha Brožovaná
common.buy 8.08 €
Theft by Finding David Sedaris / Audio Audio CD
common.buy 25.28 €
The Girl from the Stars James J. Caterino / Kniha Brožovaná
common.buy 10.61 €
Santa Claus and the Scepter of Christmas Holt Clarke / Kniha Pevná
common.buy 22.25 €
Dancing at Halftime Carol Spindel / Kniha Brožovaná
common.buy 38.84 €
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Kniha Brožovaná
common.buy 37.02 €
The Importance of Music to Girls Lavinia Greenlaw / Kniha Brožovaná
common.buy 13.45 €
In the Shadows of Paris Claude Izner / Kniha Brožovaná
common.buy 17.59 €
Vector to Destiny George W. Kohn / Kniha Brožovaná
common.buy 15.37 €
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Kniha Pevná
common.buy 124.54 €
Top
Mythographic Color and Discover: Fairy Folklore Fabiana Attanasio / Kniha Brožovaná
common.buy 14.86 €
Top
The Bridge Kingdom (Deluxe Edition) JENSEN DANIELLE L / Kniha Pevná
common.buy 24.88 €
Top
Kill Switch Penelope Douglas / Kniha Brožovaná
common.buy 13.95 €

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ť?