Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Typed Lambda Calculi and Applications

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

Limba englezăengleză
Carte Carte broșată
Carte Typed Lambda Calculi and Applications Martin Hofmann
Codul Libristo: 01562714
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2003
This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda C... Descrierea completă
? points 141 b
306.29 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Les Simpson - Edition collector - Tome 25 Supernova Matt Groening / Carte Copertă tare
common.buy 95.68 lei
Guide des collections du musée de Draguignan Yohan Rimaud / Carte Carte broșată
common.buy 84.03 lei
TU HUELLA SERA MI RUMBO WILMS MONTT / Carte Carte broșată
common.buy 82.26 lei
L'instruction des enfants pauvres en ville Dessauw / Carte Carte broșată
common.buy 180.86 lei
Curând
Handbuch Sportverletzungen Christian Plesch / Carte Carte broșată
common.buy 94.22 lei
case magiche Agnese Baruzzi / Carte Cărți pliante
common.buy 118.45 lei
Édito C1 Elodie Heu / Carte Carte broșată
common.buy 189.08 lei
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Carte Carte broșată
common.buy 152.88 lei
El tesoro del ahorcado RIERA CATALA / Carte Carte broșată
common.buy 138.63 lei
bar sotto il mare Stefano Benni / Carte Carte broșată
common.buy 74.04 lei
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Articole de papetărie Articole de papetărie
common.buy 127.09 lei
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Carte binding.
common.buy 271.55 lei
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Carte Carte broșată
common.buy 247.32 lei
LA PIERRE D'ABEILLE Dominique / Carte Carte broșată
common.buy 120.22 lei
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Carte Carte broșată
common.buy 108.47 lei
Einfach singen! Christian Larsen / Carte Carte broșată
common.buy 90.06 lei
Memorias: el peso de la paja TERENCI MOIX / Carte Carte broșată
common.buy 105.66 lei
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Carte Carte broșată
common.buy 57.61 lei
Numerische Berechnung elektromagnetischer Felder Christian Hafner / Carte Carte broșată
common.buy 345.71 lei
Vih/Sida En Milieux de Travail Au Senegal Ndack Diop / Carte Carte broșată
common.buy 494.02 lei
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784 Jean Baptiste Milliet / Carte Carte broșată
common.buy 121.89 lei
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Carte Carte broșată
common.buy 501.82 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Typed Lambda Calculi and Applications
Autor Martin Hofmann
Limba engleză
Legare Carte - Carte broșată
Data publicării 2003
Număr pagini 320
EAN 9783540403326
ISBN 3540403329
Codul Libristo 01562714
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 505
Dimensiuni 155 x 235 x 19

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Carte Copertă tare
common.buy 306.29 lei
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Carte Carte broșată
common.buy 306.29 lei
Digital Health LUPTON / Carte Carte broșată
common.buy 388.98 lei
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Carte Carte broșată
common.buy 120.84 lei
CFTR and Cystic Fibrosis Carlos M. Farinha / Carte Carte broșată
common.buy 306.29 lei
System Design Optimization for Product Manufacturing Masataka Yoshimura / Carte Copertă tare
common.buy 600.21 lei
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Carte Carte broșată
common.buy 71.65 lei
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Carte Carte broșată
common.buy 59.59 lei
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Carte Carte broșată
common.buy 51.99 lei
Direct Synthesis of Metal Complexes B.I. Kharisov / Carte Carte broșată
common.buy 1 241.31 lei
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Carte Copertă tare
common.buy 386.58 lei
Life in the Country House in Georgian Ireland Patricia Mccarthy / Carte Carte broșată
common.buy 194.28 lei
7 Strategies for Improving Your School Williamson / Carte Carte broșată
common.buy 252.52 lei
Downton Abbey - der Kinofilm Julian Fellowes / Videoclip Blu-ray
common.buy 67.39 lei
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge Examreview / Carte Carte broșată
common.buy 225.27 lei
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz Julius Stinde / Carte Carte broșată
common.buy 136.45 lei
Machine Learning and AI for Healthcare Arjun Panesar / Carte Carte broșată
common.buy 231.09 lei
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Materiale tipărite Hartă
common.buy 53.24 lei
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Carte Carte broșată
common.buy 76.64 lei
Esio Trot Roald Dahl / Carte Carte broșată
common.buy 48.77 lei
East Asian Development Dwight H. Perkins / E-book Adobe ePub DRM
common.buy 213.52 lei
For Times Such as These Ariana Katz / E-book Adobe ePub DRM
common.buy 200.10 lei
I'll Be Home for Mischief Jacqueline Frost / E-book Adobe ePub DRM
common.buy 92.87 lei
Ralph Thoresby, the Topographer D H Atkinson / Carte Copertă tare
common.buy 215.49 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?