Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Rewriting and Typed Lambda Calculi

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

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 02775233

Uitgeverij Springer International Publishing AG, juli 2014

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... Volledige beschrijving

Libristo-code: 02775233

141 b

58.57 €

In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

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

Adobe ePub DRM

3.94 €

Microsoft 365 Markus Widl

Gebonden (harde band)

66.07 €

Nasze kochane pieski Opracowanie zbiorowe

Gebonden (paperback)

0.60 €

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

Gebonden (paperback)

6.27 €

Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm

Gebonden (paperback)

17.12 €

AYANTEK MIRIAM JIMENEZ IRIARTE

Gebonden (harde band)

23.81 €

Novellen Helene Böhlau

Gebonden (paperback)

13.57 €

Alternative Investments Michael Sezemsky

Gebonden (paperback)

107.11 €

Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn

Gebonden (paperback)

77.92 €

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

Gebonden (paperback)

14.89 €

Kompensatorenlyrik Thomas Michels

Gebonden (harde band)

25.33 €

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

Gebonden (paperback)

40.93 €

Kod Adi Mucize Ünver Alibey

Gebonden (paperback)

10.23 €

Hagibor Milena Slavická

Gebonden (paperback)

8.20 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Rewriting and Typed Lambda Calculi

Auteur Gilles Dowek

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2014

Aantal pagina's 491

EAN 9783319089171

ISBN 331908917X

Libristo-code 02775233

Uitgeverij Springer International Publishing AG

Gewicht 7723

Afmetingen 155 x 235 x 26

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeringstechnieken

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger