Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Typed Lambda Calculi and Applications

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

Língua InglêsInglês
Livro Capa mole
Livro Typed Lambda Calculi and Applications Pierre-Louis Curien
Código Libristo: 01649911
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2009
This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda C... Descrição completa
? points 111 b
46.07 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

HISTORIA DE UNA ESCALERA ANTONIO BUERO VALLEJO / Livro Capa mole
common.buy 10.93 €
BEATI CHANT KURT BIKKEMBERGS / Artigos impressos Partituras
common.buy 16.40 €
Was ist Bedeutung? Yongjun Cai / Livro Capa mole
common.buy 91.35 €
100 samolepek s omalovánkovými listy Disney Princezny / Livro Capa mole
common.buy 2.72 €
Fatti incredibili del Medioevo che non ti hanno mai raccontato Giulia Boccardi / Livro Capa mole
common.buy 13.76 €
Recetas Anti Inflamatorias Faciles Pilar Montechiara / Livro Capa mole
common.buy 14.68 €
La prisión perpetua en el derecho penal internacional Del-Carpio-Delgado / Livro Capa mole
common.buy 31.69 €
Le Néo-impressionnisme Paul Signac / Livro Capa mole
common.buy 11.33 €
La doublure - La vue - Impressions d'Afrique - Locus Solus - L'étoile au Front - La poussière de Sol Raymond Roussel / Livro Capa mole
common.buy 32.40 €
RICHARD LLOYD: I SAW THREE SHIPS CHANT LLOYD Livro binding.
common.buy 5.26 €
L'angolo dei tempi remoti Leonardo Fraternale / Livro Capa mole
common.buy 13.97 €
Verhinderung von Zwang Tilman Steinert / Livro Capa mole
common.buy 23.69 €
Praxishandbuch Kindergarten Franz Petermann / Livro Livro de capa dura
common.buy 42.02 €
Cercando rispetto. Drug economy e cultura di strada Philippe Bourgois / Livro Capa mole
common.buy 18.63 €
Guía para la aplicación de la Ley de Jurisdicción Voluntaria de la Administración de Justicia / Livro Capa mole
common.buy 34.83 €
Histoire de Napoleon II, Roi de Rome De Saint-Felix-J / Livro Capa mole
common.buy 15.69 €
Friedensbewegung in Der Bundesrepublik Deutschland Rudiger Schmitt / Livro Capa mole
common.buy 37.87 €
Geheimnisse der Seele Leon Hardt / Livro Capa mole
common.buy 13.46 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Typed Lambda Calculi and Applications
Autor Pierre-Louis Curien
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2009
Número de páginas 417
EAN 9783642022722
ISBN 3642022723
Código Libristo 01649911
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 658
Dimensões 155 x 235 x 24

Categorias

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática > Matemática para investigadores informáticos
Matemática & ciência > Matemática > Fundamentos da matemática
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Informática & tecnologia da informação > Programação & engenharia informática
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Forever My Girl HEIDI MCLAUGHLIN / Livro Capa mole
common.buy 11.64 €
Towards a Science of States: their Evolution and Properties Erik Moberg / Livro Capa mole
common.buy 13.36 €
Oxford English Literary History: Volume 13: 1948-2000: The Internationalization of English Literature Bruce King / Livro Livro de capa dura
common.buy 178.05 €
Mandalas & More Mega Book: Complete Collection: Volumes 1, 2 & 3 R a Diane / Livro Capa mole
common.buy 11.03 €
Christian Orthodox Migrants in Western Europe Hammerli / Livro Capa mole
common.buy 53.67 €
Automatic IRAS: Lower-Earning Households Could Realize Increases in Retirement Income United States Government Accountability / Livro Capa mole
common.buy 12.55 €
State Dunces [a Satire in Verse]. Inscrib'd to Mr. Pope. [by P. Whitehead.] Alexander Pope / Livro Capa mole
common.buy 10.32 €
Seven Success Skills for Apprentices and Skilled Trades Persons James Sidney Harvey / Livro Livro de capa dura
common.buy 40.00 €
Principal
ALFREDO PAREDES AT HOME PAREDES ALFREDO / Livro Livro de capa dura
common.buy 35.54 €
The Mad Dog 100: The Greatest Sports Arguments of All Time Chris Russo / Livro Capa mole
common.buy 13.56 €
High Technology, Productivity and Networks Mario Davide Parrilli / Livro Capa mole
common.buy 99.15 €
English-Czech phrasebook and 250-word mini dictionary Andrey Taranov / Livro Capa mole
common.buy 8.80 €
Yesterwynde Nightwish / Áudio Vinil de áudio
common.buy 28.75 €
Conundrums in Practical Theology Bonnie Miller-McLemore / Livro Capa mole
common.buy 93.78 €
Of Fire and Stars Audrey Coulthurst / Livro Capa mole
common.buy 7.48 €
Neuroinformatics Chiquito J. Crasto / Livro Capa mole
common.buy 98.64 €
The Navy Electricity and Electronics Training Series: Module 20 Master Glossary United States Navy / Livro Capa mole
common.buy 8.70 €
Analysis of James Surowiecki's The Wisdom of Crowds Nikki Springer / Livro Livro de capa dura
common.buy 25.51 €
The Gold and the Dross: Althusser for Educators David I. Backer / Livro Livro de capa dura
common.buy 137.63 €
Sacramental Theurgy for Witches: Advanced Liturgy Revealed Keith Ward / Livro Capa mole
common.buy 17.11 €
Magical Healing Trees in Slavic Folklore Ronesa Aveela / Livro Livro de capa dura
common.buy 44.15 €
Very First Questions and Answers: What is mud? Katie Daynes / Livro Livro concertina
common.buy 7.59 €
Taking the Cure Sarah R Taggart / Livro Capa mole
common.buy 7.48 €
Sikh Diaspora in Vancouver Kamala Elizabeth Nayar / Livro Livro de capa dura
common.buy 65.72 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?