Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Typed Lambda Calculi and Applications

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Koda Libristo: 05274455
Založba Springer, Berlin, november 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Celoten opis
? points 118 b
48.82 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Angielski w tłumaczeniach Idiomy Andy Edwins / Knjiga Mehka
common.buy 10.81 €
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Knjiga Mehka
common.buy 50.13 €
Čierna labuť, biela vrana Richard Müller / Knjiga binding.
common.buy 36.59 €
Pour rien au monde Ken Follett / Knjiga Mehka
common.buy 15.56 €
La técnica Alexander: Las posturas del bienestar CHANCE JEREMY / Knjiga Mehka
common.buy 11.31 €
Einfache Strategieentwicklung fur Mittelstand und Kleinunternehmen Bruno Hartmann / Knjiga Mehka
common.buy 8.58 €
Panická porucha Dana Kamarádová / Knjiga Mehka
common.buy 17.68 €
La Fuente Escondida. El Cuento Para Reencontrarte / Your Hidden Inner Spring Tirado / Knjiga Mehka
common.buy 12.02 €
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-knjiga Adobe ePub DRM
common.buy 72.78 €
Vychytralý plán Susanna Craig / Knjiga Trda
common.buy 10.60 €
Ich - ein anderer Imre Kertesz / Knjiga Mehka
common.buy 6.46 €
Ukrajinské leporelo Andrej Bán / Knjiga Trda
common.buy 22.33 €
Ben et les habiletés sociales : Le harcèlement LEMARIE / Knjiga Mehka
common.buy 17.58 €
Destinations. Italy unknown / Knjiga Mehka
common.buy 34.56 €
Bez bahna lotos nevykvete Thich Nhat Hanh / Knjiga Mehka
common.buy 11.01 €
Padni komu padni Viliam Šimunek / Knjiga Trda
common.buy 9.70 €
50 Tecnicas de Mindfullness Para La Ansiedad, La Depresion, El Estres Y El Dolor Donald Altman / Knjiga Mehka
common.buy 13.74 €
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Knjiga Mehka
common.buy 31.13 €
Kmalu
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Knjiga Trda
common.buy 22.13 €
Top Kmalu
Modrá krev v protinacistickém odboji Zdeněk Hazdra / Knjiga Trda
common.buy 10.60 €
Top
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Knjiga Mehka
common.buy 11.01 €
Zola: Therese Raquin Emile Zola / Knjiga Mehka
common.buy 32.74 €
Friedrich Schiller: Kabale und Liebe Bernd Völkl / Knjiga Mehka
common.buy 6.26 €
L'Irritabilite Dans La Serie Animale Courtade-D / Knjiga Mehka
common.buy 14.75 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Typed Lambda Calculi and Applications
Avtor Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1995
Število strani 452
EAN 9783540590484
ISBN 354059048X
Koda Libristo 05274455
Založba Springer, Berlin
Teža 594
Mere 156 x 234 x 23

Kategorije

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Quality of Communication-Based Systems Günter Hommel / Knjiga Mehka
common.buy 97.34 €
Designing the City of People 4.0 Dario Costi / Knjiga Mehka
common.buy 136.16 €
The Malleus Maleficarum James Sprenger / Knjiga Mehka
common.buy 14.75 €
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Knjiga Trda
common.buy 21.12 €
Santa Claus and the Scepter of Christmas Holt Clarke / Knjiga Trda
common.buy 22.23 €
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Knjiga Trda
common.buy 22.43 €
Freedom and the Subject of Theory Colin Davis / Knjiga Trda
common.buy 100.28 €
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 / Knjiga Mehka
common.buy 14.95 €
Oath of Deception JENNIFER ANNE DAVIS / Knjiga Trda
common.buy 23.85 €
Rumble Volume 4: Soul Without Pity John Arcudi / Knjiga Mehka
common.buy 11.51 €
Kmalu
Marvel Platinum: The Definitive Avengers Redux Stan Lee / Knjiga Mehka
common.buy 17.88 €
One. Hunter B Kirkpatrick / Knjiga Mehka
common.buy 8.08 €
Theft by Finding David Sedaris / Zvok Zvočni CD
common.buy 23.54 €
PRIZE ESSAYS HARRIET MARTINEAU / Knjiga Trda
common.buy 37.29 €
Lonely Planet Pocket Barcelona Lonely planet eng / Knjiga Mehka
common.buy 15.66 €
Dancing at Halftime Carol Spindel / Knjiga Mehka
common.buy 38.81 €
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Knjiga Mehka
common.buy 35.37 €
The Importance of Music to Girls Lavinia Greenlaw / Knjiga Mehka
common.buy 13.44 €
In the Shadows of Paris Claude Izner / Knjiga Mehka
common.buy 23.24 €
At Last Edward St Aubyn / Knjiga Mehka
common.buy 16.17 €
Vector to Destiny George W. Kohn / Knjiga Mehka
common.buy 15.36 €
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Knjiga Trda
common.buy 124.44 €
Top
Mythographic Color and Discover: Fairy Folklore Fabiana Attanasio / Knjiga Mehka
common.buy 13.44 €
Top
The Bridge Kingdom (Deluxe Edition) JENSEN DANIELLE L / Knjiga Trda
common.buy 23.04 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?