Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568759
Price: 247.9 PLN
Availability: InStock
Author: Simona Ronchi Della Rocca
ISBN: 9783540732273

8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

Simona Ronchi Della Rocca

Język

Angielski

Książka Miękka

Kod Libristo: 01568759

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2007

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda C... Cały opis

Kod Libristo: 01568759

142 b

Gwarancja
najlepszej
ceny ▸

247.90 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Signification clinique des signaux PPG - Une perspective technique Harikumar Rajaguru

Miękka

151.14 zł

AREAS NATURALES PROTEGIDAS DE MEXICO CON DECRETOS

Książka

114.41 zł

Stand on the arrested Ibn Hajar Al -Asqalani

Adobe ePub DRM

83.70 zł

Weihnachts-Rätsel

Karta

19.56 zł

Journal des amateurs d'objets d'art et de curiosité Jean-Louis Le Hir

Miękka

140.81 zł

Beware of Maadhu Crazy Mohan

Miękka

74.06 zł

Expedice příroda: 50 koní a poníků collegium

Karty

37.83 zł

Echoes of Ashes and Rain - Die Perfekten Caroline Brinkmann

Miękka

61.31 zł

Kooperation von Schule und Familie Bettina König

Miękka

108.59 zł

Économétrie appliquée Moulay El Mehdi Falloul

Miękka

230.23 zł

Pack Matematiques Balears P4 (3er Trimestre) FRAILE MARTIN

Miękka

45.86 zł

Camilo de Lelis, un sanitario con corazón de madre Cosmacini

Miękka

90.52 zł

Mirarte y regresar Molinari

Miękka

69.85 zł

Estética y paideía (Hermenéuticas contra la Violencia I) Oñate y Zubía

Miękka

126.96 zł

PRINCESSE STELLA - DIAMANT, LE CHEVAL DES GLACES Sarah Kilbride

Twarda

48.17 zł

Did I Mention I Love You ? - tome 1 Estelle Maskame

Miękka

94.94 zł

Il corsaro nero Salgari Emilio Leggeregiovane

Miękka

66.53 zł

Nacer con una pregunta en el corazón (Authentic Living Series) Osho Rajneesh

Miękka

54.99 zł

Osteoporosi senza medicine Paolo Giordo

Miękka

66.73 zł

La representación política José Pedro Galvao de Sousa

Miękka

115.31 zł

Annalen Des St. Bertin Und St. Vaast J. von Jasmund

Miękka

151.14 zł

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming.§The 25 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 52 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.