Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Typed Lambda Calculi and Applications

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Typed Lambda Calculi and Applications Martin Hofmann
Code Libristo: 01562714
Éditeurs 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... Description détaillée
? points 125 b
51.65 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Les Simpson - Edition collector - Tome 25 Supernova Matt Groening / Livre Livre relié
common.buy 17.98 €
bar sotto il mare Stefano Benni / Livre Livre de poche
common.buy 13.84 €
LA PIERRE D'ABEILLE Dominique / Livre Livre de poche
common.buy 22.74 €
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Livre Livre de poche
common.buy 20.71 €
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Livre Livre de poche
common.buy 27.79 €
El infinito en un junco VALLEJO / Livre Livre de poche
common.buy 13.94 €
El tesoro del ahorcado RIERA CATALA / Livre Livre de poche
common.buy 26.48 €
L'instruction des enfants pauvres en ville Dessauw / Livre Livre de poche
common.buy 34.26 €
TU HUELLA SERA MI RUMBO WILMS MONTT / Livre Livre de poche
common.buy 14.85 €
Guide des collections du musée de Draguignan Yohan Rimaud / Livre Livre de poche
common.buy 15.76 €
Bientôt
Handbuch Sportverletzungen Christian Plesch / Livre Livre de poche
common.buy 16.97 €
case magiche Agnese Baruzzi / Livre Livre Concertina
common.buy 21.42 €
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Articles de papeterie Articles de papeterie
common.buy 24.35 €
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Livre binding.
common.buy 51.55 €
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Livre Livre de poche
common.buy 46.90 €
Top
Einfach singen! Christian Larsen / Livre Livre de poche
common.buy 16.27 €
Memorias: el peso de la paja TERENCI MOIX / Livre Livre de poche
common.buy 20.21 €
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Livre Livre de poche
common.buy 10.91 €
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Livre Livre de poche
common.buy 84.40 €
Garratt-Lokomotiven Der Welt URRANT / Livre Livre de poche
common.buy 34.06 €
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784 Jean Baptiste Milliet / Livre Livre de poche
common.buy 22.13 €
Numerische Berechnung elektromagnetischer Felder Christian Hafner / Livre Livre de poche
common.buy 51.85 €
Vih/Sida En Milieux de Travail Au Senegal Ndack Diop / Livre Livre de poche
common.buy 81.78 €
Édito C1 Elodie Heu / Livre Livre de poche
common.buy 35.98 €

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.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Typed Lambda Calculi and Applications
Auteur Martin Hofmann
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2003
Nombre de pages 320
EAN 9783540403326
ISBN 3540403329
Code Libristo 01562714
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 505
Dimensions 155 x 235 x 19

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Livre Livre relié
common.buy 58.32 €
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Livre Livre de poche
common.buy 51.65 €
Cinderella Magic Painting Book NOT KNOWN / Livre Livre de poche
common.buy 7.98 €
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Livre Livre relié
common.buy 73.49 €
Top
Ethereal Visions: An Illuminated Tarot Deck Matt Hughes / Articles imprimés Cartes
common.buy 19.91 €
Sentientist Politics Alasdair Cochrane / Livre Livre relié
common.buy 126.16 €
Direct Synthesis of Metal Complexes B.I. Kharisov / Livre Livre de poche
common.buy 227.45 €
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Livre Livre de poche
common.buy 9.39 €
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Livre Livre de poche
common.buy 10.81 €
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Livre Livre de poche
common.buy 13.03 €
Notes for Flutists Kyle J. Dzapo / Livre Livre de poche
common.buy 64.19 €
CFTR and Cystic Fibrosis Carlos M. Farinha / Livre Livre de poche
common.buy 58.32 €
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Livre Livre de poche
common.buy 15.26 €
Digital Health LUPTON / Livre Livre de poche
common.buy 74.09 €
Life in the Country House in Georgian Ireland Patricia Mccarthy / Livre Livre de poche
common.buy 26.88 €
7 Strategies for Improving Your School Williamson / Livre Livre de poche
common.buy 49.22 €
Downton Abbey - der Kinofilm Julian Fellowes / Video Blu-ray
common.buy 12.22 €
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge Examreview / Livre Livre de poche
common.buy 40.83 €
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz Julius Stinde / Livre Livre de poche
common.buy 24.76 €
Machine Learning and AI for Healthcare Arjun Panesar / Livre Livre de poche
common.buy 41.44 €
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Articles imprimés Cartes géographiques
common.buy 9.09 €
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Livre Livre de poche
common.buy 13.94 €
Esio Trot Roald Dahl / Livre Livre de poche
common.buy 6.06 €
East Asian Development Dwight H. Perkins / Livre numérique Adobe ePub DRM
common.buy 41.24 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?