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: 01658184
Price: 57.89 EUR
Availability: InStock
Author: Luke Ong
ISBN: 9783642216909

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong

Sprache

Englisch

Buch Broschur

Libristo-Code: 01658184

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

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

Libristo-Code: 01658184

142 b

57.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-16 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kleiner Träumer im Wind Marina Scheske

Broschur

16.39 €

Young ELI Readers - German Jane Cadwallader

Broschur

6.19 €

Testamento Alis Hawkins

Broschur

14.69 €

Rescate : historias de supervivencia en la tierra y el mar Eva Martos Jiménez

Broschur

17.19 €

Geschichte Und Beschreibung Der Rassen Des Hundes: Unter Mitwirkung Der Namhaftesten Zuchter Und Preisrichter Und in Ueverinstimmung Mit Den Officiell Ludwig Beckmann

Broschur

26.19 €

Jujutsu Kaisen - Band 8 Costa Caspary

Broschur

8.50 €

Mario Barth - Stadion Tour 2011, 2 DVDs Mario Barth

DVD

29.29 €

Tao Te Ching : urdimbre verdadera del camino y su virtud LAO TSE

Broschur

19.09 €

LO SLAP AL BASSO IN 3D +CD+DVD FERRANTE Buch

binding.

37.49 €

Le journal de Manon volume 2 Brian Miroglio

Broschur

17.39 €

Metody uprawy ziemniaków Julia Buchner

Broschur

51.19 €

Vida administrativa de las asociaciones culturales en Benín Carolle-Nelly Codo

Broschur

53.69 €

Uso de la gramática espaňola Junior (intermedio) Ramón Palencia

Broschur

21.39 €

Scambio di Coppia Lara Steele

Broschur

19.99 €

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming.§The 15 revised full papers presented were carefully reviewed and selected from 44 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 Luke Ong

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 245

EAN 9783642216909

ISBN 3642216900

Libristo-Code 01658184

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

Gewicht 380

Abmessungen 155 x 235 x 18

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