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

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

Limba englezăengleză
Carte Carte broșată
Carte Typed Lambda Calculi and Applications Pawel Urzyczyn
Codul Libristo: 01560558
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2005
This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda C... Descrierea completă
? points 132 b
285.22 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Gramática polaca Ilona Narebska / Carte Carte broșată
common.buy 93.58 lei
Wortschatz schnell erweitern Alexander Bohm / Carte Carte broșată
common.buy 81.83 lei
Moje pierwsze… Kształty. Psi Patrol Opracowanie zbiorowe / Carte Copertă tare
common.buy 25.36 lei
UEberleben und Wartung von Implantaten Amit Bhardwaj / Carte Carte broșată
common.buy 306.02 lei
Ursachen Saisonaler Holzpreisschwankungen Kajetan Zwirglmaier / Carte Carte broșată
common.buy 412.91 lei
Freiheit Birgit Recki / Carte Carte broșată
common.buy 60.20 lei
Gyulladasgatlo Receptek 2022 MARIANNA JAKAB / Carte Carte broșată
common.buy 190.07 lei
Wiedersehen in Howards End Edward M. Forster / Carte Carte broșată
common.buy 75.38 lei
Aktienbewertung mittels technischer Analyse Henning Kempen / Carte Carte broșată
common.buy 94.82 lei
Szétzilált ország Szelényi Zsuzsanna / Carte Copertă tare
common.buy 87.65 lei
La Confrérie des Gardiens de l'Arche d'alliance Della Volta Lea / Carte Carte broșată
common.buy 132.26 lei
Bekenntnisse eines Ichmenschen tendhal / Carte Carte broșată
common.buy 153.47 lei
Leftin
Saint-John Perse : la culture en dialogues Rigolot / Carte Carte broșată
common.buy 13.40 lei
Viewegs Geschichte Der Umweltwissenschaften Peter J. Bowler / Carte Carte broșată
common.buy 183.21 lei
Psychopharmakologischer Leitfaden für Psychologen und Psychotherapeuten Otto Benkert / Carte Carte broșată
common.buy 391.07 lei
Examen Physiologique de l'Hydrotherapie, Memoire LUBANSKI-A / Carte Carte broșată
common.buy 75.17 lei
Nový hrabě Monte Christo Ondřej Neff / Carte Copertă tare
common.buy 66.44 lei
LET'"'"'S GO 2 SB (CATALAN EDITION) / Carte Carte broșată
common.buy 170.63 lei
Smutný vítěz Jiří Kárnet / Carte Foaie
common.buy 46.99 lei
Ökologische Steuerreform und Europäischer Emissionshandel Oliver Rottmann / Carte Carte broșată
common.buy 261.82 lei

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.

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 Pawel Urzyczyn
Limba engleză
Legare Carte - Carte broșată
Data publicării 2005
Număr pagini 436
EAN 9783540255932
ISBN 3540255931
Codul Libristo 01560558
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1390
Dimensiuni 155 x 235 x 25

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

Management of Coking Coal Resources Dilip Kumar / Carte Carte broșată
common.buy 785.80 lei
Top
Bolivar Marie Arana / Carte Carte broșată
common.buy 100.02 lei
90 Days in Ruth, Jeremiah and 1 Corinthians DEVER MARK MCKINLE / Carte Copertă tare
common.buy 102.83 lei
Der Fantastische Mr. Fox Andrew Weisblum / Videoclip Blu-ray
common.buy 67.16 lei
Applied Financial Macroeconomics and Investment Strategy T. McGee / Carte Carte broșată
common.buy 271.70 lei
Introduction to Chemistry and the Environment Baldwin King / Carte Carte broșată
common.buy 100.02 lei
A MANUAL OF FIELD AND OFFICE METHODS FOR MILO SMITH KETCHUM / Carte Copertă tare
common.buy 184.25 lei
Lincoln And The Tools Of War Robert V Bruce / Carte Carte broșată
common.buy 215.45 lei
Beading and Designing Bracelets Sandra D Halpenny / Carte Carte broșată
common.buy 180.61 lei
The Aspern Papers Henry James / Carte Carte broșată
common.buy 70.18 lei
Biggles Flies North W E Johns / Audio Audio CD
common.buy 148.06 lei
Alameda Greta Dutcher / Carte Copertă tare
common.buy 136.83 lei
Pattern Cutting Second Edition LO DENNIC CHUNMAN / Carte Carte broșată
common.buy 264.63 lei
Unstoppable Me! Kristina Tracy / Carte Copertă tare
common.buy 73.61 lei
AI and Machine Learning For Coders Laurence Moroney / Carte Carte broșată
common.buy 275.86 lei
A Journeyman's Journey - The Story of Jim McEwan Udo Sonntag / Carte Copertă tare
common.buy 338.46 lei
You've Lost a Lot of Blood Eric LaRocca / Carte Carte broșată
common.buy 55.21 lei
Civil War in Dublin John Dorney / E-book Adobe ePub DRM
common.buy 65.81 lei
The Bloomsbury Handbook of the Spanish Civil War Alison Ribeiro de Menezes / Carte Carte broșată
common.buy 298.43 lei
Nou
Translation and Diaspora Nike K. Pokorn / Carte Copertă tare
common.buy 1 144.03 lei
World After Susan Ee / Carte Carte broșată
common.buy 66.23 lei
Agent-Based Models of Geographical Systems Alison J. Heppenstall / Carte Carte broșată
common.buy 1 713.96 lei
Hrl Adv of Sher Holmes-Wkbk(5) ZUKOWSKI / Carte Carte
common.buy 196.83 lei
Hedda Gabler Henrik Johan Ibsen / Carte Carte broșată
common.buy 101.17 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?