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ů

30 dní na vrácení zboží

Zákazníci také koupili

Angielski w tłumaczeniach Idiomy Andy Edwins / Kniha Brožovaná
common.buy 320 Kč
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Kniha Brožovaná
common.buy 1 214 Kč
Большая книга психологических практик для избавления от тревоги, паники, ВСД и стресса И.С. Качай / Kniha Pevná
common.buy 528 Kč
L'Irritabilite Dans La Serie Animale Courtade-D / Kniha Brožovaná
common.buy 380 Kč
COMPACT BOX PLATINUM 2021 ADRENALYN 2020-2021 / Kniha binding.
common.buy 262 Kč
Tradition et dissidence Goytisolo Kniha Brožovaná
common.buy 555 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č
Baroque : sculptures européennes (1600-1750) Sismann / Kniha Brožovaná
common.buy 1 030 Kč
Destinations. Italy unknown / Kniha Brožovaná
common.buy 937 Kč
Ben et les habiletés sociales : Le harcèlement LEMARIE / Kniha Brožovaná
common.buy 472 Kč
Ukrajinské leporelo Andrej Bán / Kniha Pevná
common.buy 606 Kč
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Audiokniha MP3
common.buy 58 Kč
Čierna labuť, biela vrana Richard Müller / Kniha binding.
common.buy 713 Kč
Pour rien au monde Ken Follett / Kniha Brožovaná
common.buy 417 Kč
Vychytralý plán Susanna Craig / Kniha Pevná
common.buy 250 Kč
Ours(les) Steve Bloom / Kniha Brožovaná
common.buy 419 Kč
Panická porucha Dana Kamarádová / Kniha Brožovaná
common.buy 407 Kč
Ich - ein anderer Imre Kertesz / Kniha Brožovaná
common.buy 158 Kč
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-kniha Adobe ePub DRM
common.buy 1 943 Kč
Zola: Therese Raquin Emile Zola / Kniha Brožovaná
common.buy 836 Kč
Affenbande / Hra/Hračka Hra
common.buy 156 Kč
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Kniha Brožovaná
common.buy 267 Kč
Připravujeme
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Kniha Pevná
common.buy 536 Kč
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Kniha Brožovaná
common.buy 755 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

Designing the City of People 4.0 Dario Costi / Kniha Brožovaná
common.buy 3 297 Kč
Quality of Communication-Based Systems Günter Hommel / Kniha Brožovaná
common.buy 2 357 Kč
The Malleus Maleficarum James Sprenger / Kniha Brožovaná
common.buy 358 Kč
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Kniha Pevná
common.buy 550 Kč
Dancing at Halftime Carol Spindel / Kniha Brožovaná
common.buy 941 Kč
PRIZE ESSAYS HARRIET MARTINEAU / Kniha Pevná
common.buy 903 Kč
Santa Claus and the Scepter of Christmas Holt Clarke / Kniha Pevná
common.buy 539 Kč
Children's Book of Music DK / Kniha Pevná
common.buy 409 Kč
Tenacious D: The Official Coloring Book Juan Riera / Kniha Brožovaná
common.buy 363 Kč
Theft by Finding David Sedaris / Audio Audio CD
common.buy 614 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č
At Last Edward St Aubyn / Kniha Brožovaná
common.buy 392 Kč
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Kniha Pevná
common.buy 570 Kč
Vector to Destiny George W. Kohn / Kniha Brožovaná
common.buy 372 Kč
Love Me, Love My Wife Charles Erlandson / Kniha Brožovaná
common.buy 209 Kč
Sherlock: A Scandal in Belgravia Part 2 Steven Moffat / Kniha Brožovaná
common.buy 251 Kč
The the Wintermen III: At the End of the World Brit Griffin / Kniha Brožovaná
common.buy 358 Kč
The Girl from the Stars James J. Caterino / Kniha Brožovaná
common.buy 258 Kč
Lonely Planet Pocket Barcelona Lonely planet eng / Kniha Brožovaná
common.buy 421 Kč
Připravujeme
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Kniha Pevná
common.buy 2 973 Kč
PRF in Restorative dentistry and Endodontics Tony Jose Anil Tomer / Kniha Brožovaná
common.buy 1 115 Kč
Freedom and the Subject of Theory Colin Davis / Kniha Pevná
common.buy 2 427 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?