Verificar estado da encomenda

Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Typed Lambda Calculi and Applications Samson Abramsky

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Samson Abramsky

Língua

Inglês

Livro Capa mole

Livro Typed Lambda Calculi and Applications Samson Abramsky

Código Libristo: 01563428

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2001

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Descrição completa

Código Libristo: 01563428

?

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

Der Todesstrahl Daniel Clowes

/

Livro de capa dura

17.51 €

Młokos Fiodor Dostojewski

/

Livro de capa dura

9.81 €

Familiengründung mit Samenspende Petra Thorn

/

Capa mole

39.90 €

Regression, 1 Blu-ray Alejandro Amenábar

/

Blu-ray

11.43 €

Účtovné predpisy 2024

/

Capa mole

4.75 €

Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge

/

Capa mole

22.17 €

Kaskaden Eliot Weinberger

/

Capa mole

17.51 €

THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Livro

binding.

28.25 €

MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO

/

Capa mole

42.43 €

EL JARDÍN DE ORIGAMI MARK BOLITHO

/

Livro de capa dura

6.67 €

Zebra źrebię

/

Brinquedo

6.67 €

Anja und das Reitinternat - Auf gut Glück Feli Fritsch

/

Capa mole

10.12 €

Taoteking Laozi

/

Capa mole

9.21 €

Bildungsgrundsätze Kinder Ministerium für Familie

/

Capa mole

17.01 €

Déficit público José Ortega Cruz

/

Capa mole

62.18 €

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

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 Samson Abramsky

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2001

Número de páginas 436

EAN 9783540419600

ISBN 3540419608

Código Libristo 01563428

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 682

Dimensões 155 x 233 x 25

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática

Matemática & ciência > Matemática > Cálculo e análise 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

The Reader Bernhard Schlink

/

Capa mole

11.03 €

Single Semiconductor Quantum Dots Peter Michler

/

Livro de capa dura

183.62 €

Just-in-Time Systems Roger Rios

/

Capa mole

137.84 €

Logical Pluralism and Logical Consequence Erik Stei

/

Capa mole

26.93 €

Reference Barbara Abbott

/

Capa mole

53.16 €

Early Hellenistic Peloponnese Graham Shipley

/

Livro de capa dura

124.47 €

Domestication of the Human Species Peter J. Wilson

/

Capa mole

30.78 €

FAA Standards for Airport Sign Systems D Federal Aviation Administration (Faa)

/

Capa mole

13.97 €

Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris

/

Partituras

7.79 €

I'm a Happy Hugglewug Niamh Sharkey

/

Livro de capa dura

5.66 €

Programming in Haskell Graham Hutton

/

Capa mole

38.68 €

Life and her children Arabella Burton Buckley

/

Capa mole

20.55 €

Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh

/

Capa mole

12.55 €

The Church And The Changing Order Shailer Mathews

/

Capa mole

27.84 €

Latinas/os on the East Coast Yolanda Medina

/

Capa mole

53.47 €

Arms and the Man Bernard Shaw

/

Capa mole

5.66 €

Interdisciplinary Perspectives on Math Cognition Marcel Danesi

/

Livro de capa dura

101.07 €

Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes

/

Capa mole

40.81 €

Greek Religion: Volume 46 Bremmer

/

Capa mole

24.20 €

My Little Pony: Meet the Ponies of Maretime Bay Hasbro

/

Capa mole

4.45 €

The Practice of Feeling Good: How to Upgrade Your Thinking and Live a Feel-Good Life Shannon Buritz

/

Capa mole

12.55 €

Who Paid the Pipers of Western Marxism? Gabriel Rockhill

/

Capa mole

23.39 €

Lambda-Calculus and Combinators J Roger Hindley

/

Livro de capa dura

82.54 €

Environmental Geochemistry J. A. C. Fortescue

/

Capa mole

91.95 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?