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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.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: 01649911
Price: 51.66 EUR
Availability: InStock
Author: Pierre-Louis Curien
ISBN: 9783642022722

9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Pierre-Louis Curien

Sprache

Englisch

Buch Broschur

Libristo-Code: 01649911

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2009

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

Libristo-Code: 01649911

125 b

51.66 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

HISTORIA DE UNA ESCALERA ANTONIO BUERO VALLEJO

Broschur

13.34 €

BEATI CHANT KURT BIKKEMBERGS

Noten

19.71 €

Was ist Bedeutung? Yongjun Cai

Broschur

102.62 €

100 samolepek s omalovánkovými listy Disney Princezny

Broschur

3.53 €

Fatti incredibili del Medioevo che non ti hanno mai raccontato Giulia Boccardi

Broschur

17.18 €

Recetas Anti Inflamatorias Faciles Pilar Montechiara

Broschur

19.10 €

La prisión perpetua en el derecho penal internacional Del-Carpio-Delgado

Broschur

38.11 €

Le Néo-impressionnisme Paul Signac

Broschur

13.64 €

La doublure - La vue - Impressions d'Afrique - Locus Solus - L'étoile au Front - La poussière de Sol Raymond Roussel

Broschur

39.02 €

RICHARD LLOYD: I SAW THREE SHIPS CHANT LLOYD Buch

binding.

6.36 €

L'angolo dei tempi remoti Leonardo Fraternale

Broschur

17.18 €

Verhinderung von Zwang Tilman Steinert

Broschur

26.58 €

Praxishandbuch Kindergarten Franz Petermann

Hardcover

47.21 €

Cercando rispetto. Drug economy e cultura di strada Philippe Bourgois

Broschur

23.04 €

Guía para la aplicación de la Ley de Jurisdicción Voluntaria de la Administración de Justicia

Broschur

42.46 €

Histoire de Napoleon II, Roi de Rome De Saint-Felix-J

Broschur

17.69 €

Friedensbewegung in Der Bundesrepublik Deutschland Rudiger Schmitt

Broschur

42.46 €

Geheimnisse der Seele Leon Hardt

Broschur

15.26 €

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming.§The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address 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 Pierre-Louis Curien

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2009

Anzahl der Seiten 417

EAN 9783642022722

ISBN 3642022723

Libristo-Code 01649911

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

Gewicht 658

Abmessungen 155 x 235 x 24

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