«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

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

Idioma InglésInglés
Libro Tapa blanda
Libro Rewriting and Typed Lambda Calculi Gilles Dowek
Código Libristo: 02775233
Editores Springer International Publishing AG, julio 2014
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Αγάπα Μόνο Εμένα Amanda Mariel / Libro electrónico Adobe ePub DRM
common.buy 4.19 €
Microsoft 365 Markus Widl / Libro Tapa dura
common.buy 72.39 €
Nasze kochane pieski Opracowanie zbiorowe / Libro Tapa blanda
common.buy 0.59 €
Sami et Julie CP Niveau 3 : Sami et Julie jardinent Emmanuelle Massonaud Libro Tapa blanda
common.buy 6.29 €
Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm / Libro Tapa blanda
common.buy 18.89 €
AYANTEK MIRIAM JIMENEZ IRIARTE / Libro Tapa dura
common.buy 22.79 €
Novellen Helene Böhlau / Libro Tapa blanda
common.buy 14.89 €
Alternative Investments Michael Sezemsky / Libro Tapa blanda
common.buy 47.39 €
Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn / Libro Tapa blanda
common.buy 37.49 €
Having a Fulfilling Life as an International Student in Japan (Japanese Edition) Chinthaka Premachandra / Libro Tapa blanda
common.buy 15.39 €
Kompensatorenlyrik Thomas Michels / Libro Tapa dura
common.buy 14.49 €
Vulgarisation en zone SOFITEX : cas des régions de Dédougou et Houndé Aimé Germain Traore / Libro Tapa blanda
common.buy 39.39 €
Kod Adi Mucize Ünver Alibey / Libro Tapa blanda
common.buy 11.19 €
Hagibor Milena Slavická / Libro Tapa blanda
common.buy 8.69 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Rewriting and Typed Lambda Calculi
Autor Gilles Dowek
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 491
EAN 9783319089171
ISBN 331908917X
Código Libristo 02775233
Editores Springer International Publishing AG
Peso 7723
Dimensiones 155 x 235 x 26

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Computación e informática > Programación informática/desarrollo de software > Técnicas de programación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Errors-in-Variables Methods in System Identification Torsten Söderström / Libro Tapa dura
common.buy 191.59 €
Kurdistan LUNGTHUIYANG RIAMEI / Libro Tapa dura
common.buy 66.79 €
Sea Edward Bond / Libro Tapa blanda
common.buy 18.19 €
Secrets of a Soap Opera Diva Victoria Rowell / Libro Tapa blanda
common.buy 14.29 €
Dyslexia Included Michael Thomson / Libro Tapa blanda
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 / Libro Tapa blanda
common.buy 14.89 €
Awakening the Actor Within Foster / Libro Tapa dura
common.buy 33.49 €
Murder Under the Bridge Kate Jessica Raphael / Libro Tapa blanda
common.buy 14.29 €
How to Make a Motor or Dynamo A. E. Watson / Libro Tapa blanda
common.buy 23.29 €
Guile Constance Cooper / Libro Tapa blanda
common.buy 14.59 €
Salt Skin Michelle Rhodes / Libro Tapa blanda
common.buy 15.39 €
Ecogenetics P. Grandjean / Libro Tapa blanda
common.buy 169.09 €
The Brothers Karamazov Fyodor Mikhailovich Dostoyevsky / Libro Tapa blanda
common.buy 27.89 €
Dance and Dancers in the Victorian and Edwardian Music Hall Ballet CARTER / Libro Tapa dura
common.buy 228.59 €
Market Harborough and Inside the Bar George John Whyte-Melville / Libro Tapa blanda
common.buy 29.59 €
Design Technology in Contemporary Architectural Practice Holzer / Libro Tapa blanda
common.buy 51.99 €
Fundamentals of Sleep Medicine Richard B. Berry / Libro Tapa dura
common.buy 129.89 €
ADHD 2.0 Edward M. Hallowell / Libro electrónico Adobe ePub DRM
common.buy 10.99 €
Popular
Field Guide to the Wild Flowers of the Canary Islands Chris Thorogood / Libro Tapa blanda
common.buy 45.49 €
Practical Handbook of Transportation Contracting and Rate Negotiations Colin Barrett / Libro Tapa blanda
common.buy 56.59 €
Living With Loss Robin Haywood / Libro Tapa dura
common.buy 10.59 €
Light of the Night Sky F. E. Roach / Libro Tapa blanda
common.buy 56.59 €
Hannibal: Clouds of War Ben Kane / Libro Tapa blanda
common.buy 11.69 €
Quest of the Historical Jesus Albert Schweitzer / Libro Tapa blanda
common.buy 19.59 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?