Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Typed Lambda Calculi and Applications

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

Limba englezăengleză
Carte Carte broșată
Carte Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Codul Libristo: 05274455
Editura Springer, Berlin, noiembrie 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Descrierea completă
? points 132 b
285.28 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Top
Angielski w tłumaczeniach Idiomy Andy Edwins / Carte Carte broșată
common.buy 69.26 lei
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Carte Carte broșată
common.buy 293.08 lei
Большая книга психологических практик для избавления от тревоги, паники, ВСД и стресса И.С. Качай / Carte Copertă tare
common.buy 114.40 lei
L'Irritabilite Dans La Serie Animale Courtade-D / Carte Carte broșată
common.buy 90.79 lei
COMPACT BOX PLATINUM 2021 ADRENALYN 2020-2021 / Carte binding.
common.buy 56.78 lei
Tradition et dissidence Goytisolo Carte Carte broșată
common.buy 120.22 lei
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Carte Carte broșată
common.buy 75.19 lei
Baroque : sculptures européennes (1600-1750) Sismann / Carte Carte broșată
common.buy 223.08 lei
Destinations. Italy unknown / Carte Carte broșată
common.buy 202.91 lei
Ben et les habiletés sociales : Le harcèlement LEMARIE / Carte Carte broșată
common.buy 102.23 lei
Ukrajinské leporelo Andrej Bán / Carte Copertă tare
common.buy 131.25 lei
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Audiobook MP3
common.buy 12.58 lei
Čierna labuť, biela vrana Richard Müller / Carte binding.
common.buy 160.06 lei
Pour rien au monde Ken Follett / Carte Carte broșată
common.buy 90.27 lei
Vychytralý plán Susanna Craig / Carte Copertă tare
common.buy 65.41 lei
Ours(les) Steve Bloom / Carte Carte broșată
common.buy 90.79 lei
Panická porucha Dana Kamarádová / Carte Carte broșată
common.buy 95.47 lei
Ich - ein anderer Imre Kertesz / Carte Carte broșată
common.buy 38.58 lei
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-book Adobe ePub DRM
common.buy 420.80 lei
Zola: Therese Raquin Emile Zola / Carte Carte broșată
common.buy 190.63 lei
Affenbande / Joc / Jucărie Joc
common.buy 37.64 lei
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Carte Carte broșată
common.buy 64.99 lei
Curând
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Carte Copertă tare
common.buy 131.45 lei
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Carte Carte broșată
common.buy 185.23 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Typed Lambda Calculi and Applications
Autor Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Limba engleză
Legare Carte - Carte broșată
Data publicării 1995
Număr pagini 452
EAN 9783540590484
ISBN 354059048X
Codul Libristo 05274455
Editura Springer, Berlin
Greutatea 594
Dimensiuni 156 x 234 x 23

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Designing the City of People 4.0 Dario Costi / Carte Carte broșată
common.buy 795.95 lei
Quality of Communication-Based Systems Günter Hommel / Carte Carte broșată
common.buy 569.01 lei
The Malleus Maleficarum James Sprenger / Carte Carte broșată
common.buy 87.67 lei
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Carte Copertă tare
common.buy 127.29 lei
Dancing at Halftime Carol Spindel / Carte Carte broșată
common.buy 222.04 lei
PRIZE ESSAYS HARRIET MARTINEAU / Carte Copertă tare
common.buy 215.49 lei
Santa Claus and the Scepter of Christmas Holt Clarke / Carte Copertă tare
common.buy 127.09 lei
Children's Book of Music DK / Carte Copertă tare
common.buy 101.19 lei
Tenacious D: The Official Coloring Book Juan Riera / Carte Carte broșată
common.buy 89.23 lei
Theft by Finding David Sedaris / Audio Audio CD
common.buy 142.06 lei
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Carte Carte broșată
common.buy 199.68 lei
The Importance of Music to Girls Lavinia Greenlaw / Carte Carte broșată
common.buy 79.66 lei
In the Shadows of Paris Claude Izner / Carte Carte broșată
common.buy 104.41 lei
At Last Edward St Aubyn / Carte Carte broșată
common.buy 96.20 lei
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Carte Copertă tare
common.buy 128.85 lei
Vector to Destiny George W. Kohn / Carte Carte broșată
common.buy 90.48 lei
Love Me, Love My Wife Charles Erlandson / Carte Carte broșată
common.buy 51.06 lei
Sherlock: A Scandal in Belgravia Part 2 Steven Moffat / Carte Carte broșată
common.buy 62.19 lei
The the Wintermen III: At the End of the World Brit Griffin / Carte Carte broșată
common.buy 87.67 lei
The Girl from the Stars James J. Caterino / Carte Carte broșată
common.buy 61.77 lei
Lonely Planet Pocket Barcelona Lonely planet eng / Carte Carte broșată
common.buy 91.20 lei
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Carte Copertă tare
common.buy 652.53 lei
PRF in Restorative dentistry and Endodontics Tony Jose Anil Tomer / Carte Carte broșată
common.buy 271.55 lei
Freedom and the Subject of Theory Colin Davis / Carte Copertă tare
common.buy 579.41 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?