Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Typed Lambda Calculi and Applications

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

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Κωδικός Libristo: 05274455
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Πλήρης περιγραφή
? points 125 b
51.68 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Τοπ
Angielski w tłumaczeniach Idiomy Andy Edwins / Βιβλίο Χαρτόδετο
common.buy 13.24 €
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Βιβλίο Χαρτόδετο
common.buy 53.10 €
Čierna labuť, biela vrana Richard Müller / Βιβλίο binding.
common.buy 30.54 €
Einfache Strategieentwicklung fur Mittelstand und Kleinunternehmen Bruno Hartmann / Βιβλίο Χαρτόδετο
common.buy 9.09 €
Pour rien au monde Ken Follett / Βιβλίο Χαρτόδετο
common.buy 17.29 €
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / ebook Adobe ePub DRM
common.buy 80.81 €
Paulino y la joven muerte Miguel Veyrat / Βιβλίο Χαρτόδετο
common.buy 23.96 €
La Fuente Escondida. El Cuento Para Reencontrarte / Your Hidden Inner Spring Tirado / Βιβλίο Χαρτόδετο
common.buy 13.65 €
La técnica Alexander: Las posturas del bienestar CHANCE JEREMY / Βιβλίο Χαρτόδετο
common.buy 12.43 €
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Βιβλίο Χαρτόδετο
common.buy 14.35 €
Vychytralý plán Susanna Craig / Βιβλίο Σκληρόδετο
common.buy 12.43 €
Ich - ein anderer Imre Kertesz / Βιβλίο Χαρτόδετο
common.buy 6.97 €
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Ακουστικό βιβλίο MP3
common.buy 2.42 €
Ukrajinské leporelo Andrej Bán / Βιβλίο Σκληρόδετο
common.buy 25.08 €
Ben et les habiletés sociales : Le harcèlement LEMARIE / Βιβλίο Χαρτόδετο
common.buy 19.51 €
Destinations. Italy unknown / Βιβλίο Χαρτόδετο
common.buy 38.73 €
Panická porucha Dana Kamarádová / Βιβλίο Χαρτόδετο
common.buy 18.20 €
Zola: Therese Raquin Emile Zola / Βιβλίο Χαρτόδετο
common.buy 40.05 €
Bez bahna lotos nevykvete Thich Nhat Hanh / Βιβλίο Χαρτόδετο
common.buy 11.32 €
Padni komu padni Viliam Šimunek / Βιβλίο Σκληρόδετο
common.buy 11.32 €
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Βιβλίο Χαρτόδετο
common.buy 33.27 €
50 Tecnicas de Mindfullness Para La Ansiedad, La Depresion, El Estres Y El Dolor Donald Altman / Βιβλίο Χαρτόδετο
common.buy 15.47 €
Προετοιμαζουμε
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Βιβλίο Σκληρόδετο
common.buy 23.66 €
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Βιβλίο Χαρτόδετο
common.buy 11.72 €

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.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Typed Lambda Calculi and Applications
Συγγραφέας Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 1995
Αριθμός σελίδων 452
EAN 9783540590484
ISBN 354059048X
Κωδικός Libristo 05274455
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 594
Διαστάσεις 156 x 234 x 23

Κατηγορία

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
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Quality of Communication-Based Systems Günter Hommel / Βιβλίο Χαρτόδετο
common.buy 102.97 €
Designing the City of People 4.0 Dario Costi / Βιβλίο Χαρτόδετο
common.buy 144.04 €
The Malleus Maleficarum James Sprenger / Βιβλίο Χαρτόδετο
common.buy 16.68 €
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Βιβλίο Σκληρόδετο
common.buy 24.27 €
PRIZE ESSAYS HARRIET MARTINEAU / Βιβλίο Σκληρόδετο
common.buy 41.16 €
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Βιβλίο Σκληρόδετο
common.buy 24.57 €
Freedom and the Subject of Theory Colin Davis / Βιβλίο Σκληρόδετο
common.buy 110.55 €
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 / Βιβλίο Χαρτόδετο
common.buy 16.58 €
Oath of Deception JENNIFER ANNE DAVIS / Βιβλίο Σκληρόδετο
common.buy 26.29 €
Rumble Volume 4: Soul Without Pity John Arcudi / Βιβλίο Χαρτόδετο
common.buy 14.46 €
Προετοιμαζουμε
Marvel Platinum: The Definitive Avengers Redux Stan Lee / Βιβλίο Χαρτόδετο
common.buy 19.21 €
One. Hunter B Kirkpatrick / Βιβλίο Χαρτόδετο
common.buy 8.99 €
Theft by Finding David Sedaris / Audio Audio CD
common.buy 27.10 €
The Girl from the Stars James J. Caterino / Βιβλίο Χαρτόδετο
common.buy 11.72 €
Santa Claus and the Scepter of Christmas Holt Clarke / Βιβλίο Σκληρόδετο
common.buy 24.27 €
Dancing at Halftime Carol Spindel / Βιβλίο Χαρτόδετο
common.buy 42.37 €
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Βιβλίο Χαρτόδετο
common.buy 36.41 €
The Importance of Music to Girls Lavinia Greenlaw / Βιβλίο Χαρτόδετο
common.buy 15.16 €
In the Shadows of Paris Claude Izner / Βιβλίο Χαρτόδετο
common.buy 19.92 €
Vector to Destiny George W. Kohn / Βιβλίο Χαρτόδετο
common.buy 17.29 €
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Βιβλίο Σκληρόδετο
common.buy 136.96 €
Τοπ Προετοιμαζουμε Νέα
Mythographic Color and Discover: Fairy Folklore Fabiana Attanasio / Βιβλίο Χαρτόδετο
common.buy 14.46 €
Τοπ
The Bridge Kingdom (Deluxe Edition) JENSEN DANIELLE L / Βιβλίο Σκληρόδετο
common.buy 27.50 €
Τοπ
Kill Switch Penelope Douglas / Βιβλίο Χαρτόδετο
common.buy 10.11 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;