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 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Typed Lambda Calculi and Applications

7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Typed Lambda Calculi and Applications Pawel Urzyczyn
Codice Libristo: 01560558
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprile 2005
This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda C... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Gramática polaca Ilona Narebska / Libro In brossura
common.buy 17.69 €
Wortschatz schnell erweitern Alexander Bohm / Libro In brossura
common.buy 15.39 €
Moje pierwsze… Kształty. Psi Patrol Opracowanie zbiorowe / Libro Rigido
common.buy 4.99 €
UEberleben und Wartung von Implantaten Amit Bhardwaj / Libro In brossura
common.buy 57.69 €
Ursachen Saisonaler Holzpreisschwankungen Kajetan Zwirglmaier / Libro In brossura
common.buy 77.89 €
Freiheit Birgit Recki / Libro In brossura
common.buy 11.89 €
Gyulladasgatlo Receptek 2022 MARIANNA JAKAB / Libro In brossura
common.buy 35.89 €
Wiedersehen in Howards End Edward M. Forster / Libro In brossura
common.buy 14.19 €
Aktienbewertung mittels technischer Analyse Henning Kempen / Libro In brossura
common.buy 17.89 €
Szétzilált ország Szelényi Zsuzsanna / Libro Rigido
common.buy 17.49 €
La Confrérie des Gardiens de l'Arche d'alliance Della Volta Lea / Libro In brossura
common.buy 25.99 €
Bekenntnisse eines Ichmenschen tendhal / Libro In brossura
common.buy 28.99 €
Economico
Saint-John Perse : la culture en dialogues Rigolot / Libro In brossura
common.buy 2.49 €
Viewegs Geschichte Der Umweltwissenschaften Peter J. Bowler / Libro In brossura
common.buy 34.59 €
Psychopharmakologischer Leitfaden für Psychologen und Psychotherapeuten Otto Benkert / Libro In brossura
common.buy 73.79 €
Examen Physiologique de l'Hydrotherapie, Memoire LUBANSKI-A / Libro In brossura
common.buy 14.19 €
Nový hrabě Monte Christo Ondřej Neff / Libro Rigido
common.buy 13.29 €
LET'"'"'S GO 2 SB (CATALAN EDITION) / Libro In brossura
common.buy 32.19 €
Smutný vítěz Jiří Kárnet / Libro Foglio
common.buy 9.39 €
Ökologische Steuerreform und Europäischer Emissionshandel Oliver Rottmann / Libro In brossura
common.buy 51.99 €

This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005, held in Nara, Japan in April 2005.§The 27 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 61 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts.

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 Pawel Urzyczyn
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2005
Numero di pagine 436
EAN 9783540255932
ISBN 3540255931
Codice Libristo 01560558
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1390
Dimensioni 155 x 235 x 25

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

Management of Coking Coal Resources Dilip Kumar / Libro In brossura
common.buy 161.79 €
I migliori
Bolivar Marie Arana / Libro In brossura
common.buy 18.89 €
90 Days in Ruth, Jeremiah and 1 Corinthians DEVER MARK MCKINLE / Libro Rigido
common.buy 19.39 €
Der Fantastische Mr. Fox Andrew Weisblum / Video Blu-ray
common.buy 13.19 €
Applied Financial Macroeconomics and Investment Strategy T. McGee / Libro In brossura
common.buy 51.29 €
Introduction to Chemistry and the Environment Baldwin King / Libro In brossura
common.buy 18.89 €
A MANUAL OF FIELD AND OFFICE METHODS FOR MILO SMITH KETCHUM / Libro Rigido
common.buy 34.79 €
Lincoln And The Tools Of War Robert V Bruce / Libro In brossura
common.buy 40.69 €
Beading and Designing Bracelets Sandra D Halpenny / Libro In brossura
common.buy 34.09 €
The Aspern Papers Henry James / Libro In brossura
common.buy 13.19 €
Biggles Flies North W E Johns / Audio CD audio
common.buy 27.89 €
Alameda Greta Dutcher / Libro Rigido
common.buy 25.79 €
Pattern Cutting Second Edition LO DENNIC CHUNMAN / Libro In brossura
common.buy 49.89 €
Unstoppable Me! Kristina Tracy / Libro Rigido
common.buy 13.89 €
AI and Machine Learning For Coders Laurence Moroney / Libro In brossura
common.buy 52.09 €
A Journeyman's Journey - The Story of Jim McEwan Udo Sonntag / Libro Rigido
common.buy 63.89 €
You've Lost a Lot of Blood Eric LaRocca / Libro In brossura
common.buy 10.39 €
Civil War in Dublin John Dorney / Libro elettronico Adobe ePub DRM
common.buy 12.99 €
The Bloomsbury Handbook of the Spanish Civil War Alison Ribeiro de Menezes / Libro In brossura
common.buy 61.89 €
Nuovi
Translation and Diaspora Nike K. Pokorn / Libro Rigido
common.buy 215.89 €
World After Susan Ee / Libro In brossura
common.buy 12.49 €
Agent-Based Models of Geographical Systems Alison J. Heppenstall / Libro In brossura
common.buy 355.79 €
Hrl Adv of Sher Holmes-Wkbk(5) ZUKOWSKI / Libro Libro
common.buy 37.09 €
Hedda Gabler Henrik Johan Ibsen / Libro In brossura
common.buy 19.09 €

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?