Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Rewriting and Typed Lambda Calculi

Name: Rewriting and Typed Lambda Calculi
Brand: Springer International Publishing AG
SKU: 02775233
Price: 53.79 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

Lingua

Inglese

Libro In brossura

Codice Libristo: 02775233

Casa editrice Springer International Publishing AG, luglio 2014

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... Descrizione completa

Codice Libristo: 02775233

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Novellen Helene Böhlau

In brossura

13.30 €

Nasze kochane pieski Opracowanie zbiorowe

In brossura

0.59 €

Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm

In brossura

17.89 €

ricchezza del debito pubblico. Secoli XII-XXI Angela Orlandi

In brossura

27.70 €

La Princesse du fond des Temps Decroix

In brossura

17.29 €

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

Adobe ePub DRM

3.39 €

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

In brossura

4.89 €

Fantastic Four par WAID/WIERINGO T02

In brossura

13.59 €

AYANTEK MIRIAM JIMENEZ IRIARTE

Rigido

22.29 €

Alternative Investments Michael Sezemsky

In brossura

44.79 €

Lesestart mit Eberhart: Urlaub zu Hause Nicole Brandau

Foglio

4.29 €

Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn

In brossura

35.59 €

Kompensatorenlyrik Thomas Michels

Rigido

13.69 €

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

In brossura

14.99 €

Gert Westphal liest Johann Wolfgang von Goethe Johann Wolfgang von Goethe

CD audio

44.09 €

La escolarización de la infancia gitana en 167 poblaciones de Andalucía Equipo EINA

In brossura

21.20 €

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

In brossura

37.29 €

Don Quijote de la Mancha : (selección de textos) Miguel de Cervantes Saavedra

In brossura

9.99 €

Kod Adi Mucize Ünver Alibey

In brossura

10.09 €

Hagibor Milena Slavická

In brossura

8.69 €

sterbende Cato Johann Christoph Gottsched

In brossura

9.39 €

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.