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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663877
Price: 41.89 EUR
Availability: InStock
Author: Masahito Hasegawa
ISBN: 9783642389450

11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Masahito Hasegawa

Sprache

Englisch

Buch Broschur

Libristo-Code: 01663877

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2013

This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda... Vollständige Beschreibung

Libristo-Code: 01663877

103 b

41.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Melanges d'Archeologie, d'Histoire Et de Litterature, Collection de Memoires Sur l'Orfevrerie Tome1 CAHIER-C

Broschur

23.99 €

Jo, aquí, només sóc el gos Jutta Richter

Broschur

8.19 €

Mon Compte Avec MR Larat-Minot, Receveur Particulier Des Finances de l'Arrondissement de Melle Jottreau-E

Broschur

10.89 €

La guérison des maladies de l'âme NE Alphonse Goettmann

Broschur

28.99 €

GASTOLDI BALLETTI A CINQUE VOCI 20EME CONCERTO PASTORI LP10 BASS PART GASTOLDI Buch

binding.

10.09 €

ESPAñA DEL ANTIGUO RéGIMEN DESDEVISES DU DEZERT

Broschur

28.99 €

L'essentiel d'AutoCAD : Dévoiler les concepts de base Rishabh Arora

Broschur

34.19 €

This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting, Deduction, and Programming, together with the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, and several related events. §The 15 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, 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 Typed Lambda Calculi and Applications

Autor Masahito Hasegawa

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 251

EAN 9783642389450

ISBN 3642389457

Libristo-Code 01663877

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 409

Abmessungen 155 x 235 x 17

Kategorie

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

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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