Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Typed Lambda Calculi and Applications

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

Język AngielskiAngielski
Książka Miękka
Książka Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Kod Libristo: 05274455
Wydawnictwo Springer, Berlin, listopad 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Cały opis
? points 125 b
219.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

TOP
Angielski w tłumaczeniach Idiomy Andy Edwins / Książka Miękka
common.buy 49.93 zł
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Książka Miękka
common.buy 225.63 zł
Большая книга психологических практик для избавления от тревоги, паники, ВСД и стресса И.С. Качай / Książka Twarda
common.buy 92.82 zł
L'Irritabilite Dans La Serie Animale Courtade-D / Książka Miękka
common.buy 70.27 zł
COMPACT BOX PLATINUM 2021 ADRENALYN 2020-2021 / Książka binding.
common.buy 46.00 zł
Tradition et dissidence Goytisolo Książka Miękka
common.buy 97.55 zł
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Książka Miękka
common.buy 58.19 zł
Baroque : sculptures européennes (1600-1750) Sismann / Książka Miękka
common.buy 181.02 zł
Destinations. Italy unknown / Książka Miękka
common.buy 156.36 zł
Ben et les habiletés sociales : Le harcèlement LEMARIE / Książka Miękka
common.buy 82.95 zł
Ukrajinské leporelo Andrej Bán / Książka Twarda
common.buy 106.51 zł
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Audiobook MP3
common.buy 10.16 zł
Čierna labuť, biela vrana Richard Müller / Książka binding.
common.buy 129.87 zł
Pour rien au monde Ken Follett / Książka Miękka
common.buy 73.29 zł
Vychytralý plán Susanna Craig / Książka Twarda
common.buy 49.93 zł
Ours(les) Steve Bloom / Książka Miękka
common.buy 73.59 zł
Panická porucha Dana Kamarádová / Książka Miękka
common.buy 73.29 zł
Ich - ein anderer Imre Kertesz / Książka Miękka
common.buy 29.49 zł
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-book Adobe ePub DRM
common.buy 342.02 zł
Zola: Therese Raquin Emile Zola / Książka Miękka
common.buy 146.89 zł
Affenbande / Gra/Zabawka Gra
common.buy 28.99 zł
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Książka Miękka
common.buy 49.73 zł
Zapowiedź
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Książka Twarda
common.buy 100.47 zł
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Książka Miękka
common.buy 141.45 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Typed Lambda Calculi and Applications
Autor Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 452
EAN 9783540590484
ISBN 354059048X
Kod Libristo 05274455
Wydawnictwo Springer, Berlin
Waga 594
Wymiary 156 x 234 x 23

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Designing the City of People 4.0 Dario Costi / Książka Miękka
common.buy 612.66 zł
Quality of Communication-Based Systems Günter Hommel / Książka Miękka
common.buy 437.97 zł
The Malleus Maleficarum James Sprenger / Książka Miękka
common.buy 67.15 zł
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Książka Twarda
common.buy 103.29 zł
Dancing at Halftime Carol Spindel / Książka Miękka
common.buy 172.77 zł
PRIZE ESSAYS HARRIET MARTINEAU / Książka Twarda
common.buy 166.73 zł
Santa Claus and the Scepter of Christmas Holt Clarke / Książka Twarda
common.buy 98.96 zł
Children's Book of Music DK / Książka Twarda
common.buy 77.01 zł
Tenacious D: The Official Coloring Book Juan Riera / Książka Miękka
common.buy 72.38 zł
Theft by Finding David Sedaris / Audio CD Audio
common.buy 115.27 zł
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Książka Miękka
common.buy 155.05 zł
The Importance of Music to Girls Lavinia Greenlaw / Książka Miękka
common.buy 60.80 zł
In the Shadows of Paris Claude Izner / Książka Miękka
common.buy 79.73 zł
At Last Edward St Aubyn / Książka Miękka
common.buy 73.49 zł
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Książka Twarda
common.buy 104.60 zł
Vector to Destiny George W. Kohn / Książka Miękka
common.buy 69.36 zł
Love Me, Love My Wife Charles Erlandson / Książka Miękka
common.buy 39.06 zł
Sherlock: A Scandal in Belgravia Part 2 Steven Moffat / Książka Miękka
common.buy 50.43 zł
The the Wintermen III: At the End of the World Brit Griffin / Książka Miękka
common.buy 67.15 zł
The Girl from the Stars James J. Caterino / Książka Miękka
common.buy 47.61 zł
Lonely Planet Pocket Barcelona Lonely planet eng / Książka Miękka
common.buy 73.99 zł
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Książka Twarda
common.buy 503.01 zł
PRF in Restorative dentistry and Endodontics Tony Jose Anil Tomer / Książka Miękka
common.buy 208.21 zł
Freedom and the Subject of Theory Colin Davis / Książka Twarda
common.buy 448.34 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?