A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Typed Lambda Calculi and Applications

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Libristo kód: 05274455
Kiadó Springer, Berlin, november 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Teljes leírás
? points 136 b
19 829 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Toplistás
Angielski w tłumaczeniach Idiomy Andy Edwins / Könyv Puha kötésű
common.buy 4 674 Ft
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Könyv Puha kötésű
common.buy 20 373 Ft
Čierna labuť, biela vrana Richard Müller / Könyv binding.
common.buy 10 790 Ft
Einfache Strategieentwicklung fur Mittelstand und Kleinunternehmen Bruno Hartmann / Könyv Puha kötésű
common.buy 3 532 Ft
Pour rien au monde Ken Follett / Könyv Puha kötésű
common.buy 6 120 Ft
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-könyv Adobe ePub DRM
common.buy 28 546 Ft
Paulino y la joven muerte Miguel Veyrat / Könyv Puha kötésű
common.buy 8 469 Ft
La Fuente Escondida. El Cuento Para Reencontrarte / Your Hidden Inner Spring Tirado / Könyv Puha kötésű
common.buy 4 978 Ft
La técnica Alexander: Las posturas del bienestar CHANCE JEREMY / Könyv Puha kötésű
common.buy 4 412 Ft
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Könyv Puha kötésű
common.buy 5 199 Ft
Vychytralý plán Susanna Craig / Könyv Kemény kötésű
common.buy 4 412 Ft
Ich - ein anderer Imre Kertesz / Könyv Puha kötésű
common.buy 2 685 Ft
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Hangoskönyv MP3
common.buy 847 Ft
Ukrajinské leporelo Andrej Bán / Könyv Kemény kötésű
common.buy 8 851 Ft
Ben et les habiletés sociales : Le harcèlement LEMARIE / Könyv Puha kötésű
common.buy 6 894 Ft
Destinations. Italy unknown / Könyv Puha kötésű
common.buy 13 681 Ft
Panická porucha Dana Kamarádová / Könyv Puha kötésű
common.buy 6 438 Ft
Zola: Therese Raquin Emile Zola / Könyv Puha kötésű
common.buy 13 493 Ft
Bez bahna lotos nevykvete Thich Nhat Hanh / Könyv Puha kötésű
common.buy 4 016 Ft
Padni komu padni Viliam Šimunek / Könyv Kemény kötésű
common.buy 3 988 Ft
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Könyv Puha kötésű
common.buy 12 922 Ft
50 Tecnicas de Mindfullness Para La Ansiedad, La Depresion, El Estres Y El Dolor Donald Altman / Könyv Puha kötésű
common.buy 5 462 Ft
Hamarosan
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Könyv Kemény kötésű
common.buy 9 187 Ft
Toplistás
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Könyv Puha kötésű
common.buy 4 527 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Typed Lambda Calculi and Applications
Szerző Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1995
Oldalszám 452
EAN 9783540590484
ISBN 354059048X
Libristo kód 05274455
Kiadó Springer, Berlin
Súly 594
Méretek 156 x 234 x 23

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Quality of Communication-Based Systems Günter Hommel / Könyv Puha kötésű
common.buy 39 543 Ft
Designing the City of People 4.0 Dario Costi / Könyv Puha kötésű
common.buy 55 315 Ft
The Malleus Maleficarum James Sprenger / Könyv Puha kötésű
common.buy 6 134 Ft
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Könyv Kemény kötésű
common.buy 8 906 Ft
PRIZE ESSAYS HARRIET MARTINEAU / Könyv Kemény kötésű
common.buy 14 925 Ft
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Könyv Kemény kötésű
common.buy 8 906 Ft
Freedom and the Subject of Theory Colin Davis / Könyv Kemény kötésű
common.buy 40 142 Ft
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 / Könyv Puha kötésű
common.buy 6 014 Ft
Oath of Deception JENNIFER ANNE DAVIS / Könyv Kemény kötésű
common.buy 9 551 Ft
Rumble Volume 4: Soul Without Pity John Arcudi / Könyv Puha kötésű
common.buy 5 112 Ft
Hamarosan
Marvel Platinum: The Definitive Avengers Redux Stan Lee / Könyv Puha kötésű
common.buy 7 216 Ft
One. Hunter B Kirkpatrick / Könyv Puha kötésű
common.buy 3 270 Ft
Theft by Finding David Sedaris / Hanganyagok Audio CD
common.buy 9 947 Ft
The Girl from the Stars James J. Caterino / Könyv Puha kötésű
common.buy 4 292 Ft
Santa Claus and the Scepter of Christmas Holt Clarke / Könyv Kemény kötésű
common.buy 8 777 Ft
Dancing at Halftime Carol Spindel / Könyv Puha kötésű
common.buy 15 335 Ft
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Könyv Puha kötésű
common.buy 13 815 Ft
The Importance of Music to Girls Lavinia Greenlaw / Könyv Puha kötésű
common.buy 5 563 Ft
In the Shadows of Paris Claude Izner / Könyv Puha kötésű
common.buy 7 285 Ft
Vector to Destiny George W. Kohn / Könyv Puha kötésű
common.buy 6 295 Ft
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Könyv Kemény kötésű
common.buy 46 202 Ft
Toplistás Hamarosan
Mythographic Color and Discover: Fairy Folklore Fabiana Attanasio / Könyv Puha kötésű
common.buy 5 696 Ft
Toplistás
The Bridge Kingdom (Deluxe Edition) JENSEN DANIELLE L / Könyv Kemény kötésű
common.buy 10 062 Ft
Toplistás
Kill Switch Penelope Douglas / Könyv Puha kötésű
common.buy 3 974 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?