[email protected] Θα απαντήσουμε εντός 24 ωρών

[email protected]

ACS 6.49 € DHL courier 9.99 € Speedex 5.99 € Σημείο ACS 6.49 € Elta 3.99 € Σημείο Elta 3.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: 64.16 EUR
Availability: InStock

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

161 b

64.16 €

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

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

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

Art Deco Complete Alastair Duncan

/ Σκληρόδετη βιβλιοδεσία

68.40 €

You've Lost a Lot of Blood

/ Χαρτόδετη βιβλιοδεσία

11.29 €

World After Susan Ee

/ Χαρτόδετη βιβλιοδεσία

10.58 €

AI and Machine Learning For Coders

/ Χαρτόδετη βιβλιοδεσία

56.69 €

Pattern Cutting Second Edition

/ Χαρτόδετη βιβλιοδεσία

53.77 €

Saluki Brian Patrick Duggan

/ Χαρτόδετη βιβλιοδεσία

51.75 €

Bolivar Marie Arana

/ Χαρτόδετη βιβλιοδεσία

20.17 €

Der Fantastische Mr. Fox Andrew Weisblum

/ Blu-ray

12.90 €

Applied Financial Macroeconomics and Investment Strategy T. McGee

/ Χαρτόδετη βιβλιοδεσία

55.89 €

A Journeyman's Journey - The Story of Jim McEwan Udo Sonntag

/ Σκληρόδετη βιβλιοδεσία

60.63 €

Concise Dictionary of Middle English A L Mayhew

/ Σκληρόδετη βιβλιοδεσία

48.02 €

Pain of Knowledge Yair Auron

/ Σκληρόδετη βιβλιοδεσία

209.45 €

Quality of Service Constrained Unicast Routing Khalid Magld

/ Χαρτόδετη βιβλιοδεσία

79.09 €

Agent-Based Models of Geographical Systems Alison J. Heppenstall

/ Χαρτόδετη βιβλιοδεσία

432.84 €

Engaging India Anupam Srivastava

/ Σκληρόδετη βιβλιοδεσία

226.30 €

Ökologische Steuerreform und Europäischer Emissionshandel Oliver Rottmann

/ Χαρτόδετη βιβλιοδεσία

49.43 €

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.

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

Πλήρες όνομα 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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Παράδοση

Οδηγός αγορών