«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.

Typed Lambda Calculi and Applications

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

Idioma InglésInglés
Libro Tapa blanda
Libro Typed Lambda Calculi and Applications Pierre-Louis Curien
Código Libristo: 01649911
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2009
This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda C... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

HISTORIA DE UNA ESCALERA ANTONIO BUERO VALLEJO / Libro Tapa blanda
common.buy 12.99 €
BEATI CHANT KURT BIKKEMBERGS / Artículos impresos Partituras
common.buy 19.89 €
Was ist Bedeutung? Yongjun Cai / Libro Tapa blanda
common.buy 112.69 €
100 samolepek s omalovánkovými listy Disney Princezny / Libro Tapa blanda
common.buy 3.79 €
Fatti incredibili del Medioevo che non ti hanno mai raccontato Giulia Boccardi / Libro Tapa blanda
common.buy 18.19 €
Recetas Anti Inflamatorias Faciles Pilar Montechiara / Libro Tapa blanda
common.buy 18.89 €
La prisión perpetua en el derecho penal internacional Del-Carpio-Delgado / Libro Tapa blanda
common.buy 36.89 €
Le Néo-impressionnisme Paul Signac / Libro Tapa blanda
common.buy 13.79 €
La doublure - La vue - Impressions d'Afrique - Locus Solus - L'étoile au Front - La poussière de Sol Raymond Roussel / Libro Tapa blanda
common.buy 39.29 €
RICHARD LLOYD: I SAW THREE SHIPS CHANT LLOYD Libro binding.
common.buy 6.39 €
L'angolo dei tempi remoti Leonardo Fraternale / Libro Tapa blanda
common.buy 16.99 €
Verhinderung von Zwang Tilman Steinert / Libro Tapa blanda
common.buy 29.19 €
Praxishandbuch Kindergarten Franz Petermann / Libro Tapa dura
common.buy 51.79 €
Cercando rispetto. Drug economy e cultura di strada Philippe Bourgois / Libro Tapa blanda
common.buy 24.39 €
Guía para la aplicación de la Ley de Jurisdicción Voluntaria de la Administración de Justicia / Libro Tapa blanda
common.buy 40.99 €
Histoire de Napoleon II, Roi de Rome De Saint-Felix-J / Libro Tapa blanda
common.buy 19.09 €
Friedensbewegung in Der Bundesrepublik Deutschland Rudiger Schmitt / Libro Tapa blanda
common.buy 46.69 €
Geheimnisse der Seele Leon Hardt / Libro Tapa blanda
common.buy 16.89 €

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.

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 Typed Lambda Calculi and Applications
Autor Pierre-Louis Curien
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2009
Número de páginas 417
EAN 9783642022722
ISBN 3642022723
Código Libristo 01649911
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 658
Dimensiones 155 x 235 x 24

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos
Computación e informática > Ciencias de la computación > Inteligencia artificial
Computación e informática > Programación informática/desarrollo de software
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

Forever My Girl HEIDI MCLAUGHLIN / Libro Tapa blanda
common.buy 14.99 €
Towards a Science of States: their Evolution and Properties Erik Moberg / Libro Tapa blanda
common.buy 16.39 €
Oxford English Literary History: Volume 13: 1948-2000: The Internationalization of English Literature Bruce King / Libro Tapa dura
common.buy 205.69 €
Mandalas & More Mega Book: Complete Collection: Volumes 1, 2 & 3 R a Diane / Libro Tapa blanda
common.buy 13.49 €
Christian Orthodox Migrants in Western Europe Hammerli / Libro Tapa blanda
common.buy 63.69 €
Automatic IRAS: Lower-Earning Households Could Realize Increases in Retirement Income United States Government Accountability / Libro Tapa blanda
common.buy 15.39 €
State Dunces [a Satire in Verse]. Inscrib'd to Mr. Pope. [by P. Whitehead.] Alexander Pope / Libro Tapa blanda
common.buy 13.29 €
Seven Success Skills for Apprentices and Skilled Trades Persons James Sidney Harvey / Libro Tapa dura
common.buy 47.39 €
Popular
ALFREDO PAREDES AT HOME PAREDES ALFREDO / Libro Tapa dura
common.buy 46.39 €
The Mad Dog 100: The Greatest Sports Arguments of All Time Chris Russo / Libro Tapa blanda
common.buy 17.09 €
High Technology, Productivity and Networks Mario Davide Parrilli / Libro Tapa blanda
common.buy 118.29 €
English-Czech phrasebook and 250-word mini dictionary Andrey Taranov / Libro Tapa blanda
common.buy 10.69 €
Yesterwynde Nightwish / Audio Vinilo de audio
common.buy 33.69 €
Conundrums in Practical Theology Bonnie Miller-McLemore / Libro Tapa blanda
common.buy 110.39 €
Popular
Of Fire and Stars Audrey Coulthurst / Libro Tapa blanda
common.buy 9.59 €
Neuroinformatics Chiquito J. Crasto / Libro Tapa blanda
common.buy 121.69 €
The Navy Electricity and Electronics Training Series: Module 20 Master Glossary United States Navy / Libro Tapa blanda
common.buy 10.69 €
Analysis of James Surowiecki's The Wisdom of Crowds Nikki Springer / Libro Tapa dura
common.buy 29.89 €
The Gold and the Dross: Althusser for Educators David I. Backer / Libro Tapa dura
common.buy 162.99 €
Sacramental Theurgy for Witches: Advanced Liturgy Revealed Keith Ward / Libro Tapa blanda
common.buy 21.79 €
Magical Healing Trees in Slavic Folklore Ronesa Aveela / Libro Tapa dura
common.buy 53.39 €
Very First Questions and Answers: What is mud? Katie Daynes / Libro Libro de concertinas
common.buy 9.39 €
Taking the Cure Sarah R Taggart / Libro Tapa blanda
common.buy 9.59 €
Sikh Diaspora in Vancouver Kamala Elizabeth Nayar / Libro Tapa dura
common.buy 80.69 €

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?