Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560558
Price: 51.69 EUR
Availability: InStock
Author: Pawel Urzyczyn
ISBN: 9783540255932

7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Pawel Urzyczyn

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 01560558

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Απρίλιος 2005

This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda C... Πλήρης περιγραφή

Κωδικός Libristo: 01560558

125 b

51.69 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

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

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

Gramática polaca Ilona Narebska

Χαρτόδετο

17.90 €

Wortschatz schnell erweitern Alexander Bohm

Χαρτόδετο

15.57 €

Moje pierwsze… Kształty. Psi Patrol Opracowanie zbiorowe

Σκληρόδετο

4.85 €

UEberleben und Wartung von Implantaten Amit Bhardwaj

Χαρτόδετο

55.13 €

Ursachen Saisonaler Holzpreisschwankungen Kajetan Zwirglmaier

Χαρτόδετο

78.91 €

Freiheit Birgit Recki

Χαρτόδετο

11.52 €

Gyulladasgatlo Receptek 2022 MARIANNA JAKAB

Χαρτόδετο

36.31 €

Wiedersehen in Howards End Edward M. Forster

Χαρτόδετο

13.55 €

Aktienbewertung mittels technischer Analyse Henning Kempen

Χαρτόδετο

17.09 €

Szétzilált ország Szelényi Zsuzsanna

Σκληρόδετο

16.68 €

La Confrérie des Gardiens de l'Arche d'alliance Della Volta Lea

Χαρτόδετο

25.28 €

Bekenntnisse eines Ichmenschen tendhal

Χαρτόδετο

27.71 €

Saint-John Perse : la culture en dialogues Rigolot

Χαρτόδετο

2.52 €

Viewegs Geschichte Der Umweltwissenschaften Peter J. Bowler

Χαρτόδετο

33.18 €

Psychopharmakologischer Leitfaden für Psychologen und Psychotherapeuten Otto Benkert

Χαρτόδετο

70.71 €

Examen Physiologique de l'Hydrotherapie, Memoire LUBANSKI-A

Χαρτόδετο

14.36 €

Nový hrabě Monte Christo Ondřej Neff

Σκληρόδετο

12.64 €

LET'"'"'S GO 2 SB (CATALAN EDITION)

Χαρτόδετο

32.57 €

Smutný vítěz Jiří Kárnet

Λίστα

8.99 €

Ökologische Steuerreform und Europäischer Emissionshandel Oliver Rottmann

Χαρτόδετο

49.97 €

This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005, held in Nara, Japan in April 2005.§The 27 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 61 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Typed Lambda Calculi and Applications

Συγγραφέας Pawel Urzyczyn

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2005

Αριθμός σελίδων 436

EAN 9783540255932

ISBN 3540255931

Κωδικός Libristo 01560558

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 1390

Διαστάσεις 155 x 235 x 25

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη