Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 02775233

Verlag Springer International Publishing AG, Juli 2014

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... Vollständige Beschreibung

Libristo-Code: 02775233

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Adobe ePub DRM

4.09 €

Microsoft 365 Markus Widl

Hardcover

69.90 €

Nasze kochane pieski Opracowanie zbiorowe

Broschur

0.59 €

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

Broschur

6.49 €

Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm

Broschur

18.95 €

AYANTEK MIRIAM JIMENEZ IRIARTE

Hardcover

24.49 €

Novellen Helene Böhlau

Broschur

14.90 €

Alternative Investments Michael Sezemsky

Broschur

48.00 €

Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn

Broschur

38.00 €

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

Broschur

15.39 €

Kompensatorenlyrik Thomas Michels

Hardcover

14.49 €

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

Broschur

37.29 €

Kod Adi Mucize Ünver Alibey

Broschur

10.59 €

Hagibor Milena Slavická

Broschur

8.59 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Rewriting and Typed Lambda Calculi

Autor Gilles Dowek

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2014

Anzahl der Seiten 491

EAN 9783319089171

ISBN 331908917X

Libristo-Code 02775233

Verlag Springer International Publishing AG

Gewicht 7723

Abmessungen 155 x 235 x 26

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmiertechniken

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert