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 € 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 € Kuriér GLS 3.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.

Rewriting and Typed Lambda Calculi

Name: Rewriting and Typed Lambda Calculi
Brand: Springer International Publishing AG
SKU: 02775233
Price: 51.78 EUR
Availability: InStock
Author: Gilles Dowek
ISBN: 9783319089171

Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Gilles Dowek

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02775233

Nakladateľstvo Springer International Publishing AG, júl 2014

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... Celý popis

Libristo kód: 02775233

125 b

51.78 €

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

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Αγάπα Μόνο Εμένα Amanda Mariel

Adobe ePub DRM

3.94 €

Microsoft 365 Markus Widl

Pevná

66.07 €

Nasze kochane pieski Opracowanie zbiorowe

Brožovaná

0.60 €

Sami et Julie CP Niveau 3 : Sami et Julie jardinent Emmanuelle Massonaud Kniha

Brožovaná

6.27 €

Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm

Brožovaná

17.12 €

AYANTEK MIRIAM JIMENEZ IRIARTE

Pevná

23.81 €

Novellen Helene Böhlau

Brožovaná

13.57 €

Alternative Investments Michael Sezemsky

Brožovaná

42.96 €

Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn

Brožovaná

34.04 €

Having a Fulfilling Life as an International Student in Japan (Japanese Edition) Chinthaka Premachandra

Brožovaná

14.08 €

Kompensatorenlyrik Thomas Michels

Pevná

13.16 €

Vulgarisation en zone SOFITEX : cas des régions de Dédougou et Houndé Aimé Germain Traore

Brožovaná

35.76 €

Kod Adi Mucize Ünver Alibey

Brožovaná

10.23 €

Hagibor Milena Slavická

Brožovaná

7.89 €

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming.