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

6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

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

Política de devolução de 30 dias

Os clientes também compraram

Les Simpson - Edition collector - Tome 25 Supernova Matt Groening / Livro Livro de capa dura
common.buy 15.03 €
Guide des collections du musée de Draguignan Yohan Rimaud / Livro Capa mole
common.buy 13.22 €
TU HUELLA SERA MI RUMBO WILMS MONTT / Livro Capa mole
common.buy 13.22 €
L'instruction des enfants pauvres en ville Dessauw / Livro Capa mole
common.buy 28.46 €
Em breve
Handbuch Sportverletzungen Christian Plesch / Livro Capa mole
common.buy 14.83 €
case magiche Agnese Baruzzi / Livro Livro concertina
common.buy 18.97 €
Édito C1 Elodie Heu / Livro Capa mole
common.buy 31.09 €
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Livro Capa mole
common.buy 23.72 €
El tesoro del ahorcado RIERA CATALA / Livro Capa mole
common.buy 21.90 €
bar sotto il mare Stefano Benni / Livro Capa mole
common.buy 11.30 €
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Artigos de papelaria Artigos de papelaria
common.buy 19.88 €
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Livro binding.
common.buy 42.70 €
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Livro Capa mole
common.buy 38.86 €
LA PIERRE D'ABEILLE Dominique / Livro Capa mole
common.buy 18.97 €
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Livro Capa mole
common.buy 16.75 €
Einfach singen! Christian Larsen / Livro Capa mole
common.buy 15.94 €
Memorias: el peso de la paja TERENCI MOIX / Livro Capa mole
common.buy 16.25 €
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Livro Capa mole
common.buy 9.28 €
Numerische Berechnung elektromagnetischer Felder Christian Hafner / Livro Capa mole
common.buy 46.03 €
Vih/Sida En Milieux de Travail Au Senegal Ndack Diop / Livro Capa mole
common.buy 72.08 €
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784 Jean Baptiste Milliet / Livro Capa mole
common.buy 18.87 €
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Livro Capa mole
common.buy 74.40 €

This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.§The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.

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 Martin Hofmann
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2003
Número de páginas 320
EAN 9783540403326
ISBN 3540403329
Código Libristo 01562714
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 505
Dimensões 155 x 235 x 19

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
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

C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Livro Livro de capa dura
common.buy 50.47 €
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Livro Capa mole
common.buy 45.93 €
Digital Health LUPTON / Livro Capa mole
common.buy 61.58 €
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Livro Capa mole
common.buy 13.42 €
CFTR and Cystic Fibrosis Carlos M. Farinha / Livro Capa mole
common.buy 50.47 €
System Design Optimization for Product Manufacturing Masataka Yoshimura / Livro Livro de capa dura
common.buy 91.67 €
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Livro Capa mole
common.buy 11.00 €
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Livro Capa mole
common.buy 9.18 €
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Livro Capa mole
common.buy 7.97 €
Direct Synthesis of Metal Complexes B.I. Kharisov / Livro Capa mole
common.buy 199.40 €
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Livro Livro de capa dura
common.buy 60.77 €
Life in the Country House in Georgian Ireland Patricia Mccarthy / Livro Capa mole
common.buy 31.69 €
7 Strategies for Improving Your School Williamson / Livro Capa mole
common.buy 39.97 €
Downton Abbey - der Kinofilm Julian Fellowes / Vídeo Blu-ray
common.buy 11.10 €
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge Examreview / Livro Capa mole
common.buy 34.52 €
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz Julius Stinde / Livro Capa mole
common.buy 21.19 €
Machine Learning and AI for Healthcare Arjun Panesar / Livro Capa mole
common.buy 33.61 €
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Artigos impressos Mapa
common.buy 7.97 €
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Livro Capa mole
common.buy 11.80 €
Principal
Esio Trot Roald Dahl / Livro Capa mole
common.buy 5.14 €
East Asian Development Dwight H. Perkins / E-book Adobe ePub DRM
common.buy 34.52 €
For Times Such as These Ariana Katz / E-book Adobe ePub DRM
common.buy 32.30 €
I'll Be Home for Mischief Jacqueline Frost / E-book Adobe ePub DRM
common.buy 14.63 €
Ralph Thoresby, the Topographer D H Atkinson / Livro Livro de capa dura
common.buy 33.41 €

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?