Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro 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

Lingua

Inglese

Libro In brossura

Libro Typed Lambda Calculi and Applications Samson Abramsky

Codice Libristo: 01563428

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprile 2001

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Descrizione completa

Codice Libristo: 01563428

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Déficit público José Ortega Cruz

/

In brossura

73.59 €

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

/

In brossura

26.19 €

Účtovné predpisy 2024

/

In brossura

5.59 €

Regression, 1 Blu-ray Alejandro Amenábar

/

Blu-ray

13.59 €

Młokos Fiodor Dostojewski

/

Rigido

12.99 €

Kaskaden Eliot Weinberger

/

In brossura

21.69 €

Der Todesstrahl Daniel Clowes

/

Rigido

21.69 €

THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Libro

binding.

35.29 €

MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO

/

In brossura

49.79 €

EL JARDÍN DE ORIGAMI MARK BOLITHO

/

Rigido

7.99 €

Zebra źrebię

/

Giocattolo

7.89 €

Familiengründung mit Samenspende Petra Thorn

/

In brossura

45.09 €

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

/

In brossura

12.49 €

Bildungsgrundsätze Kinder Ministerium für Familie

/

In brossura

22.79 €

Taoteking Laozi

/

In brossura

12.49 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Typed Lambda Calculi and Applications

Autore Samson Abramsky

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2001

Numero di pagine 436

EAN 9783540419600

ISBN 3540419608

Codice Libristo 01563428

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 682

Dimensioni 155 x 233 x 25

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Matematica e Scienze > Matematica > Calcolo e analisi matematica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

The Reader Bernhard Schlink

/

In brossura

13.49 €

Single Semiconductor Quantum Dots Peter Michler

/

Rigido

214.29 €

Just-in-Time Systems Roger Rios

/

In brossura

160.89 €

Reference Barbara Abbott

/

In brossura

62.99 €

Logical Pluralism and Logical Consequence Erik Stei

/

In brossura

32.29 €

Domestication of the Human Species Peter J. Wilson

/

In brossura

36.49 €

Who Paid the Pipers of Western Marxism? Gabriel Rockhill

/

In brossura

27.69 €

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

/

In brossura

16.89 €

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

/

Note

9.09 €

Latinas/os on the East Coast Yolanda Medina

/

In brossura

65.99 €

I'm a Happy Hugglewug Niamh Sharkey

/

Rigido

6.69 €

Programming in Haskell Graham Hutton

/

In brossura

45.59 €

Life and her children Arabella Burton Buckley

/

In brossura

24.29 €

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

/

In brossura

15.39 €

The Church And The Changing Order Shailer Mathews

/

In brossura

33.69 €

The Beauty's Beast E D Walker

/

In brossura

16.39 €

Early Hellenistic Peloponnese Graham Shipley

/

Rigido

149.29 €

Arms and the Man Bernard Shaw

/

In brossura

6.99 €

Interdisciplinary Perspectives on Math Cognition Marcel Danesi

/

Rigido

117.99 €

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

/

In brossura

49.49 €

Greek Religion: Volume 46 Bremmer

/

In brossura

29.19 €

My Little Pony: Meet the Ponies of Maretime Bay Hasbro

/

In brossura

5.79 €

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

/

In brossura

15.39 €

Genetically Engineered Crops Miguel Altieri

/

Rigido

183.69 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?