Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer, Berlin, listopad 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

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

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Typed Lambda Calculi and Applications
Autor Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1995
Počet stran 452
EAN 9783540590484
ISBN 354059048X
Libristo kód 05274455
Nakladatelství Springer, Berlin
Váha 594
Rozměry 156 x 234 x 23

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Quality of Communication-Based Systems Günter Hommel / Kniha Brožovaná
common.buy 2 357 Kč
Designing the City of People 4.0 Dario Costi / Kniha Brožovaná
common.buy 3 297 Kč
The Malleus Maleficarum James Sprenger / Kniha Brožovaná
common.buy 358 Kč
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Kniha Pevná
common.buy 549 Kč
PRIZE ESSAYS HARRIET MARTINEAU / Kniha Pevná
common.buy 903 Kč
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Kniha Pevná
common.buy 569 Kč
Freedom and the Subject of Theory Colin Davis / Kniha Pevná
common.buy 2 427 Kč
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 342 Kč
Oath of Deception JENNIFER ANNE DAVIS / Kniha Pevná
common.buy 577 Kč
Rumble Volume 4: Soul Without Pity John Arcudi / Kniha Brožovaná
common.buy 350 Kč
Připravujeme
Marvel Platinum: The Definitive Avengers Redux Stan Lee / Kniha Brožovaná
common.buy 433 Kč
One. Hunter B Kirkpatrick / Kniha Brožovaná
common.buy 196 Kč
Theft by Finding David Sedaris / Audio Audio CD
common.buy 613 Kč
The Girl from the Stars James J. Caterino / Kniha Brožovaná
common.buy 258 Kč
Santa Claus and the Scepter of Christmas Holt Clarke / Kniha Pevná
common.buy 539 Kč
Dancing at Halftime Carol Spindel / Kniha Brožovaná
common.buy 941 Kč
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Kniha Brožovaná
common.buy 842 Kč
The Importance of Music to Girls Lavinia Greenlaw / Kniha Brožovaná
common.buy 325 Kč
In the Shadows of Paris Claude Izner / Kniha Brožovaná
common.buy 425 Kč
Vector to Destiny George W. Kohn / Kniha Brožovaná
common.buy 372 Kč
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Kniha Pevná
common.buy 2 862 Kč
Top Připravujeme
Mythographic Color and Discover: Fairy Folklore Fabiana Attanasio / Kniha Brožovaná
common.buy 350 Kč
Top
The Bridge Kingdom (Deluxe Edition) JENSEN DANIELLE L / Kniha Pevná
common.buy 602 Kč
Top
Kill Switch Penelope Douglas / Kniha Brožovaná
common.buy 244 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?