Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Typed Lambda Calculi and Applications

6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Typed Lambda Calculi and Applications Martin Hofmann
Libristo-Code: 01562714
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2003
This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda C... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Les Simpson - Edition collector - Tome 25 Supernova Matt Groening / Buch Hardcover
common.buy 18.79 €
Guide des collections du musée de Draguignan Yohan Rimaud / Buch Broschur
common.buy 16.49 €
TU HUELLA SERA MI RUMBO WILMS MONTT / Buch Broschur
common.buy 14.69 €
L'instruction des enfants pauvres en ville Dessauw / Buch Broschur
common.buy 35.59 €
Demnächst
Handbuch Sportverletzungen Christian Plesch / Buch Broschur
common.buy 19.95 €
case magiche Agnese Baruzzi / Buch Leporello
common.buy 22.29 €
Édito C1 Elodie Heu / Buch Broschur
common.buy 37.29 €
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Buch Broschur
common.buy 28.79 €
El tesoro del ahorcado RIERA CATALA / Buch Broschur
common.buy 27.29 €
bar sotto il mare Stefano Benni / Buch Broschur
common.buy 14.69 €
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Papier- und Schreibwaren Papier- und Schreibwaren
common.buy 25.09 €
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Buch binding.
common.buy 53.39 €
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Buch Broschur
common.buy 48.69 €
LA PIERRE D'ABEILLE Dominique / Buch Broschur
common.buy 23.69 €
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Buch Broschur
common.buy 21.39 €
Demnächst
Einfach singen! Christian Larsen / Buch Broschur
common.buy 17.00 €
Memorias: el peso de la paja TERENCI MOIX / Buch Broschur
common.buy 20.89 €
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Buch Broschur
common.buy 11.39 €
Numerische Berechnung elektromagnetischer Felder Christian Hafner / Buch Broschur
common.buy 54.99 €
Vih/Sida En Milieux de Travail Au Senegal Ndack Diop / Buch Broschur
common.buy 85.59 €
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784 Jean Baptiste Milliet / Buch Broschur
common.buy 22.99 €
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Buch Broschur
common.buy 88.39 €

This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.§The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
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 Martin Hofmann
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2003
Anzahl der Seiten 320
EAN 9783540403326
ISBN 3540403329
Libristo-Code 01562714
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 505
Abmessungen 155 x 235 x 19

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

Das könnte Sie auch interessieren

C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Buch Hardcover
common.buy 60.39 €
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Buch Broschur
common.buy 53.79 €
Digital Health LUPTON / Buch Broschur
common.buy 73.39 €
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Buch Broschur
common.buy 15.99 €
CFTR and Cystic Fibrosis Carlos M. Farinha / Buch Broschur
common.buy 60.39 €
System Design Optimization for Product Manufacturing Masataka Yoshimura / Buch Hardcover
common.buy 107.29 €
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Buch Broschur
common.buy 13.49 €
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Buch Broschur
common.buy 11.19 €
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Buch Broschur
common.buy 9.79 €
Direct Synthesis of Metal Complexes B.I. Kharisov / Buch Broschur
common.buy 234.19 €
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Buch Hardcover
common.buy 76.09 €
Life in the Country House in Georgian Ireland Patricia Mccarthy / Buch Broschur
common.buy 36.59 €
7 Strategies for Improving Your School Williamson / Buch Broschur
common.buy 47.59 €
Downton Abbey - der Kinofilm Julian Fellowes / Video Blu-ray
common.buy 12.69 €
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge Examreview / Buch Broschur
common.buy 42.49 €
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz Julius Stinde / Buch Broschur
common.buy 25.69 €
Machine Learning and AI for Healthcare Arjun Panesar / Buch Broschur
common.buy 43.59 €
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Drucksachen Karte
common.buy 9.49 €
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Buch Broschur
common.buy 14.49 €
Esio Trot Roald Dahl / Buch Broschur
common.buy 6.39 €
East Asian Development Dwight H. Perkins / E-Book Adobe ePub DRM
common.buy 42.19 €
For Times Such as These Ariana Katz / E-Book Adobe ePub DRM
common.buy 39.59 €
I'll Be Home for Mischief Jacqueline Frost / E-Book Adobe ePub DRM
common.buy 18.49 €
Ralph Thoresby, the Topographer D H Atkinson / Buch Hardcover
common.buy 40.69 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?