Kód: 01562714

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562714
Price: 51.73 EUR
Availability: InStock
Author: Martin Hofmann
ISBN: 9783540403326

Autor Martin Hofmann

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 320
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003
Viac informácií o knihe

51.73 €

Bežne: 56.02 €

Ušetríte 4.29 €

Skladom u dodávateľa
Odosielame za 5 - 8 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Esio Trot
6.07 € -29 %
Kúpiť
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101
9.10 € -14 %
Kúpiť
Einfach singen!
16.29 € -5 %
Predobjednať
Édito C1
36.14 €
Kúpiť
bar sotto il mare
14.17 €
Kúpiť
Life in the Country House in Georgian Ireland
35.33 €
Kúpiť
Machine Learning and AI for Healthcare
38.87 € -25 %
Kúpiť
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu
12.34 € -7 %
Kúpiť
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes
24.29 €
Kúpiť
Guide des collections du musée de Draguignan
16.09 €
Kúpiť
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832
26.52 € -1 %
Kúpiť
C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians
55.89 €
Kúpiť
Psicopatología del poder: un ensayo sobre la perversión y la corrupción
20.75 €
Kúpiť
Spitfire on My Tail
13.86 € -25 %
Kúpiť
L'instruction des enfants pauvres en ville
34.52 €
Kúpiť
From Mulberry Leaves to Silk Scrolls
69.86 €
Kúpiť
Handbuch Sportverletzungen
17 € -15 %
Predobjednať
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD
51.84 €
Kúpiť
Camilla
19.63 € -21 %
Kúpiť
David Goldblatt: Photographs 1948-2018
73.81 €
Kúpiť
case magiche
21.46 € -9 %
Kúpiť
Appreciative Inquiry - Change at the Speed of Imagination 2e
66.22 € -1 %
Kúpiť
Biological Materials of Marine Origin
103.07 € -7 %
Kúpiť
TU HUELLA SERA MI RUMBO
14.88 € -10 %
Kúpiť
Glimpses
16.70 € -2 %
Kúpiť
Les Simpson - Edition collector - Tome 25 Supernova
18.32 €
Kúpiť
Direct Synthesis of Metal Complexes
218.61 €
Kúpiť
Oregon State Penitentiary
19.63 € -21 %
Kúpiť
Memorias: el peso de la paja
20.14 €
Kúpiť
Vih/Sida En Milieux de Travail Au Senegal
81.91 €
Kúpiť
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook
9 € -6 %
Kúpiť
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge
38.87 € -6 %
Kúpiť
System Design Optimization for Product Manufacturing
103.07 € -7 %
Kúpiť
Downton Abbey - der Kinofilm
12.24 €
Kúpiť
Von der Hoffnung auf Liebe und andere Dinge
11.03 € -3 %
Kúpiť
Arthur O'Shaughnessy, his Life and his Work
15.28 € -14 %
Kúpiť
Cascade Alpine Guide Climbing and High Routes
35.53 € -9 %
Kúpiť
LA PIERRE D'ABEILLE
22.98 €
Kúpiť
El tesoro del ahorcado
26.42 €
Kúpiť
27 Mystical and musing ways to wellness
10.22 € -7 %
Kúpiť
I Knew You Were Trouble
8.70 € -25 %
Kúpiť
Orientalists, Islamists and the Global Public Sphere
41.20 €
Kúpiť
CFTR and Cystic Fibrosis
55.89 €
Kúpiť
Formacion del especialista de medicina general integral
84.54 € -14 %
Kúpiť
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense
13.26 € -6 %
Kúpiť
Daily Agony of Theophil Magus
18.32 € -7 %
Kúpiť
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz
23.58 € -2 %
Kúpiť
Logos of Phenomenology and Phenomenology of The Logos. Book Four
154.52 € -7 %
Kúpiť
Another View From The Park
17.51 € -25 %
Kúpiť
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784
21.15 € -2 %
Kúpiť
Natation scolaire : surveillance, encadrement et conditions matérielles
47.28 €
Kúpiť
Numerische Berechnung elektromagnetischer Felder
51.94 € -6 %
Kúpiť
Transactions on Petri Nets and Other Models of Concurrency IX
51.73 € -7 %
Kúpiť
Political Power and Economic Inequality
55.68 €
Kúpiť
Digital Health
68.04 €
Kúpiť
7 Strategies for Improving Your School
44.14 €
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe Typed Lambda Calculi and Applications

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.§The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

51.73 €

Celý názov: Typed Lambda Calculi and Applications
Podnázov: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
Autor: Martin Hofmann
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 320
EAN: 9783540403326
ISBN: 3540403329
ID: 01562714
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť: 505 g
Rozmery: 235 × 155 × 19 mm
Dátum vydania: 27. May 2003