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 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Rewriting and Typed Lambda Calculi

Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Rewriting and Typed Lambda Calculi Gilles Dowek
Code Libristo: 02775233
Éditeurs Springer International Publishing AG, juillet 2014
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Novellen Helene Böhlau / Livre Livre de poche
common.buy 14.90 €
Αγάπα Μόνο Εμένα Amanda Mariel / Livre numérique Adobe ePub DRM
common.buy 4.19 €
Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm / Livre Livre de poche
common.buy 18.95 €
Hagibor Milena Slavická / Livre Livre de poche
common.buy 8.59 €
Nasze kochane pieski Opracowanie zbiorowe / Livre Livre de poche
common.buy 0.59 €
La Princesse du fond des Temps Decroix / Livre Livre de poche
common.buy 20.09 €
AYANTEK MIRIAM JIMENEZ IRIARTE / Livre Livre relié
common.buy 24.49 €
Pozvanie kráľa Milan Bubák / Livre Livre de poche
common.buy 8.29 €
Alternative Investments Michael Sezemsky / Livre Livre de poche
common.buy 48.00 €
Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn / Livre Livre de poche
common.buy 38.00 €
Having a Fulfilling Life as an International Student in Japan (Japanese Edition) Chinthaka Premachandra / Livre Livre de poche
common.buy 15.39 €
Kompensatorenlyrik Thomas Michels / Livre Livre relié
common.buy 14.49 €
Kod Adi Mucize Ünver Alibey / Livre Livre de poche
common.buy 10.59 €
Vulgarisation en zone SOFITEX : cas des régions de Dédougou et Houndé Aimé Germain Traore / Livre Livre de poche
common.buy 37.29 €

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, 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 Rewriting and Typed Lambda Calculi
Auteur Gilles Dowek
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2014
Nombre de pages 491
EAN 9783319089171
ISBN 331908917X
Code Libristo 02775233
Éditeurs Springer International Publishing AG
Poids 7723
Dimensions 155 x 235 x 26

Catégories

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

Errors-in-Variables Methods in System Identification Torsten Söderström / Livre Livre relié
common.buy 182.19 €
Kurdistan LUNGTHUIYANG RIAMEI / Livre Livre relié
common.buy 66.79 €
Secrets of a Soap Opera Diva Victoria Rowell / Livre Livre de poche
common.buy 14.29 €
Dyslexia Included Michael Thomson / Livre Livre de poche
common.buy 60.49 €
Few Words on No. 90 of the Tracts for the Times; In a Letter to One of His Parishioners. John Henry Newman / Livre Livre de poche
common.buy 14.89 €
Awakening the Actor Within Foster / Livre Livre relié
common.buy 32.89 €
Murder Under the Bridge Kate Jessica Raphael / Livre Livre de poche
common.buy 14.29 €
How to Make a Motor or Dynamo A. E. Watson / Livre Livre de poche
common.buy 22.79 €
Guile Constance Cooper / Livre Livre de poche
common.buy 14.59 €
Salt Skin Michelle Rhodes / Livre Livre de poche
common.buy 15.39 €
Study Guide for Marlene Reed Wetzel's a Map of Tripoli,1967 Cengage Learning Gale / Livre Livre de poche
common.buy 12.19 €
Ecogenetics P. Grandjean / Livre Livre de poche
common.buy 160.89 €
The Brothers Karamazov Fyodor Mikhailovich Dostoyevsky / Livre Livre de poche
common.buy 27.89 €
Dance and Dancers in the Victorian and Edwardian Music Hall Ballet CARTER / Livre Livre relié
common.buy 248.79 €
Market Harborough and Inside the Bar George John Whyte-Melville / Livre Livre de poche
common.buy 27.99 €
Design Technology in Contemporary Architectural Practice Holzer / Livre Livre de poche
common.buy 53.89 €
Fundamentals of Sleep Medicine Richard B. Berry / Livre Livre relié
common.buy 133.79 €
Hamburg mit Kids Kirsten Mountakis / Livre Livre de poche
common.buy 18.79 €
ADHD 2.0 Edward M. Hallowell / Livre numérique Adobe ePub DRM
common.buy 10.89 €
Top
Field Guide to the Wild Flowers of the Canary Islands Chris Thorogood / Livre Livre de poche
common.buy 44.39 €
Complete Guide for CPP Examination Preparation PS DISALVATORE CPP / Livre Livre relié
common.buy 211.29 €
Three Hundred Years of Gravitation S. W. HawkingW. Israel / Livre Livre de poche
common.buy 79.49 €
Galileo's Reading Crystal Hall / Livre Livre relié
common.buy 137.89 €
Practical Handbook of Transportation Contracting and Rate Negotiations Colin Barrett / Livre Livre de poche
common.buy 53.79 €

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 ?