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: 01568759
Price: 49.99 EUR
Availability: InStock
Author: Simona Ronchi Della Rocca
ISBN: 9783540732273

8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

Simona Ronchi Della Rocca

Sprache

Englisch

Buch Broschur

Libristo-Code: 01568759

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

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

Libristo-Code: 01568759

122 b

49.99 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Weihnachts-Rätsel

Blatt

3.89 €

Stand on the arrested Ibn Hajar Al -Asqalani

Adobe ePub DRM

16.49 €

AREAS NATURALES PROTEGIDAS DE MEXICO CON DECRETOS

Buch

21.69 €

Echoes of Ashes and Rain - Die Perfekten Caroline Brinkmann

Broschur

17.00 €

Journal des amateurs d'objets d'art et de curiosité Jean-Louis Le Hir

Broschur

26.89 €

Beware of Maadhu Crazy Mohan

Broschur

14.79 €

Signification clinique des signaux PPG - Une perspective technique Harikumar Rajaguru

Broschur

31.09 €

Expedice příroda: 50 koní a poníků collegium

Karten

8.09 €

Dar Edith Eger

Hardcover

10.29 €

Kooperation von Schule und Familie Bettina König

Broschur

29.00 €

Économétrie appliquée Moulay El Mehdi Falloul

Broschur

47.39 €

Pack Matematiques Balears P4 (3er Trimestre) FRAILE MARTIN

Broschur

8.79 €

Camilo de Lelis, un sanitario con corazón de madre Cosmacini

Broschur

17.59 €

Mirarte y regresar Molinari

Broschur

13.59 €

Estética y paideía (Hermenéuticas contra la Violencia I) Oñate y Zubía

Broschur

23.89 €

PRINCESSE STELLA - DIAMANT, LE CHEVAL DES GLACES Sarah Kilbride

Hardcover

8.99 €

Did I Mention I Love You ? - tome 1 Estelle Maskame

Broschur

17.99 €

Il corsaro nero Salgari Emilio Leggeregiovane

Broschur

16.29 €

Nacer con una pregunta en el corazón (Authentic Living Series) Osho Rajneesh

Broschur

10.29 €

Osteoporosi senza medicine Paolo Giordo

Broschur

12.99 €

La representación política José Pedro Galvao de Sousa

Broschur

22.39 €

Annalen Des St. Bertin Und St. Vaast J. von Jasmund

Broschur

39.90 €

Leo und Astix Marlis E. Hornig

Broschur

13.30 €

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming.§The 25 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 52 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 Simona Ronchi Della Rocca

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2007

Anzahl der Seiten 400

EAN 9783540732273

ISBN 3540732276

Libristo-Code 01568759

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

Gewicht 635

Abmessungen 155 x 235 x 23

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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