Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649911
Price: 51.69 EUR
Availability: InStock
Author: Pierre-Louis Curien
ISBN: 9783642022722

9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Pierre-Louis Curien

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01649911

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2009

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda C... Celý popis

Libristo kód: 01649911

125 b

51.69 €

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

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

HISTORIA DE UNA ESCALERA ANTONIO BUERO VALLEJO

Brožovaná

13.35 €

BEATI CHANT KURT BIKKEMBERGS

Noty

19.52 €

Was ist Bedeutung? Yongjun Cai

Brožovaná

102.69 €

100 samolepek s omalovánkovými listy Disney Princezny

Brožovaná

2.82 €

Fatti incredibili del Medioevo che non ti hanno mai raccontato Giulia Boccardi

Brožovaná

16.99 €

Recetas Anti Inflamatorias Faciles Pilar Montechiara

Brožovaná

16.89 €

La prisión perpetua en el derecho penal internacional Del-Carpio-Delgado

Brožovaná

38.13 €

Le Néo-impressionnisme Paul Signac

Brožovaná

13.35 €

La doublure - La vue - Impressions d'Afrique - Locus Solus - L'étoile au Front - La poussière de Sol Raymond Roussel

Brožovaná

38.74 €

RICHARD LLOYD: I SAW THREE SHIPS CHANT LLOYD Kniha

binding.

6.06 €

L'angolo dei tempi remoti Leonardo Fraternale

Brožovaná

15.57 €

Verhinderung von Zwang Tilman Steinert

Brožovaná

26.60 €

Praxishandbuch Kindergarten Franz Petermann

Pevná

47.14 €

Cercando rispetto. Drug economy e cultura di strada Philippe Bourgois

Brožovaná

22.86 €

Guía para la aplicación de la Ley de Jurisdicción Voluntaria de la Administración de Justicia

Brožovaná

42.48 €

Histoire de Napoleon II, Roi de Rome De Saint-Felix-J

Brožovaná

15.87 €

Friedensbewegung in Der Bundesrepublik Deutschland Rudiger Schmitt

Brožovaná

42.48 €

Geheimnisse der Seele Leon Hardt

Brožovaná

15.27 €

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming.§The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.