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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

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: 01560558
Price: 51.09 EUR
Availability: InStock
Author: Pawel Urzyczyn
ISBN: 9783540255932

7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Pawel Urzyczyn

Sprache

Englisch

Buch Broschur

Libristo-Code: 01560558

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2005

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

Libristo-Code: 01560558

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Gyulladasgatlo Receptek 2022 MARIANNA JAKAB

Broschur

27.39 €

Wortschatz schnell erweitern Alexander Bohm

Broschur

15.80 €

UEberleben und Wartung von Implantaten Amit Bhardwaj

Broschur

61.90 €

Ursachen Saisonaler Holzpreisschwankungen Kajetan Zwirglmaier

Broschur

69.99 €

Freiheit Birgit Recki

Broschur

9.99 €

Saint-John Perse : la culture en dialogues Rigolot

Broschur

8.19 €

Szétzilált ország Szelényi Zsuzsanna

Hardcover

13.69 €

Aktienbewertung mittels technischer Analyse Henning Kempen

Broschur

18.95 €

Wiedersehen in Howards End Edward M. Forster

Broschur

15.00 €

La Confrérie des Gardiens de l'Arche d'alliance Della Volta Lea

Broschur

20.49 €

Bekenntnisse eines Ichmenschen tendhal

Broschur

30.90 €

Viewegs Geschichte Der Umweltwissenschaften Peter J. Bowler

Broschur

34.99 €

Psychopharmakologischer Leitfaden für Psychologen und Psychotherapeuten Otto Benkert

Broschur

74.99 €

Examen Physiologique de l'Hydrotherapie, Memoire LUBANSKI-A

Broschur

11.49 €

Nový hrabě Monte Christo Ondřej Neff

Hardcover

11.09 €

Ökologische Steuerreform und Europäischer Emissionshandel Oliver Rottmann

Broschur

49.00 €

Smutný vítěz Jiří Kárnet

Blatt

7.99 €

LET'"'"'S GO 2 SB (CATALAN EDITION)

Broschur

29.39 €

This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005, held in Nara, Japan in April 2005.§The 27 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 61 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts.

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 Pawel Urzyczyn

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 436

EAN 9783540255932

ISBN 3540255931

Libristo-Code 01560558

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

Gewicht 1390

Abmessungen 155 x 235 x 25

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