Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Typed Lambda Calculi and Applications

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

Lingua IngleseInglese
Libro In brossura
Libro Typed Lambda Calculi and Applications Martin Hofmann
Codice Libristo: 01562714
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2003
This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda C... Descrizione completa
? points 141 b
57.79 €
Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Les Simpson - Edition collector - Tome 25 Supernova Matt Groening / Libro Rigido
common.buy 18.79 €
Guide des collections du musée de Draguignan Yohan Rimaud / Libro In brossura
common.buy 16.49 €
TU HUELLA SERA MI RUMBO WILMS MONTT / Libro In brossura
common.buy 14.69 €
L'instruction des enfants pauvres en ville Dessauw / Libro In brossura
common.buy 35.59 €
In preparazione
Handbuch Sportverletzungen Christian Plesch / Libro In brossura
common.buy 17.79 €
case magiche Agnese Baruzzi / Libro Leporello
common.buy 22.29 €
Édito C1 Elodie Heu / Libro In brossura
common.buy 37.29 €
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Libro In brossura
common.buy 28.79 €
El tesoro del ahorcado RIERA CATALA / Libro In brossura
common.buy 26.09 €
bar sotto il mare Stefano Benni / Libro In brossura
common.buy 14.69 €
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Articoli di cancelleria Articoli di cancelleria
common.buy 23.99 €
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Libro binding.
common.buy 53.39 €
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Libro In brossura
common.buy 48.69 €
LA PIERRE D'ABEILLE Dominique / Libro In brossura
common.buy 23.69 €
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Libro In brossura
common.buy 20.49 €
Einfach singen! Christian Larsen / Libro In brossura
common.buy 16.99 €
Memorias: el peso de la paja TERENCI MOIX / Libro In brossura
common.buy 19.89 €
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Libro In brossura
common.buy 11.39 €
Numerische Berechnung elektromagnetischer Felder Christian Hafner / Libro In brossura
common.buy 71.69 €
Vih/Sida En Milieux de Travail Au Senegal Ndack Diop / Libro In brossura
common.buy 102.49 €
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784 Jean Baptiste Milliet / Libro In brossura
common.buy 22.99 €
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Libro In brossura
common.buy 99.59 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
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 Martin Hofmann
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2003
Numero di pagine 320
EAN 9783540403326
ISBN 3540403329
Codice Libristo 01562714
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 505
Dimensioni 155 x 235 x 19

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica 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

C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Libro Rigido
common.buy 57.79 €
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Libro In brossura
common.buy 57.79 €
Digital Health LUPTON / Libro In brossura
common.buy 73.39 €
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Libro In brossura
common.buy 22.79 €
CFTR and Cystic Fibrosis Carlos M. Farinha / Libro In brossura
common.buy 57.79 €
System Design Optimization for Product Manufacturing Masataka Yoshimura / Libro Rigido
common.buy 113.19 €
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Libro In brossura
common.buy 13.49 €
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Libro In brossura
common.buy 11.19 €
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Libro In brossura
common.buy 9.79 €
Direct Synthesis of Metal Complexes B.I. Kharisov / Libro In brossura
common.buy 234.19 €
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Libro Rigido
common.buy 76.09 €
Life in the Country House in Georgian Ireland Patricia Mccarthy / Libro In brossura
common.buy 36.59 €
7 Strategies for Improving Your School Williamson / Libro In brossura
common.buy 47.59 €
Downton Abbey - der Kinofilm Julian Fellowes / Video Blu-ray
common.buy 12.69 €
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge Examreview / Libro In brossura
common.buy 42.49 €
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz Julius Stinde / Libro In brossura
common.buy 25.69 €
Machine Learning and AI for Healthcare Arjun Panesar / Libro In brossura
common.buy 43.59 €
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Pubblicazioni cartacee Mappa
common.buy 10.49 €
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Libro In brossura
common.buy 14.49 €
Esio Trot Roald Dahl / Libro In brossura
common.buy 9.19 €
East Asian Development Dwight H. Perkins / Libro elettronico Adobe ePub DRM
common.buy 42.29 €
For Times Such as These Ariana Katz / Libro elettronico Adobe ePub DRM
common.buy 39.59 €
I'll Be Home for Mischief Jacqueline Frost / Libro elettronico Adobe ePub DRM
common.buy 18.49 €
Ralph Thoresby, the Topographer D H Atkinson / Libro Rigido
common.buy 40.69 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?