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
La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

Typed Lambda Calculi and Applications

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Typed Lambda Calculi and Applications Pierre-Louis Curien
Code Libristo: 01649911
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 2009
This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda C... Description détaillée
? points 125 b
51.09 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

HISTORIA DE UNA ESCALERA ANTONIO BUERO VALLEJO / Livre Livre de poche
common.buy 11.89 €
BEATI CHANT KURT BIKKEMBERGS / Articles imprimés Partitions
common.buy 16.79 €
Was ist Bedeutung? Yongjun Cai / Livre Livre de poche
common.buy 109.00 €
100 samolepek s omalovánkovými listy Disney Princezny / Livre Livre de poche
common.buy 3.19 €
Fatti incredibili del Medioevo che non ti hanno mai raccontato Giulia Boccardi / Livre Livre de poche
common.buy 14.99 €
Recetas Anti Inflamatorias Faciles Pilar Montechiara / Livre Livre de poche
common.buy 16.69 €
La prisión perpetua en el derecho penal internacional Del-Carpio-Delgado / Livre Livre de poche
common.buy 34.29 €
Le Néo-impressionnisme Paul Signac / Livre Livre de poche
common.buy 11.29 €
La doublure - La vue - Impressions d'Afrique - Locus Solus - L'étoile au Front - La poussière de Sol Raymond Roussel / Livre Livre de poche
common.buy 34.29 €
RICHARD LLOYD: I SAW THREE SHIPS CHANT LLOYD Livre binding.
common.buy 4.69 €
L'angolo dei tempi remoti Leonardo Fraternale / Livre Livre de poche
common.buy 15.39 €
Verhinderung von Zwang Tilman Steinert / Livre Livre de poche
common.buy 27.99 €
Praxishandbuch Kindergarten Franz Petermann / Livre Livre relié
common.buy 49.95 €
Cercando rispetto. Drug economy e cultura di strada Philippe Bourgois / Livre Livre de poche
common.buy 20.39 €
Guía para la aplicación de la Ley de Jurisdicción Voluntaria de la Administración de Justicia / Livre Livre de poche
common.buy 38.09 €
Histoire de Napoleon II, Roi de Rome De Saint-Felix-J / Livre Livre de poche
common.buy 15.99 €
Friedensbewegung in Der Bundesrepublik Deutschland Rudiger Schmitt / Livre Livre de poche
common.buy 44.99 €
Geheimnisse der Seele Leon Hardt / Livre Livre de poche
common.buy 16.91 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Typed Lambda Calculi and Applications
Auteur Pierre-Louis Curien
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2009
Nombre de pages 417
EAN 9783642022722
ISBN 3642022723
Code Libristo 01649911
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 658
Dimensions 155 x 235 x 24

Catégories

Informatique et technologies de l’information > Informatique > Informatique théorique > Mathématiques pour les informaticiens
Mathématiques et sciences > Mathématiques > Fondements des mathématiques
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Programmation informatique / génie logiciel
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

Forever My Girl HEIDI MCLAUGHLIN / Livre Livre de poche
common.buy 13.59 €
Towards a Science of States: their Evolution and Properties Erik Moberg / Livre Livre de poche
common.buy 14.80 €
Christian Orthodox Migrants in Western Europe Hammerli / Livre Livre de poche
common.buy 61.29 €
Oxford English Literary History: Volume 13: 1948-2000: The Internationalization of English Literature Bruce King / Livre Livre relié
common.buy 200.99 €
Mandalas & More Mega Book: Complete Collection: Volumes 1, 2 & 3 R a Diane / Livre Livre de poche
common.buy 12.19 €
Automatic IRAS: Lower-Earning Households Could Realize Increases in Retirement Income United States Government Accountability / Livre Livre de poche
common.buy 13.90 €
Seven Success Skills for Apprentices and Skilled Trades Persons James Sidney Harvey / Livre Livre relié
common.buy 43.41 €
ALFREDO PAREDES AT HOME PAREDES ALFREDO / Livre Livre relié
common.buy 42.99 €
The Mad Dog 100: The Greatest Sports Arguments of All Time Chris Russo / Livre Livre de poche
common.buy 15.19 €
High Technology, Productivity and Networks Mario Davide Parrilli / Livre Livre de poche
common.buy 109.29 €
English-Czech phrasebook and 250-word mini dictionary Andrey Taranov / Livre Livre de poche
common.buy 9.69 €
No Sacred Cows David G. McAfee / Livre Livre de poche
common.buy 15.49 €
Of Fire and Stars Audrey Coulthurst / Livre Livre de poche
common.buy 8.69 €
Neuroinformatics Chiquito J. Crasto / Livre Livre de poche
common.buy 109.49 €
Analysis of James Surowiecki's The Wisdom of Crowds Nikki Springer / Livre Livre relié
common.buy 27.99 €
The Gold and the Dross: Althusser for Educators David I. Backer / Livre Livre relié
common.buy 149.55 €
Sacramental Theurgy for Witches: Advanced Liturgy Revealed Keith Ward / Livre Livre de poche
common.buy 19.79 €
Magical Healing Trees in Slavic Folklore Ronesa Aveela / Livre Livre relié
common.buy 48.49 €
Very First Questions and Answers: What is mud? Katie Daynes / Livre Livre Concertina
common.buy 8.59 €
Comparing European and U.S. Securities Regulations Michel Noel / Livre Livre de poche
common.buy 33.79 €
Sikh Diaspora in Vancouver Kamala Elizabeth Nayar / Livre Livre relié
common.buy 72.29 €
Death and Mortality in Contemporary Philosophy Bernard N. SchumacherMichael J. Miller / Livre Livre relié
common.buy 91.19 €
Feminist Views on the English Stage Elaine Aston / Livre Livre relié
common.buy 119.29 €
Geometry and Dynamics of Groups and Spaces Mikhail Kapranov / Livre Livre relié
common.buy 109.29 €

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 ?